Uses of Class
net.ssehub.easy.varModel.model.datatypes.Operation
-
Packages that use Operation Package Description de.uni_hildesheim.sse.translation The mechanisms needed to translate an IVML Ecore model into an IVML object model.de.uni_hildesheim.sse.ui.contentassist net.ssehub.easy.instantiation.serializer.xml.converter This package contains all converters that are needed for serialization.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.datatypes Base directory for the main datatype classes. -
-
Uses of Operation in de.uni_hildesheim.sse.translation
Methods in de.uni_hildesheim.sse.translation with parameters of type Operation Modifier and Type Method Description private voidExpressionTranslator. checkOperationOclCompliance(Operation op, org.eclipse.emf.ecore.EObject cause, org.eclipse.emf.ecore.EStructuralFeature feature)Checks for OCL operation compliance and issues a warning if violated and compliance mode is enabled.private booleanModelTranslator. findOperation(IDatatype datatype, Operation operation, boolean considerOperand)Finds an operation on a given datatype. -
Uses of Operation in de.uni_hildesheim.sse.ui.contentassist
Methods in de.uni_hildesheim.sse.ui.contentassist that return types with arguments of type Operation Modifier and Type Method Description private java.util.List<Operation>IvmlProposalProvider. getAllOperationsCleaned()Returns all operations for all registered types in the IVML_DATATYPES Array.Methods in de.uni_hildesheim.sse.ui.contentassist with parameters of type Operation Modifier and Type Method Description private booleanIvmlProposalProvider. getOperationType(java.lang.String operationType, Operation operation)Returns if the given operationtype matches to the given operation. -
Uses of Operation in net.ssehub.easy.instantiation.serializer.xml.converter
Fields in net.ssehub.easy.instantiation.serializer.xml.converter with type parameters of type Operation Modifier and Type Field Description private static java.util.Map<java.lang.String,Operation>OperationConverter. OPERATIONSStores the signature-operation-mappings.Methods in net.ssehub.easy.instantiation.serializer.xml.converter with parameters of type Operation Modifier and Type Method Description private static java.lang.StringOperationConverter. getSignature(Operation operation)Returns the signature of an operation. -
Uses of Operation in net.ssehub.easy.reasoning.sseReasoner.model
Methods in net.ssehub.easy.reasoning.sseReasoner.model with parameters of type Operation Modifier and Type Method Description static ContainerOperationCallReasoningUtils. createContainerCall(ConstraintSyntaxTree container, Operation op, ConstraintSyntaxTree iterEx, DecisionVariableDeclaration... decl)Creates a container operation call ("shortcut"). -
Uses of Operation in net.ssehub.easy.varModel.cst
Fields in net.ssehub.easy.varModel.cst declared as Operation Modifier and Type Field Description private OperationContainerOperationCall. resolvedOperationprivate OperationOCLFeatureCall. resolvedOperationMethods in net.ssehub.easy.varModel.cst that return Operation Modifier and Type Method Description private 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, java.util.HashSet<ICustomOperationAccessor> done, int opInc)Searches for a custom operation onaccessorand, if not found, on the imports ofaccessor.OperationContainerOperationCall. getResolvedOperation()Returns the resolved operation.OperationOCLFeatureCall. getResolvedOperation()Returns the resolved operation.Methods in net.ssehub.easy.varModel.cst with parameters of type Operation Modifier and Type Method Description private 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. -
Uses of Operation in net.ssehub.easy.varModel.cstEvaluation
Fields in net.ssehub.easy.varModel.cstEvaluation with type parameters of type Operation Modifier and Type Field Description private static java.util.Map<Operation,IIteratorEvaluator>EvaluatorRegistry. ITER_EVALUATORSprivate static java.util.Map<Operation,IOperationEvaluator>EvaluatorRegistry. OP_EVALUATORSMethods in net.ssehub.easy.varModel.cstEvaluation with parameters of type Operation Modifier and Type Method Description private 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.datatypes Modifier and Type Class Description classCustomDynamicOperationImplements a non-static custom operation subject to dynamic dispatch while evaluation.classCustomOperationRepresents a custom operation as defined in the IVML model.classSetReturningOperationDescribes 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 with type parameters of type Operation Modifier and Type Field Description private static java.util.Map<Operation,Operation>Operation. aliasprivate static java.util.Map<Operation,Operation>Operation. aliasprivate static java.util.List<Operation>Operation. allOperationsprivate java.util.List<Operation>DelegatingType. operationListMethods in net.ssehub.easy.varModel.model.datatypes that return Operation Modifier and Type Method Description static OperationOperation. createInfixOperator(IDatatype returns, java.lang.String name, IDatatype operand, IDatatype... parameters)Creates an infix operator (descriptor).static OperationOperation. createPostfixOperator(IDatatype returns, java.lang.String name, IDatatype operand, IDatatype... parameters)Creates a postfix operator (descriptor).static OperationOperation. createPrefixOperator(IDatatype returns, java.lang.String name, IDatatype operand, IDatatype... parameters)Creates a prefix operator (descriptor).static OperationOperation. getAlias(Operation op)Returns the alias defined for the given operation has.private OperationDelegatingType. getAllOperation(int index)Returns the operation at positionindexand considers also parent operations.OperationBasisDatatype. getOperation(int index)OperationCustomDatatype. getOperation(int index)OperationDelegatingType. getOperation(int index)OperationIDatatype. getOperation(int index)Returns the operation specified byindex.static OperationOperation. getOperation(int index)Returns the specified defined operation.static OperationTypeQueries. getOperation(IDatatype operand, java.lang.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 Operation Modifier and Type Method Description (package private) voidDelegatingType. addOperation(Operation operator)Allows child classes to add Operations to itself.static OperationOperation. getAlias(Operation op)Returns 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.
-