org.eclipse.ocl.examples.library.collection
Class CollectionClassifierElementTypeProperty

java.lang.Object
  org.eclipse.ocl.examples.domain.library.AbstractFeature
      org.eclipse.ocl.examples.domain.library.AbstractProperty
          org.eclipse.ocl.examples.library.collection.CollectionClassifierElementTypeProperty

All Implemented Interfaces:

LibraryFeature, LibraryProperty

public class CollectionClassifierElementTypeProperty
extends AbstractProperty

CollectionClassifierElementTypeProperty realizes the CollectionClassifier::elementType() library property.

Field Summary

static CollectionClassifierElementTypeProperty

INSTANCE

Constructor Summary

CollectionClassifierElementTypeProperty()

Method Summary

Value

evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)

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.LibraryFeature

getValidator

Field Detail

INSTANCE

public static final CollectionClassifierElementTypeProperty INSTANCE

Constructor Detail

CollectionClassifierElementTypeProperty

public CollectionClassifierElementTypeProperty()

Method Detail

evaluate

public Value evaluate(DomainEvaluator evaluator,
                      DomainType returnType,
                      Value sourceValue,
                      DomainProperty property)
               throws InvalidValueException

Throws:

InvalidValueException