Uses of Class
net.ssehub.easy.varModel.model.datatypes.Operation
Packages that use Operation
Package
Description
Package for elements of the constraint syntax tree.
Implements the evaluation of constraint syntax trees.
Base directory for the main datatype classes.
-
Uses of Operation in net.ssehub.easy.varModel.cst
Fields in net.ssehub.easy.varModel.cst declared as OperationModifier and TypeFieldDescriptionprivate OperationContainerOperationCall.resolvedOperationprivate OperationOCLFeatureCall.resolvedOperationMethods in net.ssehub.easy.varModel.cst that return OperationModifier and TypeMethodDescriptionprivate OperationOCLFeatureCall.checkOperand(Operation op, IDatatype operandType, IDatatype[] paramTypes) If required, checks the operand against the operation result type.private OperationOCLFeatureCall.customInferDatatype(boolean fallback) Performs the infer operation for custom operations only, i.e.private OperationOCLFeatureCall.getCustomOperation(ICustomOperationAccessor accessor, IDatatype[] paramTypes, int opInc) Searches for a custom operation onaccessor.private OperationOCLFeatureCall.getCustomOperation(ICustomOperationAccessor accessor, IDatatype[] paramTypes, HashSet<ICustomOperationAccessor> done, int opInc) Searches for a custom operation onaccessorand, if not found, on the imports ofaccessor.private OperationOCLFeatureCall.getCustomOperationOnImports(ICustomOperationAccessor accessor, IDatatype[] paramTypes, HashSet<ICustomOperationAccessor> done, int opInc) Finds an operation viaaccessorimports.ContainerOperationCall.getResolvedOperation()Returns the resolved operation.OCLFeatureCall.getResolvedOperation()Returns the resolved operation.Methods in net.ssehub.easy.varModel.cst with parameters of type OperationModifier and TypeMethodDescriptionprivate OperationOCLFeatureCall.checkOperand(Operation op, IDatatype operandType, IDatatype[] paramTypes) If required, checks the operand against the operation result type.private voidOCLFeatureCall.checkRequiredAssignableParameter(Operation op, IDatatype operandType, IDatatype[] paramTypes) Checks the operation for required assignable parameter if required.static voidOCLFeatureCall.checkTypeCompliance(Operation op, IDatatype operandType, IDatatype[] parameterTypes) Performs specific type compliance checks for found operations, e.g., in case of equality or assignments.private IDatatypeOCLFeatureCall.getActualReturnType(Operation op, IDatatype immediateOperand, IDatatype... parameter) Determines the actual return type and considers the actual type of meta type parameters.private IDatatypeOCLFeatureCall.getParameterType(Operation tmp, int index, int requiredParamCount, int opInc) Returns the parameter type oftmpat positionindexconsidering named and positional parameters.private voidOCLFeatureCall.replaceEmptyInitializer(Operation op) Replaces (temporary) empty initializers.voidOCLFeatureCall.setResolvedOperation(Operation op) Explicitly setting the resolved operation. -
Uses of Operation in net.ssehub.easy.varModel.cstEvaluation
Fields in net.ssehub.easy.varModel.cstEvaluation with type parameters of type OperationModifier and TypeFieldDescriptionprivate static final Map<Operation, IIteratorEvaluator> EvaluatorRegistry.ITER_EVALUATORSprivate static final Map<Operation, IOperationEvaluator> EvaluatorRegistry.OP_EVALUATORSMethods in net.ssehub.easy.varModel.cstEvaluation with parameters of type OperationModifier and TypeMethodDescriptionprivate booleanEvaluationVisitor.evaluateArguments(OCLFeatureCall call, Operation op, EvaluationAccessor operand, EvaluationAccessor[] args) Evaluates the arguments.protected IIteratorEvaluatorEvaluationVisitor.getIteratorEvaluator(Operation operation) Returns the iterator evaluator for the givenoperation.static IIteratorEvaluatorEvaluatorRegistry.getIteratorEvaluator(Operation operation) Returns the registered iterator evaluator for the given operation.protected IOperationEvaluatorEvaluationVisitor.getOperationEvaluator(Operation operation) Returns the operation evaluator for the givenoperation.static IOperationEvaluatorEvaluatorRegistry.getOperationEvaluator(Operation operation) Returns the registered operation evaluator for the given operation.static voidEvaluatorRegistry.registerEvaluator(IIteratorEvaluator evaluator, Operation... operations) Registers an evaluator (but only ifevaluatoris not null).static voidEvaluatorRegistry.registerEvaluator(IOperationEvaluator evaluator, Operation... operations) Registers an evaluator (but only ifevaluatoris not null).(package private) booleanEvaluationVisitor.EvaluationContextImpl.setAllowPropagation(Operation op, boolean inPropagation) Changes the propagation state of this context.private booleanEvaluationVisitor.setAllowPropagation(Operation op, boolean allow) Encapsulates a null context (some of the model test cases). -
Uses of Operation in net.ssehub.easy.varModel.model.datatypes
Subclasses of Operation in net.ssehub.easy.varModel.model.datatypesModifier and TypeClassDescriptionclassImplements a non-static custom operation subject to dynamic dispatch while evaluation.classRepresents a custom operation as defined in the IVML model.classDescribes an operation that returns a set as collection, i.e., that does not dynamically choose, e.g., based on the operand type.Fields in net.ssehub.easy.varModel.model.datatypes declared as OperationModifier and TypeFieldDescriptionstatic final OperationIntegerType.ABS_INTEGER_INTEGERstatic final OperationRealType.ABS_REAL_REALstatic final OperationSequence.ADDstatic final OperationSet.ADDstatic final OperationMetaType.ALL_INSTANCESstatic final OperationBooleanType.ANDstatic final OperationContainer.ANYstatic final OperationSequence.APPENDstatic final OperationContainer.APPLYstatic final OperationSequence.AS_SEQUENCEstatic final OperationSet.AS_SEQUENCEstatic final OperationSequence.AS_SETstatic final OperationSet.AS_SETstatic final OperationAnyType.AS_TYPEstatic final OperationAnyType.ASSIGNMENTstatic final OperationBooleanType.ASSIGNMENTstatic final OperationCompound.ASSIGNMENTstatic final OperationConstraintType.ASSIGNMENTstatic final OperationEnum.ASSIGNMENTstatic final OperationReference.ASSIGNMENTstatic final OperationSequence.ASSIGNMENTstatic final OperationSet.ASSIGNMENTstatic final OperationStringType.ASSIGNMENTstatic final OperationIntegerType.ASSIGNMENT_INTEGER_INTEGERstatic final OperationRealType.ASSIGNMENT_REAL_INTEGERstatic final OperationRealType.ASSIGNMENT_REAL_REALstatic final OperationSequence.ATstatic final OperationStringType.ATstatic final OperationContainer.AVGstatic final OperationStringType.CHARACTERSstatic final OperationContainer.CLOSUREstatic final OperationContainer.COLLECTstatic final OperationContainer.COLLECT_NESTEDstatic final OperationStringType.CONCATstatic final OperationBooleanType.COPYstatic final OperationCompound.COPYstatic final OperationContainer.COPYstatic final OperationIntegerType.COPYstatic final OperationRealType.COPYstatic final OperationReference.COPYstatic final OperationStringType.COPYstatic final OperationContainer.COUNTstatic final OperationSet.DIFFERENCEstatic final OperationIntegerType.DIV_INTEGER_INTEGERstatic final OperationIntegerType.DIV_INTEGER_REALstatic final OperationRealType.DIV_REAL_INTEGERstatic final OperationRealType.DIV_REAL_REALstatic final OperationIntegerType.DIVREAL_INTEGER_INTEGERstatic final OperationAnyType.EQUALSstatic final OperationBooleanType.EQUALSstatic final OperationCompound.EQUALSstatic final OperationConstraintType.EQUALSstatic final OperationEnum.EQUALSstatic final OperationMetaType.EQUALSstatic final OperationReference.EQUALSstatic final OperationSequence.EQUALSstatic final OperationSet.EQUALSstatic final OperationStringType.EQUALSstatic final OperationVersionType.EQUALSstatic final OperationStringType.EQUALS_IGNORE_CASEstatic final OperationIntegerType.EQUALS_INTEGER_INTEGERstatic final OperationIntegerType.EQUALS_INTEGER_REALstatic final OperationRealType.EQUALS_REAL_INTEGERstatic final OperationRealType.EQUALS_REAL_REALstatic final OperationContainer.EXCLUDESstatic final OperationContainer.EXCLUDES_ALLstatic final OperationSequence.EXCLUDINGstatic final OperationSet.EXCLUDINGstatic final OperationContainer.EXISTSstatic final OperationSequence.FIRSTstatic final OperationSequence.FLATTENstatic final OperationSet.FLATTENstatic final OperationRealType.FLOORstatic final OperationContainer.FORALLstatic final OperationAnyType.GET_LOCALEstatic final OperationOrderedEnum.GREATERstatic final OperationStringType.GREATERstatic final OperationVersionType.GREATERstatic final OperationOrderedEnum.GREATER_EQUALSstatic final OperationStringType.GREATER_EQUALSstatic final OperationVersionType.GREATER_EQUALSstatic final OperationIntegerType.GREATER_EQUALS_INTEGER_INTEGERstatic final OperationIntegerType.GREATER_EQUALS_INTEGER_REALstatic final OperationRealType.GREATER_EQUALS_REAL_INTEGERstatic final OperationRealType.GREATER_EQUALS_REAL_REALstatic final OperationIntegerType.GREATER_INTEGER_INTEGERstatic final OperationIntegerType.GREATER_INTEGER_REALstatic final OperationRealType.GREATER_REAL_INTEGERstatic final OperationRealType.GREATER_REAL_REALstatic final OperationSequence.HAS_DUPLICATESstatic final OperationBooleanType.IF_DEFINEDstatic final OperationCompound.IF_DEFINEDstatic final OperationConstraintType.IF_DEFINEDstatic final OperationContainer.IF_DEFINEDstatic final OperationEnum.IF_DEFINEDstatic final OperationIntegerType.IF_DEFINEDstatic final OperationRealType.IF_DEFINEDstatic final OperationReference.IF_DEFINEDstatic final OperationStringType.IF_DEFINEDstatic final OperationBooleanType.IFFstatic final OperationBooleanType.IMPLIESstatic final OperationContainer.INCLUDESstatic final OperationContainer.INCLUDES_ALLstatic final OperationSequence.INCLUDINGstatic final OperationSet.INCLUDINGstatic final OperationSequence.INDEX_ACCESSstatic final OperationSequence.INDEX_OFstatic final OperationStringType.INDEX_OFstatic final OperationSequence.INSERT_ATstatic final OperationSet.INTERSECTIONstatic final OperationIntegerType.INVERSE_INTEGERstatic final OperationRealType.INVERSE_REALstatic final OperationContainer.IS_ACYCLICstatic final OperationBooleanType.IS_DEFINEDstatic final OperationCompound.IS_DEFINEDstatic final OperationConstraintType.IS_DEFINEDstatic final OperationContainer.IS_DEFINEDstatic final OperationEnum.IS_DEFINEDstatic final OperationIntegerType.IS_DEFINEDstatic final OperationRealType.IS_DEFINEDstatic final OperationReference.IS_DEFINEDstatic final OperationStringType.IS_DEFINEDstatic final OperationContainer.IS_EMPTYstatic final OperationAnyType.IS_KIND_OFstatic final OperationAnyType.IS_TYPE_OFstatic final OperationContainer.IS_UNIQUEstatic final OperationSequence.ISSUBSEQUENCEstatic final OperationContainer.ITERATEstatic final OperationSequence.LASTstatic final OperationOrderedEnum.LESSstatic final OperationStringType.LESSstatic final OperationVersionType.LESSstatic final OperationOrderedEnum.LESS_EQUALSstatic final OperationStringType.LESS_EQUALSstatic final OperationVersionType.LESS_EQUALSstatic final OperationIntegerType.LESS_EQUALS_INTEGER_INTEGERstatic final OperationIntegerType.LESS_EQUALS_INTEGER_REALstatic final OperationRealType.LESS_EQUALS_REAL_INTEGERstatic final OperationRealType.LESS_EQUALS_REAL_REALstatic final OperationIntegerType.LESS_INTEGER_INTEGERstatic final OperationIntegerType.LESS_INTEGER_REALstatic final OperationRealType.LESS_REAL_INTEGERstatic final OperationRealType.LESS_REAL_REALstatic final OperationStringType.MATCHESstatic final OperationContainer.MAXstatic final OperationOrderedEnum.MAXstatic final OperationIntegerType.MAX_INTEGER_INTEGERstatic final OperationIntegerType.MAX_INTEGER_REALstatic final OperationRealType.MAX_REAL_INTEGERstatic final OperationRealType.MAX_REAL_REALstatic final OperationContainer.MAX2static final OperationContainer.MINstatic final OperationOrderedEnum.MINstatic final OperationIntegerType.MIN_INTEGER_INTEGERstatic final OperationIntegerType.MIN_INTEGER_REALstatic final OperationRealType.MIN_REAL_INTEGERstatic final OperationRealType.MIN_REAL_REALstatic final OperationContainer.MIN2static final OperationIntegerType.MINUS_INTEGER_INTEGERstatic final OperationIntegerType.MINUS_INTEGER_REALstatic final OperationRealType.MINUS_REAL_INTEGERstatic final OperationRealType.MINUS_REAL_REALstatic final OperationIntegerType.MOD_INTEGER_INTEGERstatic final OperationIntegerType.MOD_INTEGER_REALstatic final OperationRealType.MOD_REAL_INTEGERstatic final OperationRealType.MOD_REAL_REALstatic final OperationIntegerType.MULT_INTEGER_INTEGERstatic final OperationIntegerType.MULT_INTEGER_REALstatic final OperationRealType.MULT_REAL_INTEGERstatic final OperationRealType.MULT_REAL_REALstatic final OperationFreezeVariableType.NAMEstatic final OperationFreezeVariableType.NAME2static final OperationBooleanType.NOTstatic final OperationContainer.NOT_EMPTYstatic final OperationAnyType.NOTEQUALSstatic final OperationCompound.NOTEQUALSstatic final OperationEnum.NOTEQUALSstatic final OperationMetaType.NOTEQUALSstatic final OperationAnyType.NOTEQUALS_ALIASstatic final OperationCompound.NOTEQUALS_ALIASstatic final OperationEnum.NOTEQUALS_ALIASstatic final OperationMetaType.NOTEQUALS_ALIASstatic final OperationIntegerType.NOTEQUALS_INTEGER_INTEGERstatic final OperationIntegerType.NOTEQUALS_INTEGER_INTEGER_ALIASstatic final OperationIntegerType.NOTEQUALS_INTEGER_REALstatic final OperationIntegerType.NOTEQUALS_INTEGER_REAL_ALIASstatic final OperationRealType.NOTEQUALS_REAL_INTEGERstatic final OperationRealType.NOTEQUALS_REAL_INTEGER_ALIASstatic final OperationRealType.NOTEQUALS_REAL_REALstatic final OperationRealType.NOTEQUALS_REAL_REAL_ALIASstatic final OperationContainer.ONEstatic final OperationBooleanType.ORstatic final OperationEnum.ORDINALstatic final OperationSequence.OVERLAPSstatic final OperationStringType.PLUSstatic final OperationIntegerType.PLUS_INTEGER_INTEGERstatic final OperationIntegerType.PLUS_INTEGER_REALstatic final OperationRealType.PLUS_REAL_INTEGERstatic final OperationRealType.PLUS_REAL_REALstatic final OperationSequence.PREPENDstatic final OperationContainer.PRODUCTstatic final OperationFreezeVariableType.QNAMEstatic final OperationFreezeVariableType.QNAME2static final OperationReference.REF_BYstatic final OperationContainer.REJECTstatic final OperationSequence.REVERSEstatic final OperationRealType.ROUNDstatic final OperationContainer.SELECTstatic final OperationContainer.SELECT_BY_KINDstatic final OperationContainer.SELECT_BY_TYPEstatic final OperationAnyType.SET_LOCALEstatic final OperationContainer.SIZEstatic final OperationStringType.SIZEstatic final OperationContainer.SORTED_BYstatic final OperationSequence.SUBSEQUENCEstatic final OperationStringType.SUBSTITUTESstatic final OperationStringType.SUBSTRINGstatic final OperationContainer.SUMstatic final Operationstatic final OperationStringType.TO_BOOLEANstatic final OperationStringType.TO_INTEGERstatic final OperationStringType.TO_LOWER_CASEstatic final OperationStringType.TO_REALstatic final OperationSequence.TO_SEQUENCEstatic final OperationSet.TO_SEQUENCEstatic final OperationSequence.TO_SETstatic final OperationSet.TO_SETstatic final OperationBooleanType.TO_STRINGstatic final OperationIntegerType.TO_STRINGstatic final OperationRealType.TO_STRINGstatic final OperationStringType.TO_STRINGstatic final OperationStringType.TO_UPPER_CASEstatic final OperationBooleanType.TYPE_OFstatic final OperationCompound.TYPE_OFstatic final OperationConstraintType.TYPE_OFstatic final OperationContainer.TYPE_OFstatic final OperationEnum.TYPE_OFstatic final OperationIntegerType.TYPE_OFstatic final OperationRealType.TYPE_OFstatic final OperationReference.TYPE_OFstatic final OperationStringType.TYPE_OFstatic final OperationContainer.TYPE_REJECTstatic final OperationContainer.TYPE_SELECTstatic final OperationBooleanType.UNEQUALSstatic final OperationConstraintType.UNEQUALSstatic final OperationContainer.UNEQUALSstatic final OperationReference.UNEQUALSstatic final OperationStringType.UNEQUALSstatic final OperationVersionType.UNEQUALSstatic final OperationBooleanType.UNEQUALS_ALIASstatic final OperationConstraintType.UNEQUALS_ALIASstatic final OperationContainer.UNEQUALS_ALIASstatic final OperationReference.UNEQUALS_ALIASstatic final OperationStringType.UNEQUALS_ALIASstatic final OperationVersionType.UNEQUALS_ALIASstatic final OperationSequence.UNIONstatic final OperationSet.UNIONstatic final OperationBooleanType.WARNINGstatic final OperationBooleanType.XORFields in net.ssehub.easy.varModel.model.datatypes with type parameters of type OperationModifier and TypeFieldDescriptionOperation.aliasOperation.aliasOperation.allOperationsDelegatingType.operationListMethods in net.ssehub.easy.varModel.model.datatypes that return OperationModifier and TypeMethodDescriptionstatic OperationOperation.createInfixOperator(IDatatype returns, String name, IDatatype operand, IDatatype... parameters) Creates an infix operator (descriptor).static OperationOperation.createPostfixOperator(IDatatype returns, String name, IDatatype operand, IDatatype... parameters) Creates a postfix operator (descriptor).static OperationOperation.createPrefixOperator(IDatatype returns, String name, IDatatype operand, IDatatype... parameters) Creates a prefix operator (descriptor).static OperationReturns the alias defined for the given operation has.private OperationDelegatingType.getAllOperation(int index) Returns the operation at positionindexand considers also parent operations.final OperationBasisDatatype.getOperation(int index) final OperationCustomDatatype.getOperation(int index) DelegatingType.getOperation(int index) IDatatype.getOperation(int index) Returns the operation specified byindex.static OperationOperation.getOperation(int index) Returns the specified defined operation.static OperationTypeQueries.getOperation(IDatatype operand, String name, IDatatype... parameter) Returns an operation defined onoperandwith givennameandparameters.(package private) OperationOperation.markAsAcceptsNull()Marks that this operation accepts null as argument.(package private) OperationOperation.markAsAliasOf(Operation op) Marks this operation as an alias ofop, indicating that this operation is a potential a risk for breaking OCL compliance.(package private) OperationOperation.markAsAssignableParameterOperation()Marks that this operation requires assignable parameter types.(package private) OperationOperation.markAsContainerOperation()Marks this operation as a container iterating operation.(package private) OperationOperation.markAsFallback()Marks this operation as a fallback operation, seeisFallback()for an explanation.(package private) OperationOperation.markAsFlatteningContainerOperation()Marks this operation as a flattening container iterating operation.(package private) OperationOperation.markAsNestingContainerOperation()Marks this operation as a flattening container iterating operation.(package private) OperationOperation.markByFormattingHint(Operation.FormattingHint formattingHint) Marks this operation by a formatting hint.Methods in net.ssehub.easy.varModel.model.datatypes with parameters of type OperationModifier and TypeMethodDescription(package private) voidDelegatingType.addOperation(Operation operator) Allows child classes to add Operations to itself.static OperationReturns the alias defined for the given operation has.(package private) OperationOperation.markAsAliasOf(Operation op) Marks this operation as an alias ofop, indicating that this operation is a potential a risk for breaking OCL compliance.(package private) voidDelegatingType.prependOperation(Operation operator) Allows child classes to add Operations to itself.