Package net.ssehub.easy.varModel.cstEvaluation

package net.ssehub.easy.varModel.cstEvaluation

Implements the evaluation of constraint syntax trees. Operations evaluators to be considered shall be registered with the evaluator registry. Indeed, we will repeat some code for implementing the operations, but we fear that the more generic versions will be slower as they imply either repeated array creation or polymorphic calls. Typically, one can rely on that the types passed into an operation evaluator comply to the types of the operation as the compliance is checked during the creation of the constraint syntax tree. To avoid index access and type cast exceptions, we check for the argument number and types anyway and return null in case of problems (that shall typically not occur).

Related Packages

Package	Description
net.ssehub.easy.varModel	Base directory for the variability model. Currently supported Models: Variability Model Configuration Model

Class	Description
AbstractDecisionVariableEvaluationAccessor	An accessor based on a decision variable.
ArithmeticOperationType	Basic (number) operations.
BooleanOperations	Implements Boolean operations.
BooleanOperations.BinaryBooleanOperation	Defines the interface for a binary boolean operation.
BooleanOperations.BinaryOperationEvaluator	Generically implements binary Boolean operations.
CollectionElementVariable	A temporary variable representing a value of a container.
CompoundOperations	Implements compound operations.
CompoundSlotAccessor	Implements an accessor for decision variables.
ConstantAccessor	Implements an accessor for constant values.
ConstantValueResolver	Implements a constant value resolution visitor.
ConstraintOperations	Implements constraint operations.
ContainerElementAccessor	Implements an accessor for decision variables.
ContainerIterators	Implements the container iterators.
ContainerIterators.ClosureIteratorEvaluator	Implements a basic closure iterator which can stop on a cycle.
ContainerIterators.CollectingIteratorEvaluator	Implements an evaluator adaptor for collecting operations.
ContainerIterators.CollectIteratorEvaluator	Implements Container.SELECT and Container.REJECT.
ContainerIterators.DefaultValueComparator	The default value comparator for any value based on StringProvider.
ContainerIterators.NumberIteratorEvaluator	A number aggregating iterator.
ContainerOperations	Implements the default container operations.
ContainerOperations.CalcEvaluator	Implements a container calculation evaluator (just as needed for now).
ContainerOperations.Container2Operation	Defines a container/container operation.
ContainerOperations.Container2OperationEvaluator	Implements a container/container operation generically.
ContainerOperations.ContainerArgument	A combined container value / accessor.
ContainerOperations.ContainerValueOperation	Defines a container/value operation.
ContainerOperations.ContainerValueOperationEvaluator	Implements a container/value operation generically.
ContainerOperations.FindOperationEvaluator	Implements the "includes"/"excludes" function.
ContainerOperations.FlattenOperationEvaluator	Implements the "flattens" operation.
ContainerOperations.IncludesAllOperationEvaluator	Implements the "includesAll"/"excludesAll" function.
ContainerOperations.IsEmptyOperationEvaluator	Implements the "isEmpty"/"notEmpty" function.
ContainerOperations.TypeSelectEvaluator	Implements the typeSelection operation.
ContextStack	Realizes a context stack for evaluating nested self expressions.
ContextStack.StackFrame	Implements a poolable stack frame.
DispatchInformation	Calculates the dynamic dispatch of a custom operation.
EnumOperations	Implements enum and ordered enum operations.
EnumOperations.BinaryEnumComparisonOperation	Defines the evaluation of a binary enum (literal) operation.
EnumOperations.EnumComparisonOperation	Implements the generic enum comparison operation based on EnumOperations.BinaryEnumComparisonOperation.
EnumOperations.MinMaxEvaluator	Implements OrderedEnum.MIN.
EvaluationAccessor	Defines a unified accessor to variables, constants, slots etc.
EvaluationContext	Some basic functionality required by the evaluators without exposing the EvaluationVisitor.
EvaluationUtils	Some evaluation utility methods.
EvaluationUtils.VariableReplacer	Implements a variable replacer.
EvaluationVisitor	Evaluation visitor for IVML expressions.
EvaluationVisitor.CompoundSlotInit
EvaluationVisitor.Message	Extended Message class for saving variables that fail in assignments.
EvaluatorRegistry	Allows to register, query and unregister evaluators for IVML operations.
FreezeEvaluator	Implements a freeze selector based on expression evaluation.
FreezeVarOperations	Implements the operations of the internal freeze variable type.
FreezeVarOperations.NameOperationEvaluator	Implements the operation evaluator for variable names.
GenericNumberOperations	Generic Number (IntegerType, RealType) operations.
GenericNumberOperations.INumberComparator	Strategy for comparing two numbers.
GenericOperations	Generic operation implementation for the individual types.
IConstraintEvaluator	Interface to the constraint evaluator to avoid unnecessary access when passing along an evaluation visitor.
IEvaluationInterceptor	An evaluation interceptor may step into the expression evaluation at certain points in time to modify setting/getting values.
IIteratorEvaluator	Provides an iterator aggregation function.
IndexAccessor	Implements an accessor for index access.
IntegerOperations	Implements integer operations.
IOperationEvaluator	Evaluates an IVML operation.
IResolutionListener	Informs interested parties about the resolution of a variable to a decision variable.
IterLet	Implements a specific expression for defining local variables with variable initialization expressions in iterator expressions.
IValueChangeListener	Is called when the EvaluationVisitor changes a value in the configuration.
IValueChangeListener.ChangeKind	Indicates the kind of the change.
ListWrapperValue	Special wrapper value for lists.
LocalConfiguration	Creates a local configuration instance.
LocalDecisionVariable	A local decision variable representing a parameter or a local variable.
MetaTypeOperations	Implements the meta type operations.
RealOperations	Implements real operations.
ReferenceOperations	Implements reference operations.
SequenceOperations	Implements sequence operations.
SetOperations	Implements set operations.
StaticAccessFinder	Finds variables with static access in the given expression.
StringOperations	Implements string operations.
StringOperations.CaseChange	Implements the case change operations.
StringOperations.CompareOperation	Implements the string compare operations.
VariableAccessor	Implements an accessor for decision variables.
VariableValueCopier	Copies specified variable values, i.e., single variables to a single variable or a compatible container or a container to a container.
VariableValueCopier.CopySpec	Defines a copy specification.
VariableValueCopier.EnumAttributeFreezeProvider	A default freeze provider for but-expressions based on attributes of type enum.
VariableValueCopier.IAssignmentListener	Optional listener interface to generically track primary value assignments.
VariableValueCopier.IFreezeProvider	An interface providing information to create freeze blocks for new variables.
VariableValueCopier.SourceBasedFreezeProvider	A freeze provider based on known frozen assignment states.
VersionOperations	Implements version operations.
VersionOperations.IVersionResultConverter	A version evaluation result validator.
VersionOperations.VersionEvaluator	Evaluates a version operation.