org.eclipse.ocl.examples.library
Class AbstractFeature

java.lang.Object
  org.eclipse.ocl.examples.library.AbstractFeature

All Implemented Interfaces:

LibraryFeature, CallableImplementation

Direct Known Subclasses:

AbstractIteration, AbstractOperation

public abstract class AbstractFeature
extends java.lang.Object
implements LibraryFeature

Since:

3.1

Constructor Summary

AbstractFeature()

Method Summary

org.eclipse.emf.common.util.Diagnostic

validate(TypeManager typeManager, CallExp callExp)

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.pivot.evaluation.CallableImplementation

evaluate

Constructor Detail

AbstractFeature

public AbstractFeature()

Method Detail

validate

public org.eclipse.emf.common.util.Diagnostic validate(TypeManager typeManager,
                                                       CallExp callExp)

Specified by:

validate in interface CallableImplementation