org.eclipse.ocl.examples.domain.library
Interface LibraryValidator

All Known Implementing Classes:

ValidateClosureIteration, ValidateSortedByIteration

public interface LibraryValidator

The LibraryValidator defines the behaviour of library-feature-specific validators. An implementation is typically constructed reflectively and return by the library-feature implementation class. Reflective construction is used to avoid the need for evaluation code to depend on the analysis time pivot support.

Method Summary

org.eclipse.emf.common.util.Diagnostic

validate(DomainStandardLibrary standardLibrary, DomainCallExp callExp)

Method Detail

validate

org.eclipse.emf.common.util.Diagnostic validate(DomainStandardLibrary standardLibrary,
                                                DomainCallExp callExp)