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

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

All Implemented Interfaces:

LibraryValidator

public class ValidateClosureIteration
extends java.lang.Object
implements LibraryValidator

ValidateClosureIteration validates the Collection::closure() library iteration.

Constructor Summary

ValidateClosureIteration()

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

ValidateClosureIteration

public ValidateClosureIteration()

Method Detail

validate

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

Specified by:

validate in interface LibraryValidator