org.eclipse.ocl.examples.pivot.bodies
Class TemplateParameterSubstitutionBodies._invariant_must_be_compatible

java.lang.Object
  org.eclipse.ocl.examples.domain.library.AbstractFeature
      org.eclipse.ocl.examples.domain.library.AbstractOperation
          org.eclipse.ocl.examples.domain.library.AbstractUnaryOperation
              org.eclipse.ocl.examples.pivot.bodies.TemplateParameterSubstitutionBodies._invariant_must_be_compatible

All Implemented Interfaces:

LibraryFeature, LibraryOperation, LibraryUnaryOperation

Enclosing class:

TemplateParameterSubstitutionBodies

public static class TemplateParameterSubstitutionBodies._invariant_must_be_compatible
extends AbstractUnaryOperation

Implementation of the TemplateParameterSubstitution 'must_be_compatible' invariant.

Field Summary

static TemplateParameterSubstitutionBodies._invariant_must_be_compatible

INSTANCE

Constructor Summary

TemplateParameterSubstitutionBodies._invariant_must_be_compatible()

Method Summary

Value

evaluate(DomainEvaluator evaluator, DomainType returnType, Value self) Return the result of evaluating the operation on an argument.

Methods inherited from class org.eclipse.ocl.examples.domain.library.AbstractUnaryOperation

evaluate

Methods inherited from class org.eclipse.ocl.examples.domain.library.AbstractOperation

argumentsMayBeInvalid

Methods inherited from class org.eclipse.ocl.examples.domain.library.AbstractFeature

getLibraryValidator, getValidator

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.domain.library.LibraryOperation

argumentsMayBeInvalid

Methods inherited from interface org.eclipse.ocl.examples.domain.library.LibraryFeature

getValidator

Field Detail

INSTANCE

public static TemplateParameterSubstitutionBodies._invariant_must_be_compatible INSTANCE

Constructor Detail

TemplateParameterSubstitutionBodies._invariant_must_be_compatible

public TemplateParameterSubstitutionBodies._invariant_must_be_compatible()

Method Detail

evaluate

public Value evaluate(DomainEvaluator evaluator,
                      DomainType returnType,
                      Value self)
               throws InvalidValueException

Description copied from interface: LibraryUnaryOperation

Return the result of evaluating the operation on an argument. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

Returns:

the evaluated value

Throws:

InvalidValueException