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

Packages that use ConstraintSyntaxTree

Package	Description
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 net.ssehub.easy.varModel.confModel

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

Modifier and Type	Field	Description
private Map<IDatatype,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
List<ConstraintSyntaxTree>	QueryCache.getPossibleValues(Reference refType)	Calculates possible values (ConstraintSyntaxTree-based) for a given Reference variable.
List<ConstraintSyntaxTree>	SharedQueryCache.getPossibleValues(Reference refType)
(package private) static 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
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	DeferInitExpression	An expression to indicate that the contained expression shall not be evaluated rather than used as value.
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	DeferInitExpression.cst
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	DeferInitExpression.getExpression()	Returns the deferred 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 final 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

Modifier	Constructor	Description
	AttributeVariable(ConstraintSyntaxTree qualifier, Attribute attribute)	Creates an attribute variable.
	BlockExpression(ConstraintSyntaxTree[] exprs)	Creates a block expression.
	Comment(ConstraintSyntaxTree expr, String comment)	Creates a new comment node.
	CompoundAccess(ConstraintSyntaxTree compoundExpression, String slotName)	Creates a compound access node.
	CompoundInitializer(Compound type, 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, String operation, ConstraintSyntaxTree expression, DecisionVariableDeclaration... declarators)	Creates a new let expression.
	DeferInitExpression(ConstraintSyntaxTree cst)	Creates the 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(String name, ConstraintSyntaxTree expression)	Creates a named argument.
	OCLFeatureCall(ConstraintSyntaxTree operand, String operation, ConstraintSyntaxTree... parameters)	Constructs an OCL feature call as a node of a constraint syntax tree.
	OCLFeatureCall(ConstraintSyntaxTree operand, 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	EvaluationVisitor.CompoundSlotInit.expr
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, Map<IDatatype,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, Map<IDatatype,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

Modifier	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, String operator, net.ssehub.easy.basics.modelManagement.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 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

Modifier	Constructor	Description
	Assignment(String name, String operation, ConstraintSyntaxTree expression)	Creates an attribute-value assignment.
	Constraint(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

Modifier	Constructor	Description
	CustomDynamicOperation(IDatatype returns, String methodname, IDatatype operand, ConstraintSyntaxTree function, DecisionVariableDeclaration[] parameters)	Operation Constructor.
	CustomOperation(IDatatype returns, 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

Modifier	Constructor	Description
	AbstractStateVariablesInConstraintFinder(ConstraintSyntaxTree cst, Configuration config)	Creates a constraint finder for single use directly on cst.
(package private)	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.
protected void	CSTCopyVisitor.setResult(ConstraintSyntaxTree cst)

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

Modifier	Constructor	Description
protected	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 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 final String	StringProvider.toIvmlString(ConstraintSyntaxTree cst)	Turns a syntax tree into a string containing IVML (without context).
static final 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

Modifier	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, String info, Object cause)	Checks for a valid (sub-)expression.