org.eclipse.ocl.pivot.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

Modifier and Type	Method and Description
org.eclipse.emf.common.util.Diagnostic	validate(StandardLibrary standardLibrary, CallExp callExp)

Method Detail

validate

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