Package com.veromodo.tempo.sem.desc

Defines the set of classes used to describe, track, and tag semantic constructions.

See:
          Description

Class Summary
AnonymousDescriptor This class is used for generating descriptors which do not enter the environment At the time of creation this only was used to assign a descriptor ASTIdentifers which did not have a clear descriptor, for example ASTTypeGeneric - Seq[E] - is made of ASTIdentifier - Seq ASTListType - E The descriptor of ASTTypeGeneric is a TypeGeneric, but the ASTIdentifier does not have a clear type meaning, hence this class was created to assign to that descriptor in the long run, for consistancy, this class should be removed
AutomatonComponentDescriptor Describes a component automaton, contains a descriptor of the automaton instance which it represents
AutomatonComponentMapDescriptor Describes a collection of automaton components
AutomatonDescriptor Encapsulates common elements of automata
AutomatonFormalDescriptor Describes a formal parameter for an automaton used when instanciation automata For example, - x in AutoA(x) where x < 10 - z in AutoA(z)[w:int] where w < 10 /\ z < 10
AutomatonInstanceDescriptor Describes an instance of an automaton, contains a descriptor of the automaton definition which it represents
BasicAutomatonDescriptor Describes a basic automaton includeing trajectories, signatures, and transitions
ChooseLocalDescriptor Describes a local variable defined in a choose statement
CompositeAutomatonDescriptor Describes a composite automaton includeing trajectories, signatures, and hidden actions
CompositeComponentFormal Describes a map index for a component automaton used when building a map of automaton components (ie x in AutoA(10)[x:int] where x < 10)
Descriptor The abstract class for the root of the descriptor hierarchy Descriptors are used by the semantic environment to describe, track, and tag semantic constructions, often referred to by an identifiers.
EnumValueDescriptor Describes a value of a enumeration type For example, red, green or blue in the type Color enumeration [red, green, blue]
ForLoopDescriptor Describes a variable iterated pver in a for loop statement
FunctionDescriptor Describes a function defined in a vocabulary
FunctionFormalDescriptor Describes a function parameter a fuction formal is used to define the function in its body
FunctionLetDescriptor Describes a function defined with a let statement
HiddenLocalDescriptor Describes a local variable defined in a Hidden block
InfixOperator Describes an operator which uses infix notation For example, __\myOp__
MixOperator Describes an operator which uses mixfix notation For example, __[__,__,__]__
PlaceHolderDescriptor This class is used for generating descriptors which do not enter the environment At the time of creation only the class CheckType required this functionality becouse it needs to anotate an ASTType node with a descriptor but cannot add a value to the environment becouse the formal name is in it's calling class in the long run, for consistancy, this class should be removed
PrefixOperator Describes an operator which uses prefix notation
ProofActionLocalDescriptor Describes a local variable of a proof action, used to define a trajectory duration
QuantifiedDescriptor Describes a quantified variable
ScheduleStateDescriptor Describes a schedule state variable
SigFormalDescriptor Describes a signature formal Signature formals are only refrenced in the signature's where clause
SigInDescriptor Describes an input signature
SigInternalDescriptor Describes an internal signature
SignatureDescriptor Encapsulates common elements of signatures
SigOutDescriptor Describes an output signature
StateDescriptor Describes a automaton state variable
SuffixOperator Describes an operator which uses suffix notation
SumTagDescriptor Describes the tags of a sum/union type
TaskLocalDescriptor Describes a local variable defined in a task
TestHash Tests the descriptor hashCode function for collitions
TrajectoryDescriptor Describes a trajectory
TransInDescriptor Describes an input transition
TransInternalDescriptor Describes an internal transition
TransitionDescriptor Encapsulates common elements of transitions
TransLocalDescriptor Describes a local variable defined in a transition
TransOutDescriptor Describes an output transition
TupleFieldDescriptor Describes a field of a tuple type For example, one or two in the type tuple [one:Int, two,Int]
TypeDescriptor Describes a type For example, Int, Seq[T], tuple [one:Int, two,Int]
UnQuantifiedActualDescriptor Describes an actual which is used in a simulation relation to symbolically relate parameters of two automata
VocabularyDescriptor Describes a Vocabulary tracks a refrence to the vocabulary's object so that it can be instanicated when imported by an automaton
 

Enum Summary
Descriptor.Kind The Kind enumeration is useful for defining sets of different types of descriptors These sets are used when collecting descriptors out of the environment's scope and when defining semantic rules The Kind enumeration is not required for distinguishing between different types of descriptors because there is always a 1-to-1 relationship between the instantiatable descriptor classes and the Kind enumeration
 

Package com.veromodo.tempo.sem.desc Description

Defines the set of classes used to describe, track, and tag semantic constructions.

Package Specification

Related Documentation