Merge pull request #589 from nasa/merge-release-branch-into-main

Merge release branch into main

Author: bocchino

README.adoc

@@ -21,10 +21,10 @@ There is also an FPP plugin available within Visual Studio Code.
 
 See `compiler/README.adoc`.
 To use or develop FPP in a standalone mode, you should install these tools.
-To use FPP as part of F Prime development, you can install the F Prime tool set,
-which includes FPP.
+To use FPP as part of F Prime development, you can install the F Prime tool
+set, which includes FPP.
 See the F Prime installation instructions
-https://fprime.jpl.nasa.gov/latest/getting-started/installing-fprime/[here].
+https://fprime.jpl.nasa.gov/latest/docs/getting-started/installing-fprime/[here].
 
 === Spec and User's Guide
 

compiler/.jvmopts

@@ -0,0 +1,2 @@
+-XX:+CMSClassUnloadingEnabled
+-Xss2M

compiler/build.sbt

@@ -9,7 +9,7 @@ lazy val settings = Seq(
     "-deprecation",
     "-unchecked",
     "-Xfatal-warnings",
-    "-Xmax-inlines:200"
+    "-Xmax-inlines:100"
   ),
   libraryDependencies ++= dependencies, 
   Test / testOptions += Tests.Argument(TestFrameworks.ScalaTest, "-oNCXELOPQRM"),
@@ -110,4 +110,4 @@ lazy val fpp_to_dict = (project in file("tools/fpp-to-dict"))
 lazy val fpp_to_layout = (project in file("tools/fpp-to-layout"))
   .settings(settings)
   .dependsOn(lib)
-  .enablePlugins(AssemblyPlugin)
+  .enablePlugins(AssemblyPlugin)

compiler/lib/src/main/scala/analysis/CheckSemantics/CheckComponentDefs.scala

@@ -119,9 +119,9 @@ object CheckComponentDefs
     aNode: Ast.Annotated[AstNode[Ast.SpecRecord]]
   ) = {
     val data = aNode._2.data
-    val record = Record.fromSpecRecord(a, aNode)
     for {
       idOpt <- a.getNonnegativeBigIntValueOpt(data.id)
+      record <- Record.fromSpecRecord(a, aNode)
       component <- a.component.get.addRecord(idOpt, record)
     }
     yield a.copy(component = Some(component))

compiler/lib/src/main/scala/analysis/Semantics/Record.scala

@@ -24,11 +24,14 @@ object Record {
 
   /** Creates a record from a record specifier */
   def fromSpecRecord(a: Analysis, aNode: Ast.Annotated[AstNode[Ast.SpecRecord]]):
-    Record = {
+    Result.Result[Record] = {
       val node = aNode._2
       val data = node.data
       val recordType = a.typeMap(data.recordType.id)
-      Record(aNode, recordType, data.isArray)
+      for {
+        _ <- a.checkDisplayableType(data.recordType.id, "type of record is not displayable")
+      }
+      yield Record(aNode, recordType, data.isArray)
     }
 
 }

compiler/lib/src/main/scala/codegen/DictionaryJsonWriter/DictionaryJsonEncoder.scala

@@ -237,26 +237,25 @@ case class DictionaryJsonEncoder(
                     jsonWithOptionalValues(json, optionalValues)
                 }
                 case Symbol.Struct(preA, node, postA) => {
-                    val Type.Struct(_, anonStruct, default, sizes, formats) = dictionaryState.a.typeMap(symbol.getNodeId)
-                    val Type.AnonStruct(members) = anonStruct
+                    val Type.Struct(_, _, default, sizes, _) = dictionaryState.a.typeMap(symbol.getNodeId)
                     val memberFormatMap = node.data.members.flatMap { case (_, memberNode, _) =>
                         memberNode.data.format.map(format => memberNode.data.name -> format.data)
                     }.toMap
                     val memberAnnotationMap = node.data.members.flatMap { case (preA, memberNode, postA) =>
                         val annotation = (preA ++ postA).mkString("\n")
                         if (annotation.isEmpty) None else Some(memberNode.data.name -> annotation)
                     }.toMap
-                    val membersFormatted = for(((key, t), index) <- members.zipWithIndex) yield {
+                    val membersFormatted = for(((_, m, _), index) <- node.data.members.zipWithIndex) yield {
                         val json = Json.obj(
-                            "type" -> typeAsJson(t).asJson, 
+                            "type" -> typeAsJson(dictionaryState.a.typeMap(m.data.typeName.id)), 
                             "index" -> index.asJson
                         )
                         val optionalValues = Map(
-                            "size" -> sizes.get(key), 
-                            "format" -> memberFormatMap.get(key), 
-                            "annotation" -> memberAnnotationMap.get(key)
+                            "size" -> sizes.get(m.data.name), 
+                            "format" -> memberFormatMap.get(m.data.name), 
+                            "annotation" -> memberAnnotationMap.get(m.data.name)
                         )
-                        (key.toString -> jsonWithOptionalValues(json, optionalValues))
+                        (m.data.name.toString -> jsonWithOptionalValues(json, optionalValues))
                     }
                     val json = Json.obj(
                         "kind" -> "struct".asJson,
@@ -550,4 +549,4 @@ case class DictionaryJsonEncoder(
         }
     }
 
-}
+}

compiler/tools/fpp-check/test/record/not_displayable.fpp

@@ -0,0 +1,21 @@
+module Fw {
+
+  port DpRequest
+  port DpResponse
+  port DpSend
+  port Time
+
+}
+
+passive component C {
+
+  product request port productRequestOut
+  sync product recv port productRecvIn
+  product send port productSendOut
+  time get port timeGetOut
+
+  type A
+  product container Container
+  product record R: A id 0x100
+
+}

compiler/tools/fpp-check/test/record/not_displayable.ref.txt

@@ -0,0 +1,10 @@
+fpp-check
+[ local path prefix ]/compiler/tools/fpp-check/test/record/not_displayable.fpp:19.21
+  product record R: A id 0x100
+                    ^
+error: type of record is not displayable
+
+[ local path prefix ]/compiler/tools/fpp-check/test/record/not_displayable.fpp:17.3
+  type A
+  ^
+Type is defined here

compiler/tools/fpp-check/test/record/tests.sh

@@ -8,5 +8,6 @@ missing_container
 missing_ports
 missing_product_recv_port
 missing_product_send_port
+not_displayable
 ok
 "

compiler/tools/fpp-locate-uses/test/defs.fpp

@@ -78,8 +78,8 @@ constant queue_size_def = 10
 constant stack_size_def = 10
 constant priority_def = 10
 constant cpu_def = 0
-type RecordType
 constant record_id = 0
+array RecordType = [3] U32
 constant container_id = 0
 constant container_priority = 0
 constant product_recv_priority = 0