private static EvaluationAccessor |
GenericNumberOperations.absolute(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
(package private) static void |
ContainerOperations.addAll(ContainerOperations.ContainerArgument cnt,
java.util.List<Value> result,
EvaluationAccessor resAcc) |
Adds all elements in cnt to result.
|
(package private) static void |
ContainerOperations.addAll(ContainerOperations.ContainerArgument cnt,
java.util.Set<Value> result,
EvaluationAccessor resAcc) |
Adds all elements in cnt to result.
|
private static void |
SetOperations.addAll(ContainerOperations.ContainerArgument cnt,
java.util.List<Value> result,
java.util.HashSet<Value> done,
EvaluationAccessor resAcc) |
Adds all elements in cnt to result.
|
private static void |
SetOperations.addAllXor(ContainerOperations.ContainerArgument cnt,
java.util.HashSet<Value> set1,
java.util.HashSet<Value> set2,
java.util.List<Value> result,
EvaluationAccessor resAcc) |
Adds all elements from cnt to result if the individual
elements are either in set1 or in set2.
|
void |
EvaluationAccessor.addBoundContainerElement(EvaluationAccessor accessor,
int index) |
Adds the bound container element stored at index in accessor to
this accessor.
|
Value |
ContainerIterators.ClosureIteratorEvaluator.aggregate(EvaluationAccessor result,
Value iter,
EvaluationAccessor value,
java.util.Map<java.lang.Object,java.lang.Object> data) |
|
BooleanValue |
ContainerIterators.CollectIteratorEvaluator.aggregate(EvaluationAccessor result,
Value iter,
EvaluationAccessor value,
java.util.Map<java.lang.Object,java.lang.Object> data) |
|
BooleanValue |
ContainerIterators.NumberIteratorEvaluator.aggregate(EvaluationAccessor result,
Value iter,
EvaluationAccessor value,
java.util.Map<java.lang.Object,java.lang.Object> data) |
|
Value |
IIteratorEvaluator.aggregate(EvaluationAccessor result,
Value iter,
EvaluationAccessor value,
java.util.Map<java.lang.Object,java.lang.Object> data) |
Aggregate value to result.
|
private static EvaluationAccessor |
IntegerOperations.arithmeticOperationIntInt(EvaluationAccessor operand,
EvaluationAccessor[] arguments,
ArithmeticOperationType type) |
Implements arithmetic operations of two integer variables/values.
|
private static EvaluationAccessor |
RealOperations.arithmeticOperationReal(EvaluationAccessor operand,
EvaluationAccessor[] arguments,
ArithmeticOperationType type) |
Implements arithmetic operations of two integer variables/values.
|
private static EvaluationAccessor |
GenericOperations.assign(EvaluationAccessor operand,
EvaluationAccessor[] arguments,
boolean asAssignment) |
Performs a value assignment.
|
void |
EvaluationAccessor.bindContainer(EvaluationAccessor accessor) |
Binds all bound container elements stored in accessor to this accessor.
|
private static EvaluationAccessor |
GenericNumberOperations.comparisionOperation(EvaluationAccessor operand,
EvaluationAccessor[] arguments,
GenericNumberOperations.INumberComparator strategy) |
Compares two numbers.
|
private static EvaluationAccessor |
ContainerOperations.convert(EvaluationAccessor operand,
IDatatype targetType) |
Performs the conversion of the operand to the given (container) datatype.
|
private CustomOperation |
EvaluationVisitor.dynamicDispatch(CustomOperation operation,
EvaluationAccessor[] args) |
Performs a dynamic dispatch of operation according to the given actual arguments in
args, i.e., this method searches and returns a method that fits better to the actual
arguments then the statically bound operation.
|
(package private) static EvaluationAccessor |
GenericOperations.equals(EvaluationAccessor operand,
EvaluationAccessor[] arguments,
boolean negate) |
Implements a generic equality operation for basic values (excluding compounds and containers).
|
private static boolean |
StringOperations.equalsIgnoreCase(java.lang.String s1,
java.lang.String s2,
EvaluationAccessor accessor) |
Compares two strings without considering cases using the locale given by the evaluation accessor.
|
(package private) static EvaluationAccessor |
IntegerOperations.equalsIntReal(EvaluationAccessor operand,
EvaluationAccessor[] arguments,
boolean negate) |
Implements the mixed int-real equality operation.
|
(package private) static EvaluationAccessor |
RealOperations.equalsRealInt(EvaluationAccessor operand,
EvaluationAccessor[] arguments,
boolean negate) |
Implements the mixed int-real equality operation.
|
EvaluationAccessor |
BooleanOperations.BinaryOperationEvaluator.evaluate(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
EvaluationAccessor |
ContainerOperations.CalcEvaluator.evaluate(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
void |
ContainerOperations.Container2Operation.evaluate(ContainerOperations.ContainerArgument c1,
ContainerOperations.ContainerArgument c2,
java.util.List<Value> result,
EvaluationAccessor resultAccessor) |
Evaluates the specific function on two container values possibly modifying result.
|
EvaluationAccessor |
ContainerOperations.Container2OperationEvaluator.evaluate(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
void |
ContainerOperations.ContainerValueOperation.evaluate(ContainerOperations.ContainerArgument cont,
Value value,
java.util.List<Value> result,
EvaluationAccessor resAcc) |
Evaluates the specific function on a container and a value possibly modifying result.
|
EvaluationAccessor |
ContainerOperations.ContainerValueOperationEvaluator.evaluate(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
EvaluationAccessor |
ContainerOperations.FindOperationEvaluator.evaluate(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
EvaluationAccessor |
ContainerOperations.FlattenOperationEvaluator.evaluate(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
EvaluationAccessor |
ContainerOperations.IncludesAllOperationEvaluator.evaluate(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
EvaluationAccessor |
ContainerOperations.IsEmptyOperationEvaluator.evaluate(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
EvaluationAccessor |
ContainerOperations.TypeSelectEvaluator.evaluate(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
EvaluationAccessor |
EnumOperations.EnumComparisonOperation.evaluate(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
EvaluationAccessor |
EnumOperations.MinMaxEvaluator.evaluate(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
EvaluationAccessor |
FreezeVarOperations.NameOperationEvaluator.evaluate(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
EvaluationAccessor |
IOperationEvaluator.evaluate(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
Evaluates an operation.
|
EvaluationAccessor |
StringOperations.CaseChange.evaluate(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
EvaluationAccessor |
StringOperations.CompareOperation.evaluate(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
EvaluationAccessor |
VersionOperations.VersionEvaluator.evaluate(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
private boolean |
EvaluationVisitor.evaluateArguments(OCLFeatureCall call,
Operation op,
EvaluationAccessor operand,
EvaluationAccessor[] args) |
Evaluates the arguments.
|
private void |
EvaluationVisitor.evaluateCustomOperation(CustomOperation operation,
EvaluationAccessor operand,
EvaluationAccessor[] args) |
Evaluates the given custom operation.
|
private boolean |
EvaluationVisitor.ContainerIterationExecutor.evaluateIterator(int iter,
Value iterVal,
IDecisionVariable iterVar,
int maxIter,
boolean setSelf,
EvaluationAccessor rVar) |
Evaluates an iterator.
|
(package private) static EvaluationAccessor |
ContainerOperations.found(EvaluationAccessor operand,
EvaluationAccessor[] arguments,
boolean negate) |
Returns whether the first argument value can be found in the operand given that operand
is a container.
|
private EvaluationAccessor |
EvaluationVisitor.getAccessor(EvaluationAccessor accessor,
ConstraintSyntaxTree expression) |
Returns an evaluation accessor for expression if accessor is not already determined.
|
private java.lang.Integer |
VariableAccessor.getIndex(ContainerValue value,
EvaluationAccessor accessor) |
Returns the (valid) index from accessor for value.
|
EvaluationAccessor |
CompoundSlotAccessor.getValue(EvaluationAccessor accessor) |
|
EvaluationAccessor |
ConstantAccessor.getValue(EvaluationAccessor accessor) |
|
EvaluationAccessor |
EvaluationAccessor.getValue(EvaluationAccessor accessor) |
Returns a nested value based on the given accessor.
|
EvaluationAccessor |
VariableAccessor.getValue(EvaluationAccessor accessor) |
|
private boolean |
EvaluationVisitor.handleBinaryBoolean(EvaluationAccessor operand,
OCLFeatureCall call) |
|
(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 void |
ContainerIterators.ClosureIteratorEvaluator.handleResult(boolean changed,
EvaluationAccessor result,
EvaluationAccessor value,
int index) |
Handles the bound container elements of result.
|
private static EvaluationAccessor |
GenericNumberOperations.inverse(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
|
private static boolean |
GenericOperations.isAssignableCompound(EvaluationAccessor operand) |
Returns true if EvaluationAccessor is a compound and
all compounds nested elements are undefined.
|
static java.lang.String |
GenericOperations.localeToString(EvaluationAccessor accessor) |
Turns the locale of the accessor/context into a string.
|
private static EvaluationAccessor |
ContainerOperations.max(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
Performs the MAX operation the given (container) datatype.
|
private static EvaluationAccessor |
ContainerOperations.min(EvaluationAccessor operand,
EvaluationAccessor[] arguments) |
Performs the MIN operation the given (container) datatype.
|
private static EvaluationAccessor |
IntegerOperations.minmaxOperationIntInt(EvaluationAccessor operand,
EvaluationAccessor[] arguments,
boolean min) |
Implements min/max operations of two integer variables/values.
|
private static EvaluationAccessor |
RealOperations.minmaxOperationReal(EvaluationAccessor operand,
EvaluationAccessor[] arguments,
boolean min) |
Implements min/max operations of two integer/real variables/values.
|
void |
ContainerIterators.CollectingIteratorEvaluator.postProcessResult(EvaluationAccessor result,
java.util.Map<java.lang.Object,java.lang.Object> data) |
|
void |
ContainerIterators.NumberIteratorEvaluator.postProcessResult(EvaluationAccessor result,
java.util.Map<java.lang.Object,java.lang.Object> data) |
|
void |
IIteratorEvaluator.postProcessResult(EvaluationAccessor result,
java.util.Map<java.lang.Object,java.lang.Object> data) |
Called to post-process the actual result at the end after the last iteration.
|
(package private) void |
ContextStack.push(EvaluationAccessor ex) |
Pushes a context frame for the given expression.
|
(package private) static void |
EvaluationUtils.release(EvaluationAccessor[] accessors) |
Releases a bunch of accessors.
|
private static EvaluationAccessor |
RealOperations.round(EvaluationAccessor operand,
EvaluationAccessor[] arguments,
boolean roundUp) |
Implements arithmetic operations of two integer variables/values.
|
protected void |
EvaluationVisitor.setResultAcessor(EvaluationAccessor result) |
Defines the result accessor and overrides an existing accessor.
|
void |
EvaluationAccessor.setValue(EvaluationAccessor accessor,
Value value) |
Changes a nested value based on the given accessor.
|
void |
VariableAccessor.setValue(EvaluationAccessor accessor,
Value value) |
Changes a nested value based on the given accessor.
|
(package private) ContainerOperations.ContainerArgument |
ContainerOperations.ContainerArgument.setValues(ContainerValue value,
EvaluationAccessor accessor) |
Sets the values of this argument.
|