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

Packages that use LibraryValidator

org.eclipse.ocl.examples.domain.library
org.eclipse.ocl.examples.library.iterator
org.eclipse.ocl.examples.pivot.library.validators

Uses of LibraryValidator in org.eclipse.ocl.examples.domain.library

Methods in org.eclipse.ocl.examples.domain.library that return LibraryValidator

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

Uses of LibraryValidator in org.eclipse.ocl.examples.library.iterator

Methods in org.eclipse.ocl.examples.library.iterator that return LibraryValidator

LibraryValidator	ClosureIteration.getValidator(DomainStandardLibrary standardLibrary)
LibraryValidator	SortedByIteration.getValidator(DomainStandardLibrary standardLibrary)

Uses of LibraryValidator in org.eclipse.ocl.examples.pivot.library.validators

Classes in org.eclipse.ocl.examples.pivot.library.validators that implement LibraryValidator

class	ValidateClosureIteration ValidateClosureIteration validates the Collection::closure() library iteration.
class	ValidateSortedByIteration ValidateSortedByIteration validates the Collection::sortedBy() library iteration.