VariableElement (VarElement)

There are elemnts in SML instructions i.e. Objects, Object Sets and States that are simple names. This is now being extended and we are allowing these names to be picked up from the value of an action parameter.

Thus concept of VarElement is indroduced that represents a simple name of Object, Object Set or State. The possible forms are :

simple name
example: RUN_CONTROL
or
$(parameter-name)
where, parameter-name is a name of one of the current action's parameters whose value is the desired name.
Example: $(objNm)

we find its possible use in

DO instruction
do action-name (Parameters) object-name
or
do action-name (Parameters) all_in object-set-name
MOVE_TO instruction
move_to state_name
INSERT, REMOVE and REMOVE_ALL instruction
insert object-name in object-set-name
remove object-name from object-set-name
remove_all from object-set-name
CREATE_OBJECT instruction
create_object object-name of_class class-name
DESTROY_OBJECT instruction
destroy_object object-name
WAIT instruction
wait (...,object-name,... , all_in object-set-name,...)
Simple Condition
Type 1
( object-name in_state state-list )
Type 2
( any_in object-set-name in_state state-list )
or
( all_in object-set-name in_state state-list )
Type 3
( object-set-name is_empty )

NB: in the above we could have not_in_state instead in_state and not_empty instead of is_empty
IndiValue
In case when IndiValue has a form COMPNAME (see here) i.e.
object-name.item
where item is either reserved name or the name of the object parameter.