org.eclipse.ocl.examples.domain.library
Class AbstractFeature

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

All Implemented Interfaces:

LibraryFeature

Direct Known Subclasses:

AbstractIteration, AbstractOperation, AbstractProperty

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

Constructor Summary

AbstractFeature()

Method Summary

static LibraryValidator	getLibraryValidator(java.lang.Object contextObject, java.lang.String validatorClassName)
LibraryValidator	getValidator(DomainStandardLibrary standardLibrary) Return a validator for a CallExp using this feature.

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractFeature

public AbstractFeature()

Method Detail

getLibraryValidator

public static LibraryValidator getLibraryValidator(java.lang.Object contextObject,
                                                   java.lang.String validatorClassName)

getValidator

public LibraryValidator getValidator(DomainStandardLibrary standardLibrary)

Description copied from interface: LibraryFeature

Return a validator for a CallExp using this feature. May return null for no validator. Validation occurs during analysis with the pivot model using facilities that are not needed for evaluation. This method enables a pivot-unaware evaluation plugin to load a validator from a pivot-aware plugin without imposing a pivot dependency.

Specified by:

getValidator in interface LibraryFeature

Parameters:

standardLibrary - a context to assist in class loading.

Returns: