Uses of Class
net.ssehub.easy.varModel.cst.ConstraintSyntaxTree

Packages that use ConstraintSyntaxTree

Package	Description
de.uni_hildesheim.sse	IVML core main classes (exported).
de.uni_hildesheim.sse.translation	The mechanisms needed to translate an IVML Ecore model into an IVML object model.
net.ssehub.easy.reasoning.core.reasoner	All classes and interfaces needed to implement a reasoner. How to write a reasoner: Create an Eclipse Plugin project with Activator (even if "empty"). Add org.eclipse.equinox.ds to the required plugins and org.osgi.service.component to the imported packages as your reasoner will be linked using OSGi descriptive services (DS) to the reasoner core.
net.ssehub.easy.reasoning.sseReasoner	Package contains the EASy-Producer reasoner implementation classes.
net.ssehub.easy.reasoning.sseReasoner.functions	Package contains custom functions for IVML.
net.ssehub.easy.reasoning.sseReasoner.model	Package for creating a reasoning model: constraint container, project hierachy evaluator and other.
net.ssehub.easy.varModel.confModel	This package represents a specific variability model configuration.
net.ssehub.easy.varModel.cst	Package for elements of the constraint syntax tree.
net.ssehub.easy.varModel.cstEvaluation	Implements the evaluation of constraint syntax trees.
net.ssehub.easy.varModel.model	Base package for the variability model.
net.ssehub.easy.varModel.model.datatypes	Base directory for the main datatype classes.
net.ssehub.easy.varModel.model.filter	This package contains utility classes for filtering the model for specific model elements.
net.ssehub.easy.varModel.model.rewrite	Classes for creating an (adapted) copy of the Project.
net.ssehub.easy.varModel.model.rewrite.modifier	Modifier for the ProjectRewriteVisitor.
net.ssehub.easy.varModel.model.values	Instances of the datatypes.
net.ssehub.easy.varModel.persistency	These package is for reading and saving the variability model and the configuration. Currently supported file formats: EASy-Producer 2.0 config files (xml) IVML
net.ssehub.easy.varModel.validation	Classes for validating e variability model, e.g.

Uses of ConstraintSyntaxTree in de.uni_hildesheim.sse

Methods in de.uni_hildesheim.sse that return ConstraintSyntaxTree

Modifier and Type	Method	Description
ConstraintSyntaxTree	ModelUtility.createExpression(java.lang.String text, IModelElement parent)	Parses a text into an expression in the context of project.

Uses of ConstraintSyntaxTree in de.uni_hildesheim.sse.translation

Methods in de.uni_hildesheim.sse.translation that return ConstraintSyntaxTree

Modifier and Type	Method	Description
private ConstraintSyntaxTree	TypeContext.createValueTree(java.lang.String sValue, IDatatype type, org.eclipse.emf.ecore.EObject object, org.eclipse.emf.ecore.EStructuralFeature feature)	Creates a value tree for a given type.
private ConstraintSyntaxTree	ExpressionTranslator.getAccessor(de.uni_hildesheim.sse.ivml.AdditiveExpression ex, DecisionVariableDeclaration decl)	Extracts a compound accessor/slot name from the given expression.
private ConstraintSyntaxTree	ExpressionTranslator.getAccessor(de.uni_hildesheim.sse.ivml.AssignmentExpression ex, DecisionVariableDeclaration decl)	Extracts a compound accessor/slot name from the given expression.
private ConstraintSyntaxTree	ExpressionTranslator.getAccessor(de.uni_hildesheim.sse.ivml.EqualityExpression ex, DecisionVariableDeclaration decl)	Extracts a compound accessor/slot name from the given expression.
private ConstraintSyntaxTree	ExpressionTranslator.getAccessor(de.uni_hildesheim.sse.ivml.ImplicationExpression ex, DecisionVariableDeclaration decl)	Extracts a compound accessor/slot name from the given expression.
private ConstraintSyntaxTree	ExpressionTranslator.getAccessor(de.uni_hildesheim.sse.ivml.Literal ex, DecisionVariableDeclaration decl)	Extracts a compound accessor/slot name from the given expression.
private ConstraintSyntaxTree	ExpressionTranslator.getAccessor(de.uni_hildesheim.sse.ivml.LogicalExpression ex, DecisionVariableDeclaration decl)	Extracts a compound accessor/slot name from the given expression.
private ConstraintSyntaxTree	ExpressionTranslator.getAccessor(de.uni_hildesheim.sse.ivml.MultiplicativeExpression ex, DecisionVariableDeclaration decl)	Extracts a compound accessor/slot name from the given expression.
private ConstraintSyntaxTree	ExpressionTranslator.getAccessor(de.uni_hildesheim.sse.ivml.PostfixExpression ex, DecisionVariableDeclaration decl)	Extracts a compound accessor/slot name from the given expression.
private ConstraintSyntaxTree	ExpressionTranslator.getAccessor(de.uni_hildesheim.sse.ivml.PrimaryExpression ex, DecisionVariableDeclaration decl)	Extracts a compound accessor/slot name from the given expression.
private ConstraintSyntaxTree	ExpressionTranslator.getAccessor(de.uni_hildesheim.sse.ivml.RelationalExpression ex, DecisionVariableDeclaration decl)	Extracts a compound accessor/slot name from the given expression.
private ConstraintSyntaxTree	ExpressionTranslator.getAccessor(de.uni_hildesheim.sse.ivml.UnaryExpression ex, DecisionVariableDeclaration decl)	Extracts a compound accessor/slot name from the given expression.
private ConstraintSyntaxTree	ExpressionTranslator.getAccessor(de.uni_hildesheim.sse.ivml.Value ex, DecisionVariableDeclaration decl)	Extracts a compound accessor/slot name from the given expression.
private ConstraintSyntaxTree	ExpressionTranslator.getAccessor(java.util.List<de.uni_hildesheim.sse.ivml.ActualArgument> args, DecisionVariableDeclaration decl)	Extracts a compound accessor/slot name from the given arguments.
private ConstraintSyntaxTree	ExpressionTranslator.handleBasicComment(org.eclipse.emf.ecore.EObject object, ConstraintSyntaxTree subtree)	Handles the comments assigned to the EMF AST element object and inserts a comment node as top of the subtree if required.
private ConstraintSyntaxTree	ExpressionTranslator.processAccess(ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.ExpressionAccess access, TypeContext context, IModelElement parent)	Process an access expression.
private ConstraintSyntaxTree	ExpressionTranslator.processAdditiveExpression(de.uni_hildesheim.sse.ivml.AdditiveExpression expr, TypeContext context, IModelElement parent)	Process an additive expression and turn it into a feature call.
private ConstraintSyntaxTree	ExpressionTranslator.processArgument(IDatatype lhsType, de.uni_hildesheim.sse.ivml.ActualArgument arg, TypeContext context, IModelElement parent)	Process an argument and returns a (named) expression.
private ConstraintSyntaxTree	ExpressionTranslator.processAssignmentExpression(de.uni_hildesheim.sse.ivml.AssignmentExpression expr, TypeContext context, IModelElement parent)	Process an assignment expression and turn it into a feature call.
(package private) ConstraintSyntaxTree	ExpressionTranslator.processBlockExpression(de.uni_hildesheim.sse.ivml.BlockExpression block, TypeContext context, IModelElement parent)	Processes a block expression.
private ConstraintSyntaxTree	ExpressionTranslator.processCallsAndAccess(ConstraintSyntaxTree lhs, java.util.List<de.uni_hildesheim.sse.ivml.Call> calls, de.uni_hildesheim.sse.ivml.ExpressionAccess access, TypeContext context, IModelElement parent)	Process a possible empty list of calls and a possible empty access expression.
private ConstraintSyntaxTree	ExpressionTranslator.processCompoundInitializer(IDatatype lhsType, TypeContext context, IModelElement parent, IDatatype specificType, org.eclipse.emf.common.util.EList<de.uni_hildesheim.sse.ivml.ExpressionListEntry> entryList)	Processes a compound initializer.
private ConstraintSyntaxTree	ExpressionTranslator.processContainerInitializer(IDatatype lhsType, TypeContext context, IModelElement parent, org.eclipse.emf.common.util.EList<de.uni_hildesheim.sse.ivml.ExpressionListEntry> entryList)	Processes a container initializer.
private ConstraintSyntaxTree	ExpressionTranslator.processContainerInitializer(IDatatype lhsType, org.eclipse.emf.ecore.EObject expr, de.uni_hildesheim.sse.ivml.ContainerInitializer initializer, TypeContext context, IModelElement parent)	Processes a container initializer.
private ConstraintSyntaxTree	ExpressionTranslator.processContainerOp(ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.ContainerOp op, TypeContext context, IModelElement parent)	Processes a container operation.
private ConstraintSyntaxTree	ExpressionTranslator.processContainerOp(ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.ContainerOp op, java.util.List<DecisionVariableDeclaration> declarators, ConstraintSyntaxTree declEx, TypeContext context, IModelElement parent)	Processes a container operation.
private ConstraintSyntaxTree	ExpressionTranslator.processEqualityExpression(de.uni_hildesheim.sse.ivml.EqualityExpression expr, TypeContext context, IModelElement parent)	Process a equality expression and turn it into a feature call.
ConstraintSyntaxTree	ExpressionTranslator.processExpression(de.uni_hildesheim.sse.ivml.Expression expr, TypeContext context, IModelElement parent)	Processes an expression and returns the result as a syntax tree.
(package private) ConstraintSyntaxTree	ExpressionTranslator.processExpression(IDatatype lhsType, de.uni_hildesheim.sse.ivml.Expression expr, TypeContext context, IModelElement parent)	Processes an expression and returns the result as a syntax tree.
private ConstraintSyntaxTree	ExpressionTranslator.processExpression(IDatatype lhsType, de.uni_hildesheim.sse.ivml.OptBlockExpression expr, TypeContext context, IModelElement parent)	Processes an (optional block) expression.
private ConstraintSyntaxTree	ExpressionTranslator.processFeatureCall(ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.FeatureCall call, TypeContext context, IModelElement parent)	Processes a feature call.
private ConstraintSyntaxTree	ExpressionTranslator.processFeatureCallImpl(ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.ActualArgumentList call, TypeContext context, IModelElement parent, boolean checkOclCompliance)	Processes a feature call.
private ConstraintSyntaxTree	ExpressionTranslator.processImplicationExpression(de.uni_hildesheim.sse.ivml.ImplicationExpression expr, TypeContext context, IModelElement parent)	Process an implication expression and turn it into a feature call.
private ConstraintSyntaxTree	ExpressionTranslator.processLiteralContainer(IDatatype lhsType, de.uni_hildesheim.sse.ivml.ContainerInitializer initializer, TypeContext context, IModelElement parent)	Processes a collection initializer and returns the related constraint syntax tree node.
(package private) ConstraintSyntaxTree	ExpressionTranslator.processLogicalExpression(de.uni_hildesheim.sse.ivml.LogicalExpression expr, TypeContext context, IModelElement parent)	Process a logical expression and turn it into a feature call.
private ConstraintSyntaxTree	ExpressionTranslator.processMultiplicativeExpression(de.uni_hildesheim.sse.ivml.MultiplicativeExpression expr, TypeContext context, IModelElement parent)	Process a multiplicative expression and turn it into a feature call.
private ConstraintSyntaxTree	ModelTranslator.processOpDefImpl(de.uni_hildesheim.sse.ivml.OpDefStatement op, TypeContext context, IModelElement parent)	Processes an operation definition implementation.
private ConstraintSyntaxTree	ExpressionTranslator.processPostfixExpression(de.uni_hildesheim.sse.ivml.PostfixExpression expr, TypeContext context, IModelElement parent)	Process a postfix expression and turn it into a feature call.
private ConstraintSyntaxTree	ExpressionTranslator.processPrimaryExpression(de.uni_hildesheim.sse.ivml.PrimaryExpression expr, TypeContext context, IModelElement parent)	Process a primary expression.
(package private) ConstraintSyntaxTree	TypeContext.processQValue(java.lang.String sValue, org.eclipse.emf.ecore.EObject object, org.eclipse.emf.ecore.EStructuralFeature feature)	Processes a qualified name as value.
private ConstraintSyntaxTree	ExpressionTranslator.processRelationalExpression(de.uni_hildesheim.sse.ivml.RelationalExpression expr, TypeContext context, IModelElement parent)	Process a relational expression and turn it into a feature call.
private ConstraintSyntaxTree	ExpressionTranslator.processUnaryExpression(de.uni_hildesheim.sse.ivml.UnaryExpression expr, TypeContext context, IModelElement parent)	Process a unary expression and turn it into a feature call.
private ConstraintSyntaxTree	TypeContext.resolveSelf(IModelElement parent, org.eclipse.emf.ecore.EObject object, org.eclipse.emf.ecore.EStructuralFeature feature)	Resolves "self" and returns the corresponding syntax tree (one node).
ConstraintSyntaxTree	TypeContext.resolveValue(de.uni_hildesheim.sse.ivml.Value value, IModelElement parent, org.eclipse.emf.ecore.EObject object, org.eclipse.emf.ecore.EStructuralFeature feature)	Resolves a value and returns the corresponding syntax tree (one node).

Methods in de.uni_hildesheim.sse.translation with parameters of type ConstraintSyntaxTree

Modifier and Type	Method	Description
private static boolean	ExpressionTranslator.allConstant(ConstraintSyntaxTree[] exprs)	Returns whether all exprs are constant.
private void	ExpressionTranslator.checkForAssigment(ConstraintSyntaxTree cst, boolean error, org.eclipse.emf.ecore.EObject cause, org.eclipse.emf.ecore.EStructuralFeature causingFeature)	Checks for an assignment operation directly in cst and emits an error or a warning in case that the operation is found.
private void	ExpressionTranslator.checkForSameTypeWarning(ConstraintSyntaxTree lhs, java.lang.String op, ConstraintSyntaxTree rhs, org.eclipse.emf.ecore.EObject cause, org.eclipse.emf.ecore.EStructuralFeature feature)	Checks whether the operation op may return wrong results if types on both sides are not somehow assignable.
private ConstraintSyntaxTree	ExpressionTranslator.handleBasicComment(org.eclipse.emf.ecore.EObject object, ConstraintSyntaxTree subtree)	Handles the comments assigned to the EMF AST element object and inserts a comment node as top of the subtree if required.
private IDatatype	ExpressionTranslator.inferDatatypeQuietly(ConstraintSyntaxTree cst)	Infers the datatype of cst.
private ConstraintSyntaxTree	ExpressionTranslator.processAccess(ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.ExpressionAccess access, TypeContext context, IModelElement parent)	Process an access expression.
private ConstraintSyntaxTree	ExpressionTranslator.processCallsAndAccess(ConstraintSyntaxTree lhs, java.util.List<de.uni_hildesheim.sse.ivml.Call> calls, de.uni_hildesheim.sse.ivml.ExpressionAccess access, TypeContext context, IModelElement parent)	Process a possible empty list of calls and a possible empty access expression.
private ConstraintSyntaxTree	ExpressionTranslator.processContainerOp(ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.ContainerOp op, TypeContext context, IModelElement parent)	Processes a container operation.
private ConstraintSyntaxTree	ExpressionTranslator.processContainerOp(ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.ContainerOp op, java.util.List<DecisionVariableDeclaration> declarators, ConstraintSyntaxTree declEx, TypeContext context, IModelElement parent)	Processes a container operation.
private void	ExpressionTranslator.processDeclaration(ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.ContainerOp op, TypeContext context, IModelElement parent, de.uni_hildesheim.sse.ivml.Declaration declaration, java.util.List<DecisionVariableDeclaration> declarators)	Processes a valid declaration.
private ConstraintSyntaxTree	ExpressionTranslator.processFeatureCall(ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.FeatureCall call, TypeContext context, IModelElement parent)	Processes a feature call.
private ConstraintSyntaxTree	ExpressionTranslator.processFeatureCallImpl(ConstraintSyntaxTree lhs, de.uni_hildesheim.sse.ivml.ActualArgumentList call, TypeContext context, IModelElement parent, boolean checkOclCompliance)	Processes a feature call.

Uses of ConstraintSyntaxTree in net.ssehub.easy.reasoning.core.reasoner

Fields in net.ssehub.easy.reasoning.core.reasoner with type parameters of type ConstraintSyntaxTree

Modifier and Type	Field	Description
private java.util.List<ConstraintSyntaxTree>	Message.problemConstraintParts

Methods in net.ssehub.easy.reasoning.core.reasoner that return types with arguments of type ConstraintSyntaxTree

Modifier and Type	Method	Description
java.util.List<ConstraintSyntaxTree>	Message.getProblemConstraintParts()	Method for returning a list of partial ConstraintSyntaxTrees that are involved in each failed constraint.

Methods in net.ssehub.easy.reasoning.core.reasoner with parameters of type ConstraintSyntaxTree

Modifier and Type	Method	Description
Constraint	AnnotationAssignmentConstraint.createConstraint(ConstraintSyntaxTree consSyntax)
Constraint	AttachedConstraint.createConstraint(ConstraintSyntaxTree consSyntax)
Constraint	ConstraintVariableConstraint.createConstraint(ConstraintSyntaxTree consSyntax)
Constraint	DefaultConstraint.createConstraint(ConstraintSyntaxTree consSyntax)
Constraint	TypedConstraint.createConstraint(ConstraintSyntaxTree consSyntax)

Method parameters in net.ssehub.easy.reasoning.core.reasoner with type arguments of type ConstraintSyntaxTree

Modifier and Type	Method	Description
void	Message.addProblemConstraintParts(java.util.List<ConstraintSyntaxTree> constraints)	Method for adding a list of partial ConstraintSyntaxTrees that are involved in each failed constraint.

Constructors in net.ssehub.easy.reasoning.core.reasoner with parameters of type ConstraintSyntaxTree

Constructor	Description
AnnotationAssignmentConstraint(ConstraintSyntaxTree consSyntax, IModelElement parent)	Creates a new constraint from an already parsed syntax tree.
AttachedConstraint(ConstraintSyntaxTree consSyntax, IDatatype type, IModelElement parent)	Creates a new constraint from an already parsed syntax tree.
ConstraintVariableConstraint(ConstraintSyntaxTree consSyntax, IModelElement parent)	Creates a new constraint from an already parsed syntax tree.
DefaultConstraint(ConstraintSyntaxTree consSyntax, IModelElement parent)	Creates a new constraint from an already parsed syntax tree.
TypedConstraint(ConstraintSyntaxTree consSyntax, Constraint.IConstraintType type, IModelElement parent)	Creates a new constraint from an already parsed syntax tree.

Uses of ConstraintSyntaxTree in net.ssehub.easy.reasoning.sseReasoner

Fields in net.ssehub.easy.reasoning.sseReasoner declared as ConstraintSyntaxTree

Modifier and Type	Field	Description
private ConstraintSyntaxTree	Resolver.CompoundAnnotationMapper.cAcc
private ConstraintSyntaxTree	CheckInitializerVisitor.expression
private ConstraintSyntaxTree	Resolver.OtherConstraintsProcessor.selfEx

Fields in net.ssehub.easy.reasoning.sseReasoner with type parameters of type ConstraintSyntaxTree

Modifier and Type	Field	Description
private java.util.List<ConstraintSyntaxTree>	Engine.problemConstraintParts

Methods in net.ssehub.easy.reasoning.sseReasoner that return ConstraintSyntaxTree

Modifier and Type	Method	Description
private static ConstraintSyntaxTree	Resolver.checkTypeCast(IDatatype declType, IDatatype actType, AbstractVariable decl, ConstraintSyntaxTree cAcc)	Inserts a type cast if needed.
private ConstraintSyntaxTree	Resolver.getFailedConstraintPart()	Method for checking part of a failed constraints against null.
private ConstraintSyntaxTree	Resolver.getNestedAccessor(AbstractVariable nestedDecl, ConstraintSyntaxTree cAcc)	Returns the accessor for a nested variable declaration.
ConstraintSyntaxTree	Resolver.OtherConstraintsProcessor.process(ConstraintSyntaxTree cst, AbstractConstraintProcessor.ExpressionType type, java.lang.String slot, IModelElement parent)
(package private) ConstraintSyntaxTree	Resolver.substituteVariables(ConstraintSyntaxTree cst, ConstraintSyntaxTree selfEx, AbstractVariable self, ConstraintSyntaxTree acc)	Method for using SubstitutionVisitor for constraint transformation.

Methods in net.ssehub.easy.reasoning.sseReasoner with parameters of type ConstraintSyntaxTree

Modifier and Type	Method	Description
void	CheckInitializerVisitor.accept(ConstraintSyntaxTree cst, IModelElement parent, IDecisionVariable variable)	Accepts the results of a container constraints finder and derives constraints from the contained constraints / constraint values.
private void	CheckInitializerVisitor.checkForConstraint(IDatatype type, ConstraintSyntaxTree cst)	Checks for a constraint expression.
private static ConstraintSyntaxTree	Resolver.checkTypeCast(IDatatype declType, IDatatype actType, AbstractVariable decl, ConstraintSyntaxTree cAcc)	Inserts a type cast if needed.
(package private) void	Resolver.contextRegisterMapping(AbstractVariable var, ConstraintSyntaxTree acc)	Registers a mapping between the variable var and its actual access expression acc into the current top-most context.
(package private) Constraint	Resolver.createConstraintVariableConstraint(ConstraintSyntaxTree cst, ConstraintSyntaxTree selfEx, AbstractVariable self, IModelElement parent, IDecisionVariable variable)	Creates a constraint for a (nested) constraint variable adding the result to #constraintVariablesConstraints.
(package private) Constraint	Resolver.createConstraintVariableConstraint(ConstraintSyntaxTree cst, AbstractVariable self, boolean checkForInitializers, IModelElement parent, IDecisionVariable variable)	Creates a constraint for a (nested) constraint variable adding the result to Resolver.otherConstraints.
(package private) void	Resolver.createContainerConstraintValueConstraints(ContainerValue val, ConstraintSyntaxTree selfEx, AbstractVariable self, IModelElement parent, IDecisionVariable nestedVariable)	Checks a container value for nested constraint values, i.e., values of nested constraint variables.
private ConstraintSyntaxTree	Resolver.getNestedAccessor(AbstractVariable nestedDecl, ConstraintSyntaxTree cAcc)	Returns the accessor for a nested variable declaration.
protected void	Resolver.CompoundAnnotationMapper.initialize(ConstraintSyntaxTree cAcc, Variable declVar)	Initializes the mapper.
ConstraintSyntaxTree	Resolver.OtherConstraintsProcessor.process(ConstraintSyntaxTree cst, AbstractConstraintProcessor.ExpressionType type, java.lang.String slot, IModelElement parent)
private void	Resolver.processCompoundEvals(Compound cmpType, ConstraintSyntaxTree selfEx, AbstractVariable self, IDecisionVariable variable)	Method for extracting constraints from compounds eval blocks (also refined compounds).
private void	Resolver.processEvalConstraints(PartialEvaluationBlock evalBlock, ConstraintSyntaxTree selfEx, AbstractVariable self, IDecisionVariable variable)	Method for handling eval blocks - searching for nested eval blocks and extracting constraints.
private void	Resolver.registerCompoundMapping(Compound type, ConstraintSyntaxTree cAcc, Variable declVar)	Registers the mapping for a compound type.
private void	Resolver.registerCompoundSlotMapping(Compound type, ConstraintSyntaxTree cAcc, Variable declVar)	Registers the slot mappings for compound slots of type.
private void	Resolver.OtherConstraintsProcessor.setParameter(ConstraintSyntaxTree selfEx, AbstractVariable self, IDecisionVariable variable)	Sets the parameters for processing.
(package private) ConstraintSyntaxTree	Resolver.substituteVariables(ConstraintSyntaxTree cst, ConstraintSyntaxTree selfEx, AbstractVariable self, ConstraintSyntaxTree acc)	Method for using SubstitutionVisitor for constraint transformation.
private void	Resolver.translateAnnotationAssignment(AttributeAssignment.Assignment assignment, DecisionVariableDeclaration element, ConstraintSyntaxTree compound)	Method for creating attribute constraint for a specific element.
private void	Resolver.translateAnnotationAssignments(AttributeAssignment assignment, IDecisionVariable var, java.util.List<AttributeAssignment.Assignment> effectiveAssignments, ConstraintSyntaxTree compound)	Translates attribute assignments.
private void	Resolver.translateAnnotationDeclaration(Attribute decl, IDecisionVariable variable, ConstraintSyntaxTree cAcc, boolean qualifyAttribute)	Translates an annotation declaration.
private void	Resolver.translateAnnotationDeclarations(AbstractVariable decl, IDecisionVariable variable, ConstraintSyntaxTree cAcc)	Translates annotation declarations.
private void	Resolver.translateCompoundContainer(AbstractVariable decl, Compound type, IDatatype declaredContainedType, ConstraintSyntaxTree cAcc)	Translates an entire compound container decl including defaults and constraints for the specific type cmpType (iterate through all relevant types).
private void	Resolver.translateCompoundContent(AbstractVariable decl, IDecisionVariable variable, Compound type, ConstraintSyntaxTree cAcc)	Translates the compound content.
private int	Resolver.translateCompoundDeclaration(AbstractVariable decl, IDecisionVariable variable, ConstraintSyntaxTree cAcc, Compound type, int mode)	Translates translating compound type declarations, but only if not ContextStack.alreadyProcessed(IDatatype) in nested collection/compound types.
private void	Resolver.translateContainerDeclaration(AbstractVariable decl, IDecisionVariable var, IDatatype type, ConstraintSyntaxTree cAcc)	Translates the (transitive) defaults and type constraints for a container declaration.
private void	Resolver.translateDeclaration(AbstractVariable decl, IDecisionVariable var, ConstraintSyntaxTree cAcc)	Translates the (transitive) defaults and type constraints for a declaration.
private void	Resolver.translateDerivedDatatypeConstraints(AbstractVariable decl, IDatatype type, DecisionVariableDeclaration localDecl, IModelElement parent, int refCounter, ConstraintSyntaxTree cAcc)	Extracts, translates and collects the internal constraints of type (if derived or, transitively, a reference datatype) and stores the constraints in #derivedTypeConstraints.

Uses of ConstraintSyntaxTree in net.ssehub.easy.reasoning.sseReasoner.functions

Fields in net.ssehub.easy.reasoning.sseReasoner.functions declared as ConstraintSyntaxTree

Modifier and Type	Field	Description
private ConstraintSyntaxTree	FailedElementDetails.problemConstraintPart

Methods in net.ssehub.easy.reasoning.sseReasoner.functions that return ConstraintSyntaxTree

Modifier and Type	Method	Description
ConstraintSyntaxTree	FailedElementDetails.getProblemConstraintPart()	Method for returning a part of failed Constraints ConstraintSyntaxTree.
abstract ConstraintSyntaxTree	AbstractConstraintProcessor.process(ConstraintSyntaxTree cst, AbstractConstraintProcessor.ExpressionType type, java.lang.String slot, IModelElement parent)	Processes a constraint syntax tree.
ConstraintSyntaxTree	AbstractConstraintProcessor.process(Constraint constraint, AbstractConstraintProcessor.ExpressionType type)	Processes a constraint (taking over the parent of constraint).

Methods in net.ssehub.easy.reasoning.sseReasoner.functions with parameters of type ConstraintSyntaxTree

Modifier and Type	Method	Description
abstract ConstraintSyntaxTree	AbstractConstraintProcessor.process(ConstraintSyntaxTree cst, AbstractConstraintProcessor.ExpressionType type, java.lang.String slot, IModelElement parent)	Processes a constraint syntax tree.
void	FailedElementDetails.setProblemConstraintPart(ConstraintSyntaxTree problemConstraintPart)	Method for adding a part of failed Constraints ConstraintSyntaxTree.

Uses of ConstraintSyntaxTree in net.ssehub.easy.reasoning.sseReasoner.model

Fields in net.ssehub.easy.reasoning.sseReasoner.model declared as ConstraintSyntaxTree

Modifier and Type	Field	Description
private ConstraintSyntaxTree	ContextStack.Context.container	Container accessor for incremental container quantification.
private ConstraintSyntaxTree	SubstitutionVisitor.excludeFromMapping
private ConstraintSyntaxTree	SubstitutionVisitor.selfEx

Fields in net.ssehub.easy.reasoning.sseReasoner.model with type parameters of type ConstraintSyntaxTree

Modifier and Type	Field	Description
private java.util.Map<AbstractVariable,ConstraintSyntaxTree>	SubstitutionVisitor.mapping
private java.util.Map<java.lang.String,ConstraintSyntaxTree>	ContextStack.Context.nameMap	Secundary name-accessor mapping, consistent with ContextStack.Context.varMap.
private java.util.Map<java.lang.String,ConstraintSyntaxTree>	TypeCache.Entry.nameMap
private java.util.Map<AbstractVariable,ConstraintSyntaxTree>	ContextStack.Context.varMap	Variable-accessor mapping.
private java.util.Map<AbstractVariable,ConstraintSyntaxTree>	TypeCache.Entry.varMap

Methods in net.ssehub.easy.reasoning.sseReasoner.model that return ConstraintSyntaxTree

Modifier and Type	Method	Description
ConstraintSyntaxTree	SubstitutionVisitor.accept(ConstraintSyntaxTree cst)	Accepts this on cst and returns BasicCopyVisitor.getResult().
ConstraintSyntaxTree	SubstitutionVisitor.acceptAndClear(ConstraintSyntaxTree cst)	Accepts this on cst, returns BasicCopyVisitor.getResult() and clears this.
ConstraintSyntaxTree	ContextStack.composeExpression(ConstraintSyntaxTree cst)	Composes an all-quantified expression over the contexts of the stack.
static ConstraintSyntaxTree	ReasoningUtils.createAsTypeCast(ConstraintSyntaxTree exp, IDatatype targetType)	Creates a type cast ("asType" operation, if needed) from the type of exp to targetType applied to exp.
static ConstraintSyntaxTree	ReasoningUtils.createAsTypeCast(ConstraintSyntaxTree exp, IDatatype sourceType, IDatatype targetType)	Creates a type cast ("asType" operation, if needed) from sourceType to targetType applied to exp.
static ConstraintSyntaxTree	ReasoningUtils.createParentExpression(IDecisionVariable variable)	Creates an expression representing the parent of variable.
static ConstraintSyntaxTree	ReasoningUtils.createTypeValueConstant(IDatatype type)	Creates a type value constraint tree node.
static ConstraintSyntaxTree	ReasoningUtils.createTypeValueConstantSafe(IDatatype type)	Creates a type value constraint tree node and logs occurring exceptions.
static ConstraintSyntaxTree	ReasoningUtils.getConstraintValueExpression(Value value)	Returns the expression for a constraint to be created for a constraint variable.
ConstraintSyntaxTree	ContextStack.getCurrentContainer()	Returns the current container expression from the top-most context.
ConstraintSyntaxTree	ContextStack.getLocalMapping(java.lang.String name)	Returns the local mapping for the given variable name just from the current context.
ConstraintSyntaxTree	TypeCache.Entry.getLocalMapping(java.lang.String name, AbstractVariable self)	Returns the local mapping for the given variable name just from the current context.
ConstraintSyntaxTree	ContextStack.getMapping(AbstractVariable var)	Returns the mapped access expression for var taking into account all current contexts of the stack starting with the current top-most one.
ConstraintSyntaxTree	TypeCache.Entry.getMapping(AbstractVariable var, AbstractVariable self)	Returns the mapped access expression for var taking into account all current contexts of the stack starting with the current top-most one.
private ConstraintSyntaxTree	TypeCache.Entry.instantiate(ConstraintSyntaxTree cst, AbstractVariable var)	Instantiates a the given constraint.
private ConstraintSyntaxTree	SubstitutionVisitor.map(Variable variable)	Maps a variable to its accessor expression.

Methods in net.ssehub.easy.reasoning.sseReasoner.model with parameters of type ConstraintSyntaxTree

Modifier and Type	Method	Description
ConstraintSyntaxTree	SubstitutionVisitor.accept(ConstraintSyntaxTree cst)	Accepts this on cst and returns BasicCopyVisitor.getResult().
ConstraintSyntaxTree	SubstitutionVisitor.acceptAndClear(ConstraintSyntaxTree cst)	Accepts this on cst, returns BasicCopyVisitor.getResult() and clears this.
SubstitutionVisitor	SubstitutionVisitor.addVariableMapping(AbstractVariable orig, ConstraintSyntaxTree ex)	Adds a variable mapping to be considered during substitution.
ConstraintSyntaxTree	ContextStack.composeExpression(ConstraintSyntaxTree cst)	Composes an all-quantified expression over the contexts of the stack.
static ConstraintSyntaxTree	ReasoningUtils.createAsTypeCast(ConstraintSyntaxTree exp, IDatatype targetType)	Creates a type cast ("asType" operation, if needed) from the type of exp to targetType applied to exp.
static ConstraintSyntaxTree	ReasoningUtils.createAsTypeCast(ConstraintSyntaxTree exp, IDatatype sourceType, IDatatype targetType)	Creates a type cast ("asType" operation, if needed) from sourceType to targetType applied to exp.
static ContainerOperationCall	ReasoningUtils.createContainerCall(ConstraintSyntaxTree container, Operation op, ConstraintSyntaxTree iterEx, DecisionVariableDeclaration... decl)	Creates a container operation call ("shortcut").
void	SubstitutionVisitor.excludeFromMapping(ConstraintSyntaxTree cst)	Excludes the given expression from mapping, e.g., if the expression is an already complete accessor expression and a mapping would be based on a previously registered (incorrect) mapping.
static IDatatype	ReasoningUtils.inferTypeSafe(ConstraintSyntaxTree cst, IDatatype dflt)	Infers the type of cst using dflt as fallback.
private ConstraintSyntaxTree	TypeCache.Entry.instantiate(ConstraintSyntaxTree cst, AbstractVariable var)	Instantiates a the given constraint.
private boolean	VariablesInNotSimpleAssignmentConstraintsFinder.isConstraint(ConstraintSyntaxTree cst)	Returns whether the type of cst is a constraint type.
void	ContextStack.pushContext(AbstractVariable decl, ConstraintSyntaxTree container, DecisionVariableDeclaration iterator, boolean recordProcessedTypes)	Pushes a new container context to the stack.
void	ContextStack.registerMapping(AbstractVariable var, ConstraintSyntaxTree acc)	Registers a mapping between the variable var and its actual access expression acc into the current top-most context.
SubstitutionVisitor	SubstitutionVisitor.setSelf(ConstraintSyntaxTree selfEx)	Defines self in terms of an expression.
static java.lang.String	ReasoningUtils.toIvmlString(ConstraintSyntaxTree cst)	Turns a constraint syntax tree into a string.

Method parameters in net.ssehub.easy.reasoning.sseReasoner.model with type arguments of type ConstraintSyntaxTree

Modifier and Type	Method	Description
void	TypeCache.transferContext(IDatatype type, java.util.Map<AbstractVariable,ConstraintSyntaxTree> varMap, java.util.Map<java.lang.String,ConstraintSyntaxTree> nameMap)	Transfers the mappings of the given context into the cache entry of type.

Constructors in net.ssehub.easy.reasoning.sseReasoner.model with parameters of type ConstraintSyntaxTree

Constructor	Description
VariablesInConstraintFinder(ConstraintSyntaxTree cst, Configuration config)	Creates a constraint finder for single use directly on cst.

Uses of ConstraintSyntaxTree in net.ssehub.easy.varModel.confModel

Fields in net.ssehub.easy.varModel.confModel with type parameters of type ConstraintSyntaxTree

Modifier and Type	Field	Description
private java.util.Map<IDatatype,java.util.List<ConstraintSyntaxTree>>	QueryCache.refValues	Tuple of (Reference.getType(), possible values for the reference).

Methods in net.ssehub.easy.varModel.confModel that return ConstraintSyntaxTree

Modifier and Type	Method	Description
protected ConstraintSyntaxTree	ConfigurationSaver.createAssignmentConstraint(Project dstProject, AbstractVariable decl, IDecisionVariable var, Value value)	Creates an assignment constraint.
protected ConstraintSyntaxTree	ConfigurationSaver.deriveOperand(AbstractVariable decl, IDecisionVariable var)	Derives the operand expression for turning a configuration into a project.
static ConstraintSyntaxTree	ConfigQuery.toCST(IDecisionVariable variable)	Converts an IDecisionVariable of the configuration to a Variable expression, so that it can be used for a value assignment, e.g.

Methods in net.ssehub.easy.varModel.confModel that return types with arguments of type ConstraintSyntaxTree

Modifier and Type	Method	Description
java.util.List<ConstraintSyntaxTree>	QueryCache.getPossibleValues(Reference refType)	Calculates possible values (ConstraintSyntaxTree-based) for a given Reference variable.
java.util.List<ConstraintSyntaxTree>	SharedQueryCache.getPossibleValues(Reference refType)
(package private) static java.util.List<ConstraintSyntaxTree>	ConfigQuery.possibleValuesForReferences(Configuration config, Reference refType)	Calculates possible values (ConstraintSyntaxTree-based) for a given Reference variable.

Methods in net.ssehub.easy.varModel.confModel with parameters of type ConstraintSyntaxTree

Modifier and Type	Method	Description
java.lang.String	DisplayNameProvider.getDisplayName(ConstraintSyntaxTree constraint, Configuration configuration)	Returns the display name of a constraint, e.g., for a value of a reference.
protected void	AbstractConfigurationStatisticsVisitor.visitDefaultValue(ConstraintSyntaxTree constraint)	Processes a default value.

Uses of ConstraintSyntaxTree in net.ssehub.easy.varModel.cst

Subclasses of ConstraintSyntaxTree in net.ssehub.easy.varModel.cst

Modifier and Type	Class	Description
class	AttributeVariable	A variable which represents an attribute.
class	BlockExpression	Represents a block of expressions.
class	Comment	Represents a comment in a parse tree.
class	CompoundAccess	Represents an expression which accesses a compound slot where the compound is specified as a ConstraintSyntaxTree.
class	CompoundInitializer	Represents a typed initializer for compounds.
class	ConstantValue	Class for a constant value.
class	ContainerInitializer	Represents an initializer for containers.
class	ContainerOperationCall	Represents a set operation call with declarators, e.g.
class	EmptyInitializer	An internal temporary node representing an untyped empty initializer.
class	IfThen	Represents a conditional expression.
class	Leaf	Class for leaves in the ConstraintSyntaxTree.
class	Let	Represents a let expression, i.e.
class	MultiAndExpression	Represents a multi-and expression.
class	NamedArgument	Implements a named argument as a transparent constraint syntax tree.
class	OCLFeatureCall	Class for OCLFeatureCall.
class	Parenthesis	Represents a parenthesis.
class	ResolvedVariable	Carries a resolved variable.
class	Self	Represents the a compound itself (for constraints within compounds).
class	UnresolvedExpression	Denotes an expression (tree) which is currently unresolved due to deferred imports, e.g.
class	Variable	Class for a variable value.

Fields in net.ssehub.easy.varModel.cst declared as ConstraintSyntaxTree

Modifier and Type	Field	Description
private ConstraintSyntaxTree	UnresolvedExpression.actualExpression
private ConstraintSyntaxTree	CompoundAccess.compoundExpression
private ConstraintSyntaxTree	ContainerOperationCall.container
private ConstraintSyntaxTree	ConstraintReplacer.copiedConstraint
private ConstraintSyntaxTree	IfThen.elseExpr
private ConstraintSyntaxTree	Comment.expr	Stores the commented expression.
private ConstraintSyntaxTree	Parenthesis.expr	Stores the expression in the parenthesis.
private ConstraintSyntaxTree	ContainerOperationCall.expression
private ConstraintSyntaxTree	NamedArgument.expression
private ConstraintSyntaxTree	UnresolvedExpression.expression
private ConstraintSyntaxTree[]	CompoundInitializer.expressions
private ConstraintSyntaxTree[]	ContainerInitializer.expressions
private ConstraintSyntaxTree[]	BlockExpression.exprs
private ConstraintSyntaxTree	IfThen.ifExpr
private ConstraintSyntaxTree	Let.inExpr
private ConstraintSyntaxTree	OCLFeatureCall.operand
private ConstraintSyntaxTree	ConstraintReplacer.origin
private ConstraintSyntaxTree[]	OCLFeatureCall.parameters
private ConstraintSyntaxTree	AttributeVariable.qualifier
private ConstraintSyntaxTree	BasicCopyVisitor.result
private ConstraintSyntaxTree	IfThen.thenExpr

Methods in net.ssehub.easy.varModel.cst that return ConstraintSyntaxTree

Modifier and Type	Method	Description
ConstraintSyntaxTree	UnresolvedExpression.getActualExpression()	Returns the actual expression.
ConstraintSyntaxTree	CompoundAccess.getCompoundExpression()	The expression denoting the compound to access.
ConstraintSyntaxTree	ContainerOperationCall.getContainer()	Returns the set to operate on (given as an expression).
ConstraintSyntaxTree	IfThen.getElseExpr()	Returns the else-expression.
ConstraintSyntaxTree	Comment.getExpr()	Returns the commented expression.
ConstraintSyntaxTree	Parenthesis.getExpr()	Returns the nested expression.
ConstraintSyntaxTree	BlockExpression.getExpression(int index)	Returns the specified expression.
ConstraintSyntaxTree	CompoundInitializer.getExpression(int index)	Returns the specified expression.
ConstraintSyntaxTree	ContainerInitializer.getExpression(int index)	Returns the specified expression.
ConstraintSyntaxTree	ContainerOperationCall.getExpression()	Returns the iterating expression.
ConstraintSyntaxTree	IfThen.getIfExpr()	Returns the condition expression.
ConstraintSyntaxTree	Let.getInExpression()	Returns the expression the local variable may be used in.
ConstraintSyntaxTree	Let.getInitExpression()	Returns the initialization expression.
ConstraintSyntaxTree	OCLFeatureCall.getOperand()	Returns the operand.
ConstraintSyntaxTree	OCLFeatureCall.getParameter(int index)	Returns a specific parameter.
ConstraintSyntaxTree	AttributeVariable.getQualifier()	Returns the qualifier for accessing the variable, e.g., an expression to be put before.
ConstraintSyntaxTree	Variable.getQualifier()	Returns the qualifier for accessing the variable, e.g., an expression to be put before.
ConstraintSyntaxTree	BasicCopyVisitor.getResult()	Returns the copied syntax tree.
ConstraintSyntaxTree	ContainerOperationCall.getSet()	Deprecated. use ContainerOperationCall.getContainer() instead
ConstraintSyntaxTree	IfThen.getThenExpr()	Returns the then-expression.
protected ConstraintSyntaxTree	BasicCopyVisitor.inferDatatype(ConstraintSyntaxTree cst)	Performs datatype validation if requested.
ConstraintSyntaxTree	CopyVisitor.IVariableReplacer.mapLeaf(Variable variable)	Maps a leaf variable.
ConstraintSyntaxTree	CopyVisitor.IVariableReplacer.mapSelf(Self self)	Maps a leaf node.
ConstraintSyntaxTree	ConstraintReplacer.replaceVariable(Leaf oldLeaf, Leaf newLeaf)	Copies a ConstraintSyntaxTree and replaces all occurrences of oldLeaf with newLeaf.

Methods in net.ssehub.easy.varModel.cst with parameters of type ConstraintSyntaxTree

Modifier and Type	Method	Description
protected ConstraintSyntaxTree	BasicCopyVisitor.inferDatatype(ConstraintSyntaxTree cst)	Performs datatype validation if requested.
static boolean	CSTUtils.isAssignment(ConstraintSyntaxTree completeCST)	Checks whether the given ConstraintSyntaxTree is a assignment or a constraint.
static boolean	ConstantValue.isNull(ConstraintSyntaxTree cst)	Returns whether the given constraint is exactly the IVML null value.
boolean	ConstraintSyntaxTree.isSemanticallyEqual(ConstraintSyntaxTree otherTree)	Checks whether this ConstraintSyntaxTree is semantically equal to another ConstraintSyntaxTree.
boolean	OCLFeatureCall.isSemanticallyEqual(ConstraintSyntaxTree otherTree)
boolean	Parenthesis.isSemanticallyEqual(ConstraintSyntaxTree otherTree)
boolean	Variable.isSemanticallyEqual(ConstraintSyntaxTree otherTree)
static boolean	CSTUtils.isSimpleAssignment(ConstraintSyntaxTree completeCST)	Checks whether the given ConstraintSyntaxTree is a simple assignment (variable assigned with constant or compound/container initializer).
private static void	OCLFeatureCall.resolveFully(ConstraintSyntaxTree[] parameter, IDatatype[] types)	Dereferences types if parameter does not indicate a refBy.
(package private) void	UnresolvedExpression.setActualExpression(ConstraintSyntaxTree actualExpression)	Changes the actual expression.
protected void	BasicCopyVisitor.setResult(ConstraintSyntaxTree cst)	Allows inherited classed to overwrite visiting method and to return a partially translated cst.

Constructors in net.ssehub.easy.varModel.cst with parameters of type ConstraintSyntaxTree

Constructor	Description
AttributeVariable(ConstraintSyntaxTree qualifier, Attribute attribute)	Creates an attribute variable.
BlockExpression(ConstraintSyntaxTree[] exprs)	Creates a block expression.
Comment(ConstraintSyntaxTree expr, java.lang.String comment)	Creates a new comment node.
CompoundAccess(ConstraintSyntaxTree compoundExpression, java.lang.String slotName)	Creates a compound access node.
CompoundInitializer(Compound type, java.lang.String[] slots, AbstractVariable[] slotDecls, ConstraintSyntaxTree[] expressions)	Creates a new compound initializer.
ConstraintReplacer(ConstraintSyntaxTree origin)	Creates a ConstraintReplacer witch is needed to copy a OCLFeatureCall.
ContainerInitializer(Container type, ConstraintSyntaxTree[] expressions)	Creates a new container initializer.
ContainerOperationCall(ConstraintSyntaxTree container, java.lang.String operation, ConstraintSyntaxTree expression, DecisionVariableDeclaration... declarators)	Creates a new let expression.
IfThen(ConstraintSyntaxTree ifExpr, ConstraintSyntaxTree thenExpr, ConstraintSyntaxTree elseExpr)	Creates a new if-then-else node.
Let(DecisionVariableDeclaration var, ConstraintSyntaxTree inExpr)	Creates a new let expression.
NamedArgument(java.lang.String name, ConstraintSyntaxTree expression)	Creates a named argument.
OCLFeatureCall(ConstraintSyntaxTree operand, java.lang.String operation, ConstraintSyntaxTree... parameters)	Constructs an OCL feature call as a node of a constraint syntax tree.
OCLFeatureCall(ConstraintSyntaxTree operand, java.lang.String operation, ICustomOperationAccessor opAccessor, ConstraintSyntaxTree... parameters)	Constructs an OCL feature call as a node of a constraint syntax tree.
Parenthesis(ConstraintSyntaxTree expr)	Creates a new parenthesis node.
UnresolvedExpression(ConstraintSyntaxTree expression)	Creates an unresolved expression as an inner tree node.

Uses of ConstraintSyntaxTree in net.ssehub.easy.varModel.cstEvaluation

Subclasses of ConstraintSyntaxTree in net.ssehub.easy.varModel.cstEvaluation

Modifier and Type	Class	Description
(package private) class	IterLet	Implements a specific expression for defining local variables with variable initialization expressions in iterator expressions.

Fields in net.ssehub.easy.varModel.cstEvaluation declared as ConstraintSyntaxTree

Modifier and Type	Field	Description
private ConstraintSyntaxTree	IterLet.init
private ConstraintSyntaxTree	EvaluationVisitor.innermostFailed

Methods in net.ssehub.easy.varModel.cstEvaluation that return ConstraintSyntaxTree

Modifier and Type	Method	Description
private ConstraintSyntaxTree	EvaluationVisitor.bindFreeVarsByQuantors(ConstraintSyntaxTree cst, java.util.Map<IDatatype,java.util.List<AbstractVariable>> quantorGroups)	Binds the free variables by one quantor per quantor group.
ConstraintSyntaxTree	VariableValueCopier.EnumAttributeFreezeProvider.createButExpression(DecisionVariableDeclaration freezeIter)
ConstraintSyntaxTree	VariableValueCopier.IFreezeProvider.createButExpression(DecisionVariableDeclaration freezeIter)	Creates the freeze-but expression.
ConstraintSyntaxTree	VariableValueCopier.SourceBasedFreezeProvider.createButExpression(DecisionVariableDeclaration freezeIter)
ConstraintSyntaxTree[]	EvaluationVisitor.getFailedExpression()	Returns the innermost failed expression(s).
ConstraintSyntaxTree	IterLet.getInitExpression()
ConstraintSyntaxTree	EvaluationUtils.VariableReplacer.mapLeaf(Variable variable)
ConstraintSyntaxTree	EvaluationUtils.VariableReplacer.mapSelf(Self self)
ConstraintSyntaxTree	EvaluationVisitor.visit(ConstraintSyntaxTree cst)	Visits a constraint syntax tree.

Methods in net.ssehub.easy.varModel.cstEvaluation with parameters of type ConstraintSyntaxTree

Modifier and Type	Method	Description
private LocalDecisionVariable	EvaluationVisitor.addLocalVariable(LocalConfiguration cfg, DecisionVariableDeclaration decl, ConstraintSyntaxTree initEx, boolean notify)	Adds a new local decision variable based on decl to cfg.
private ConstraintSyntaxTree	EvaluationVisitor.bindFreeVarsByQuantors(ConstraintSyntaxTree cst, java.util.Map<IDatatype,java.util.List<AbstractVariable>> quantorGroups)	Binds the free variables by one quantor per quantor group.
private boolean	EvaluationVisitor.containsIsDefined(ConstraintSyntaxTree constraint)	Returns whether constraint somewhere contains/calls an isDefined operation.
private EvaluationAccessor	EvaluationVisitor.getAccessor(EvaluationAccessor accessor, ConstraintSyntaxTree expression)	Returns an evaluation accessor for expression if accessor is not already determined.
(package private) static EvaluationAccessor	ConstraintOperations.handleConstraintAssignment(EvaluationAccessor operand, ConstraintSyntaxTree cst)	Handles a constraint assignment, i.e., assigns the cst.
(package private) static EvaluationAccessor	ConstraintOperations.handleConstraintEquals(EvaluationAccessor operand, ConstraintSyntaxTree cst, boolean negate)	Handles a constraint equality with propagation, i.e., assigns the cst.
private boolean	EvaluationVisitor.isFreezeVariable(ConstraintSyntaxTree cst)	Returns whether cst is a freeze variable.
private void	EvaluationVisitor.recordIfFailed(ConstraintSyntaxTree cst)	Records a constraint syntax tree if it failed.
ConstraintSyntaxTree	EvaluationVisitor.visit(ConstraintSyntaxTree cst)	Visits a constraint syntax tree.

Constructors in net.ssehub.easy.varModel.cstEvaluation with parameters of type ConstraintSyntaxTree

Constructor	Description
IterLet(DecisionVariableDeclaration var, ConstraintSyntaxTree init, ConstraintSyntaxTree inExpr)	Creates an iterator let-expression.

Uses of ConstraintSyntaxTree in net.ssehub.easy.varModel.model

Fields in net.ssehub.easy.varModel.model declared as ConstraintSyntaxTree

Modifier and Type	Field	Description
private ConstraintSyntaxTree	Constraint.consSyntax
private ConstraintSyntaxTree	AbstractVariable.defaultValue
private ConstraintSyntaxTree	ExpressionVersionRestriction.expr
private ConstraintSyntaxTree	AttributeAssignment.Assignment.expression
private ConstraintSyntaxTree	FreezeBlock.selector

Methods in net.ssehub.easy.varModel.model that return ConstraintSyntaxTree

Modifier and Type	Method	Description
static ConstraintSyntaxTree	ExpressionVersionRestriction.createSingleRestriction(DecisionVariableDeclaration var, java.lang.String operator, Version version)	Creates a typical single restriction from the given variable (see ExpressionVersionRestriction.createRestrictionVars(String), the operator and the version.
ConstraintSyntaxTree	Constraint.getConsSyntax()	Getter-Method for the ConstraintSyntaxTree.
ConstraintSyntaxTree	AbstractVariable.getDefaultValue()	Getter for the value.
ConstraintSyntaxTree	AttributeAssignment.Assignment.getExpression()	Returns the expression representing the actual value of the assignment.
ConstraintSyntaxTree	FreezeBlock.getSelector()	Returns the selector.

Methods in net.ssehub.easy.varModel.model with parameters of type ConstraintSyntaxTree

Modifier and Type	Method	Description
private static java.lang.String	Constraint.check(ConstraintSyntaxTree cst)	Checks a constraint syntax tree for validation properties.
Constraint	Constraint.createConstraint(ConstraintSyntaxTree consSyntax)	Creates a new constraint with same properties but changed constraint syntax tree.
void	Constraint.setConsSyntax(ConstraintSyntaxTree consSyntax)	Changes the constraint syntax tree.
void	AbstractVariable.setValue(ConstraintSyntaxTree value)	Defines the default value.

Constructors in net.ssehub.easy.varModel.model with parameters of type ConstraintSyntaxTree

Constructor	Description
Assignment(java.lang.String name, java.lang.String operation, ConstraintSyntaxTree expression)	Creates an attribute-value assignment.
Constraint(java.lang.String name, ConstraintSyntaxTree consSyntax, IModelElement parent)	Creates a new constraint from an already parsed syntax tree.
Constraint(ConstraintSyntaxTree consSyntax, IModelElement parent)	Creates a new constraint from an already parsed syntax tree.
ExpressionVersionRestriction(ConstraintSyntaxTree expr, DecisionVariableDeclaration versionVariable, DecisionVariableDeclaration compoundVersionVariable)	Creates a new expression version restriction.
FreezeBlock(IFreezable[] freezables, DecisionVariableDeclaration iter, ConstraintSyntaxTree selector, IModelElement parent)	Constructor for containable model element.

Uses of ConstraintSyntaxTree in net.ssehub.easy.varModel.model.datatypes

Fields in net.ssehub.easy.varModel.model.datatypes declared as ConstraintSyntaxTree

Modifier and Type	Field	Description
private ConstraintSyntaxTree	CustomOperation.function

Methods in net.ssehub.easy.varModel.model.datatypes that return ConstraintSyntaxTree

Modifier and Type	Method	Description
ConstraintSyntaxTree	CustomOperation.getFunction()
ConstraintSyntaxTree	Operation.getFunction()	Returns the function expression calculated by this operation.
ConstraintSyntaxTree	Operation.getParameterDefaultValue(int index)	Returns the parameter default value at position index.

Methods in net.ssehub.easy.varModel.model.datatypes with parameters of type ConstraintSyntaxTree

Modifier and Type	Method	Description
void	CustomOperation.setFunction(ConstraintSyntaxTree function)	Changes the function determining the implementation of this custom operation.

Constructors in net.ssehub.easy.varModel.model.datatypes with parameters of type ConstraintSyntaxTree

Constructor	Description
CustomDynamicOperation(IDatatype returns, java.lang.String methodname, IDatatype operand, ConstraintSyntaxTree function, DecisionVariableDeclaration[] parameters)	Operation Constructor.
CustomOperation(IDatatype returns, java.lang.String methodname, IDatatype operand, ConstraintSyntaxTree function, DecisionVariableDeclaration[] parameters)	Operation Constructor.

Uses of ConstraintSyntaxTree in net.ssehub.easy.varModel.model.filter

Constructors in net.ssehub.easy.varModel.model.filter with parameters of type ConstraintSyntaxTree

Constructor	Description
AbstractStateVariablesInConstraintFinder(ConstraintSyntaxTree cst, Configuration config)	Creates a constraint finder for single use directly on cst.
ConstraintClassifier(ConstraintSyntaxTree tree)	Sole constructor for this class, classifies exactly one constraint, whether it is an AssignmentConstraint.
DeclrationInConstraintFinder(ConstraintSyntaxTree cst)	Default constructor for this class.
DeclrationInConstraintFinder(ConstraintSyntaxTree cst, boolean considerReferences)	Constructor for this class to specify whether (reference) values should also be visited.
VariablesInConstraintFinder(ConstraintSyntaxTree cst, Configuration config)	Creates a constraint finder for single use directly on cst.

Uses of ConstraintSyntaxTree in net.ssehub.easy.varModel.model.rewrite

Fields in net.ssehub.easy.varModel.model.rewrite declared as ConstraintSyntaxTree

Modifier and Type	Field	Description
private ConstraintSyntaxTree	AssignmentReducer.result
private ConstraintSyntaxTree	UncopiedElementsContainer.UnresolvedSyntaxContainer.uncopiedCST

Methods in net.ssehub.easy.varModel.model.rewrite that return ConstraintSyntaxTree

Modifier and Type	Method	Description
(package private) ConstraintSyntaxTree	UncopiedElementsContainer.UnresolvedSyntaxContainer.getOriginalSyntax()	Returns the uncopied ConstraintSyntaxTree, which must still be translated.
protected ConstraintSyntaxTree	AssignmentReducer.reduce(OCLFeatureCall assignment)	Start method for reducing assignments.

Methods in net.ssehub.easy.varModel.model.rewrite with parameters of type ConstraintSyntaxTree

Modifier and Type	Method	Description
(package private) void	UncopiedElementsContainer.addUncopyableCST(ContainableModelElement copiedParent, ConstraintSyntaxTree originalCST)	Adds an CST which could not be copied so far, also not partially.
private void	InitialStructureCollector.collectNestedConstraintVariables(ConstraintSyntaxTree cst, ContainableModelElement element)	Finds all nested constraint variables in the given ConstraintSyntaxTree and adds them to the VariableLookUpTable.

Uses of ConstraintSyntaxTree in net.ssehub.easy.varModel.model.rewrite.modifier

Methods in net.ssehub.easy.varModel.model.rewrite.modifier with parameters of type ConstraintSyntaxTree

Modifier and Type	Method	Description
protected boolean	AbstractFrozenChecker.constraintIsFrozen(ConstraintSyntaxTree constraint, RewriteContext context)	Checks whether the given constraint contains only constant values or frozen variables.

Uses of ConstraintSyntaxTree in net.ssehub.easy.varModel.model.values

Fields in net.ssehub.easy.varModel.model.values declared as ConstraintSyntaxTree

Modifier and Type	Field	Description
private ConstraintSyntaxTree	ConstraintValue.value
private ConstraintSyntaxTree	ReferenceValue.valueEx

Methods in net.ssehub.easy.varModel.model.values that return ConstraintSyntaxTree

Modifier and Type	Method	Description
ConstraintSyntaxTree	ConstraintValue.getValue()	Returns the stored value.
ConstraintSyntaxTree	ReferenceValue.getValueEx()	If ReferenceValue.getValue() is null, the actual value is determined by an expression that needs to be evaluated.

Constructors in net.ssehub.easy.varModel.model.values with parameters of type ConstraintSyntaxTree

Constructor	Description
ConstraintValue(ConstraintSyntaxTree value)	Constructor.

Uses of ConstraintSyntaxTree in net.ssehub.easy.varModel.persistency

Fields in net.ssehub.easy.varModel.persistency declared as ConstraintSyntaxTree

Modifier and Type	Field	Description
private ConstraintSyntaxTree	ConstraintSplitWriter.IdentityConstraintFilter.constraint

Fields in net.ssehub.easy.varModel.persistency with type parameters of type ConstraintSyntaxTree

Modifier and Type	Field	Description
private java.util.Stack<ConstraintSyntaxTree>	IVMLWriter.nestedExpressions

Methods in net.ssehub.easy.varModel.persistency with parameters of type ConstraintSyntaxTree

Modifier and Type	Method	Description
protected void	AbstractVarModelWriter.emitConstraintExpression(IModelElement context, ConstraintSyntaxTree constraint)	Visits the expression of a constraint (for extension).
protected void	ConstraintSplitWriter.emitConstraintExpression(IModelElement context, ConstraintSyntaxTree constraint)
protected void	ConstraintSplitWriter.emitDecisionVariableDeclarationDefault(DecisionVariableDeclaration decl, ConstraintSyntaxTree defaultValue)
protected void	IVMLWriter.emitDecisionVariableDeclarationDefault(DecisionVariableDeclaration decl, ConstraintSyntaxTree defaultValue)	Emits the default value of a decision variable declaration (for extension).
private void	IVMLWriter.emitDecisionVariableDeclarationExpression(DecisionVariableDeclaration decl, ConstraintSyntaxTree defaultValue)	Emits the expression part of a variable declaration without the statement part.
private boolean	ConstraintSplitWriter.pre(IModelElement context, ConstraintSyntaxTree constraint)	To be called before a potential split point (checking the filter).
boolean	ConstraintSplitWriter.IConstraintFilter.splitAt(IModelElement context, ConstraintSyntaxTree constraint)	Returns whether the split shall happen at constraint.
boolean	ConstraintSplitWriter.IdentityConstraintFilter.splitAt(IModelElement context, ConstraintSyntaxTree constraint)
static java.lang.String	StringProvider.toIvmlString(ConstraintSyntaxTree cst)	Turns a syntax tree into a string containing IVML (without context).
static java.lang.String	StringProvider.toIvmlString(ConstraintSyntaxTree cst, IModelElement context)	Turns a syntax tree into a string containing IVML.

Constructors in net.ssehub.easy.varModel.persistency with parameters of type ConstraintSyntaxTree

Constructor	Description
IdentityConstraintFilter(ConstraintSyntaxTree constraint)	Creates a constraint filter which reacts on identity with constraint.

Uses of ConstraintSyntaxTree in net.ssehub.easy.varModel.validation

Methods in net.ssehub.easy.varModel.validation with parameters of type ConstraintSyntaxTree

Modifier and Type	Method	Description
private boolean	IvmlValidationVisitor.checkExpression(ConstraintSyntaxTree expression, java.lang.String info, java.lang.Object cause)	Checks for a valid (sub-)expression.