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

Packages that use CSTSemanticException

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.model	Package for creating a reasoning model: constraint container, project hierachy evaluator and other.
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.

Uses of CSTSemanticException in de.uni_hildesheim.sse

Methods in de.uni_hildesheim.sse that throw CSTSemanticException

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

Uses of CSTSemanticException in de.uni_hildesheim.sse.translation

Methods in de.uni_hildesheim.sse.translation that throw CSTSemanticException

Modifier and Type	Method	Description
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.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.

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

Methods in net.ssehub.easy.reasoning.core.reasoner that throw CSTSemanticException

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)

Constructors in net.ssehub.easy.reasoning.core.reasoner that throw CSTSemanticException

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 CSTSemanticException in net.ssehub.easy.reasoning.sseReasoner.model

Methods in net.ssehub.easy.reasoning.sseReasoner.model that throw CSTSemanticException

Modifier and Type	Method	Description
ConstraintSyntaxTree	ContextStack.composeExpression(ConstraintSyntaxTree cst)	Composes an all-quantified expression over the contexts of the stack.

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

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

Modifier and Type	Class	Description
class	UnknownOperationException	An exception signaling an unknown operation.

Methods in net.ssehub.easy.varModel.cst that throw CSTSemanticException

Modifier and Type	Method	Description
private void	OCLFeatureCall.checkRequiredAssignableParameter(Operation op, IDatatype operandType, IDatatype[] paramTypes)	Checks the operation for required assignable parameter if required.
static void	OCLFeatureCall.checkTypeCompliance(Operation op, IDatatype operandType, IDatatype[] parameterTypes)	Performs specific type compliance checks for found operations, e.g., in case of equality or assignments.
private Operation	OCLFeatureCall.customInferDatatype(boolean fallback)	Performs the infer operation for custom operations only, i.e.
private void	OCLFeatureCall.dfltInferDatatype()	Performs the default infer operation, i.e.
IDatatype	ContainerOperationCall.getContainerType()	Returns the actual container type taking into account that the left side must not be a container but can dynamically be mapped into one.
IDatatype	CompoundAccess.getStaticType()	Returns the static type in case that this compound access is a static access.
IDatatype	AttributeVariable.inferDatatype()
IDatatype	BlockExpression.inferDatatype()
IDatatype	Comment.inferDatatype()
IDatatype	CompoundAccess.inferDatatype()
IDatatype	CompoundInitializer.inferDatatype()
abstract IDatatype	ConstraintSyntaxTree.inferDatatype()	Infers the datatype of the subtree represented by this object.
IDatatype	ContainerInitializer.inferDatatype()
IDatatype	ContainerOperationCall.inferDatatype()
IDatatype	EmptyInitializer.inferDatatype()
IDatatype	IfThen.inferDatatype()
IDatatype	Let.inferDatatype()
IDatatype	MultiAndExpression.inferDatatype()
IDatatype	NamedArgument.inferDatatype()
IDatatype	OCLFeatureCall.inferDatatype()
IDatatype	Parenthesis.inferDatatype()
IDatatype	Self.inferDatatype()
IDatatype	UnresolvedExpression.inferDatatype()
IDatatype	Variable.inferDatatype()

Constructors in net.ssehub.easy.varModel.cst that throw CSTSemanticException

Constructor	Description
BlockExpression(ConstraintSyntaxTree[] exprs)	Creates a block expression.
CompoundInitializer(Compound type, java.lang.String[] slots, AbstractVariable[] slotDecls, ConstraintSyntaxTree[] expressions)	Creates a new compound initializer.
ContainerInitializer(Container type, ConstraintSyntaxTree[] expressions)	Creates a new container initializer.
MultiAndExpression(OCLFeatureCall... expressions)	Creates a chained (multi-and) expression.

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

Methods in net.ssehub.easy.varModel.cstEvaluation that throw CSTSemanticException

Modifier and Type	Method	Description
(package private) static IDecisionVariable	VariableValueCopier.copy(IDecisionVariable variable, java.lang.String namePrefix)	Copies the given variable.
private Value	VariableValueCopier.copy(IDecisionVariable source, IDecisionVariable target, VariableValueCopier.IFreezeProvider freezeProvider)	Copies the value of source variable to target variable.
private Value	VariableValueCopier.copySingleVariable(IDecisionVariable source, IDecisionVariable target, VariableValueCopier.IFreezeProvider freezeProvider, boolean adding)	Copies a single variable from source to target and ensures in case of a reference target that a respective variable is created.
ConstraintSyntaxTree	VariableValueCopier.EnumAttributeFreezeProvider.createButExpression(DecisionVariableDeclaration freezeIter)
ConstraintSyntaxTree	VariableValueCopier.IFreezeProvider.createButExpression(DecisionVariableDeclaration freezeIter)	Creates the freeze-but expression.
ConstraintSyntaxTree	VariableValueCopier.SourceBasedFreezeProvider.createButExpression(DecisionVariableDeclaration freezeIter)
private void	VariableValueCopier.doFreeze(VariableValueCopier.IFreezeProvider freezeProvider, Configuration cfg, IDecisionVariable var, IFreezable freezable)	Tries to freeze freezable.
void	VariableValueCopier.process(Configuration config)	Processes a configuration according to the copy specifications.
private void	VariableValueCopier.process(IDecisionVariable variable, IDecisionVariable base, java.lang.String prefix, java.util.Map<java.lang.String,VariableValueCopier.CopySpec> fieldSpecs, java.util.Set<IDecisionVariable> done)	Processes a decision variable.

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

Methods in net.ssehub.easy.varModel.model that throw CSTSemanticException

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.
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.
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 that throw CSTSemanticException

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

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

Methods in net.ssehub.easy.varModel.model.datatypes that throw CSTSemanticException

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