Variable - lgwagner/SpeAR GitHub Wiki

Variables are used to describe the data that the element being described monitors or computes. The Inputs section of a Specification is a collection of variables that represent the data the element reads or monitors from the environment. The Outputs section identifies data that the element will provide back to the environment. Similarly, the State section identifies computed data that is not visible to the environment.

Variables are defined by as a name, type pairing. Variables can reference primitive types (int,bool,real) directly or they can reference type definitions by referencing the name of the definition. The following example demonstrates how variables can be created from primitive types and more complex type definitions.