org.eclipse.ocl.examples.library
Class AbstractFeature

java.lang.Object
  extended by 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