Updated the SimRefExp (in RoboSim.xtext and in

RoboSimScopeProvided.xtext) to consider a required variable
UoY-RoboStar · Oct 23, 2024 · a45fbf4 · a45fbf4
1 parent 3137bf7
commit a45fbf4
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/circus.robocalc.robosim.textual/src/circus/robocalc/robosim/textual/RoboSim.xtext b/circus.robocalc.robosim.textual/src/circus/robocalc/robosim/textual/RoboSim.xtext
@@ -193,7 +193,8 @@ SimRefExp returns Expression:
 	(
 		=> (
 			'.' exp=CallExp | 
-			('?' variable=[Variable|QualifiedName] (':' predicate=CallExp)?)
+			('?' variable=[Variable|QualifiedName] (':' predicate=CallExp)?) |
+			('?' '$' requiredVariable=[Variable|QualifiedName] (':' predicate=CallExp)?)
 		)
 	)?
 ;

diff --git a/...lc.robosim.textual/src/circus/robocalc/robosim/textual/scoping/RoboSimScopeProvider.xtend b/...lc.robosim.textual/src/circus/robocalc/robosim/textual/scoping/RoboSimScopeProvider.xtend
@@ -232,6 +232,10 @@ class RoboSimScopeProvider extends AbstractRoboSimScopeProvider {
 		} else if (reference == SIM_REF_EXP__VARIABLE) {
 			var s = variablesDeclared(context, result)
 			return s
+		}
+		  else if (reference == SIM_REF_EXP__REQUIRED_VARIABLE) {
+			var s = inputVariablesDeclared(context, result)
+			return s
 		}
 		return result
 	}