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.
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.