org.eclipse.ocl.examples.pivot.library.validators
Class ValidateSortedByIteration

java.lang.Object
  org.eclipse.ocl.examples.pivot.library.validators.ValidateSortedByIteration

All Implemented Interfaces:

LibraryValidator

public class ValidateSortedByIteration
extends java.lang.Object
implements LibraryValidator

ValidateSortedByIteration validates the Collection::sortedBy() library iteration.

Constructor Summary

ValidateSortedByIteration()

Method Summary

org.eclipse.emf.common.util.Diagnostic

validate(DomainStandardLibrary standardLibrary, DomainCallExp callExp)

Methods inherited from class java.lang.Object

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

Constructor Detail

ValidateSortedByIteration

public ValidateSortedByIteration()

Method Detail

validate

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

Specified by:

validate in interface LibraryValidator