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

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

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