Revise tests for fpp-locate-uses

nasa · Dec 4, 2024 · 846aa09 · 846aa09
1 parent e3f48ad
commit 846aa09
Show file tree

Hide file tree

Showing 5 changed files with 30 additions and 0 deletions.
diff --git a/compiler/tools/fpp-locate-uses/test/defs.fpp b/compiler/tools/fpp-locate-uses/test/defs.fpp
@@ -83,3 +83,8 @@ constant record_id = 0
 constant container_id = 0
 constant container_priority = 0
 constant product_recv_priority = 0
+
+type ActionType
+type GuardType
+type SignalType
+constant SignalConstant = 10
diff --git a/compiler/tools/fpp-locate-uses/test/stdin.ref.txt b/compiler/tools/fpp-locate-uses/test/stdin.ref.txt
@@ -2,6 +2,7 @@ locate component C1 at "defs.fpp"
 locate component M.C1 at "defs.fpp"
 locate constant C1.a at "defs.fpp"
 locate constant M.a at "defs.fpp"
+locate constant SignalConstant at "defs.fpp"
 locate constant a at "defs.fpp"
 locate constant base_id_def at "defs.fpp"
 locate constant container_id at "defs.fpp"
@@ -34,16 +35,19 @@ locate state machine S at "defs.fpp"
 locate topology M.T1 at "defs.fpp"
 locate topology T1 at "defs.fpp"
 locate type A at "defs.fpp"
+locate type ActionType at "defs.fpp"
 locate type C1.A at "defs.fpp"
 locate type C1.E at "defs.fpp"
 locate type C1.S at "defs.fpp"
 locate type C1.T at "defs.fpp"
 locate type E at "defs.fpp"
+locate type GuardType at "defs.fpp"
 locate type M.A at "defs.fpp"
 locate type M.E at "defs.fpp"
 locate type M.S at "defs.fpp"
 locate type M.T at "defs.fpp"
 locate type Phases at "defs.fpp"
 locate type RecordType at "defs.fpp"
 locate type S at "defs.fpp"
+locate type SignalType at "defs.fpp"
 locate type T at "defs.fpp"
diff --git a/compiler/tools/fpp-locate-uses/test/uses.ref.txt b/compiler/tools/fpp-locate-uses/test/uses.ref.txt
@@ -2,6 +2,7 @@ locate component C1 at "defs.fpp"
 locate component M.C1 at "defs.fpp"
 locate constant C1.a at "defs.fpp"
 locate constant M.a at "defs.fpp"
+locate constant SignalConstant at "defs.fpp"
 locate constant a at "defs.fpp"
 locate constant base_id_def at "defs.fpp"
 locate constant container_id at "defs.fpp"
@@ -34,16 +35,19 @@ locate state machine S at "defs.fpp"
 locate topology M.T1 at "defs.fpp"
 locate topology T1 at "defs.fpp"
 locate type A at "defs.fpp"
+locate type ActionType at "defs.fpp"
 locate type C1.A at "defs.fpp"
 locate type C1.E at "defs.fpp"
 locate type C1.S at "defs.fpp"
 locate type C1.T at "defs.fpp"
 locate type E at "defs.fpp"
+locate type GuardType at "defs.fpp"
 locate type M.A at "defs.fpp"
 locate type M.E at "defs.fpp"
 locate type M.S at "defs.fpp"
 locate type M.T at "defs.fpp"
 locate type Phases at "defs.fpp"
 locate type RecordType at "defs.fpp"
 locate type S at "defs.fpp"
+locate type SignalType at "defs.fpp"
 locate type T at "defs.fpp"
diff --git a/compiler/tools/fpp-locate-uses/test/uses/uses.fpp b/compiler/tools/fpp-locate-uses/test/uses/uses.fpp
@@ -74,3 +74,16 @@ module M {
   }
 
 }
+
+state machine SM {
+
+  action a: ActionType
+  guard g: GuardType
+  signal s1: SignalType
+  signal s2: string size SignalConstant
+
+  initial enter S
+
+  state S
+
+}
diff --git a/compiler/tools/fpp-locate-uses/test/uses_dir.ref.txt b/compiler/tools/fpp-locate-uses/test/uses_dir.ref.txt
@@ -2,6 +2,7 @@ locate component C1 at "../defs.fpp"
 locate component M.C1 at "../defs.fpp"
 locate constant C1.a at "../defs.fpp"
 locate constant M.a at "../defs.fpp"
+locate constant SignalConstant at "../defs.fpp"
 locate constant a at "../defs.fpp"
 locate constant base_id_def at "../defs.fpp"
 locate constant container_id at "../defs.fpp"
@@ -34,16 +35,19 @@ locate state machine S at "../defs.fpp"
 locate topology M.T1 at "../defs.fpp"
 locate topology T1 at "../defs.fpp"
 locate type A at "../defs.fpp"
+locate type ActionType at "../defs.fpp"
 locate type C1.A at "../defs.fpp"
 locate type C1.E at "../defs.fpp"
 locate type C1.S at "../defs.fpp"
 locate type C1.T at "../defs.fpp"
 locate type E at "../defs.fpp"
+locate type GuardType at "../defs.fpp"
 locate type M.A at "../defs.fpp"
 locate type M.E at "../defs.fpp"
 locate type M.S at "../defs.fpp"
 locate type M.T at "../defs.fpp"
 locate type Phases at "../defs.fpp"
 locate type RecordType at "../defs.fpp"
 locate type S at "../defs.fpp"
+locate type SignalType at "../defs.fpp"
 locate type T at "../defs.fpp"