Package net.ssehub.easy.varModel.cst

Package for elements of the constraint syntax tree. Complex nodes such as OCLFeatureCall cache their inferred datatype in order to improve performance.

Interface Summary

Interface	Description
CopyVisitor.IVariableReplacer	Defines a common variable replacer.
IConstraintTreeVisitor	Defines the interface for a visitor for the constraint tree.

Class Summary

Class	Description
AbstractConstraintTreeVisitor	Visitor which runs through all elements of a ConstraintSyntaxTree, but does nothing.
AttributeVariable	A variable which represents an attribute.
BasicCopyVisitor	Implements a basic constraint copy visitor.
BlockExpression	Represents a block of expressions.
Comment	Represents a comment in a parse tree.
CompoundAccess	Represents an expression which accesses a compound slot where the compound is specified as a ConstraintSyntaxTree.
CompoundInitializer	Represents a typed initializer for compounds.
ConstantValue	Class for a constant value.
ConstraintReplacer	Class to copy an expression.
ConstraintSyntaxTree	Class to show the syntax of an Constraint.
ContainerInitializer	Represents an initializer for containers.
ContainerOperationCall	Represents a set operation call with declarators, e.g.
ContainsSelfVisitor	Searches a constraint for the occurrence of self.
CopyVisitor	Copies a constraint syntax tree possibly mapping the variables.
CSTUtils	Utility functions for handling ConstraintSyntaxTrees.
DebugConstraintTreeVisitor	A visitor for printing out constraint syntax trees.
DeferInitExpression	An expression to indicate that the contained expression shall not be evaluated rather than used as value.
EmptyInitializer	An internal temporary node representing an untyped empty initializer.
IfThen	Represents a conditional expression.
Leaf	Class for leaves in the ConstraintSyntaxTree.
Let	Represents a let expression, i.e.
MultiAndExpression	Represents a multi-and expression.
NamedArgument	Implements a named argument as a transparent constraint syntax tree.
OCLFeatureCall	Class for OCLFeatureCall.
Parenthesis	Represents a parenthesis.
ResolvedVariable	Carries a resolved variable.
Self	Represents the a compound itself (for constraints within compounds).
UnresolvedExpression	Denotes an expression (tree) which is currently unresolved due to deferred imports, e.g.
ValidationVisitor	Visits a given expression and returns whether this is a valid assignment.
Variable	Class for a variable value.
VariablePool	Utility class for caching / pooling variables in order to save memory.

Exception Summary

Exception	Description
CSTSemanticException	Exception for invalid Constraints.
UnknownOperationException	An exception signaling an unknown operation.