Uses of Interface
org.eclipse.ocl.examples.domain.elements.DomainConstraint

Packages that use DomainConstraint

org.eclipse.ocl.examples.domain.elements
org.eclipse.ocl.examples.domain.types
org.eclipse.ocl.examples.library.executor
org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.internal.impl
org.eclipse.ocl.examples.pivot.uml

Uses of DomainConstraint in org.eclipse.ocl.examples.domain.elements

Methods in org.eclipse.ocl.examples.domain.elements that return types with arguments of type DomainConstraint

java.util.List<? extends DomainConstraint>	DomainType.getOwnedInvariant()
java.util.List<? extends DomainConstraint>	DomainNamespace.getOwnedRule()
java.util.List<? extends DomainConstraint>	DomainOperation.getPostcondition()
java.util.List<? extends DomainConstraint>	DomainOperation.getPrecondition()

Uses of DomainConstraint in org.eclipse.ocl.examples.domain.types

Methods in org.eclipse.ocl.examples.domain.types that return types with arguments of type DomainConstraint

java.util.List<? extends DomainConstraint>	AbstractInheritance.getOwnedInvariant()
java.util.List<? extends DomainConstraint>	AbstractType.getOwnedInvariant()
java.util.List<? extends DomainConstraint>	AbstractInheritance.getOwnedRule()
java.util.List<? extends DomainConstraint>	AbstractType.getOwnedRule()

Uses of DomainConstraint in org.eclipse.ocl.examples.library.executor

Methods in org.eclipse.ocl.examples.library.executor that return types with arguments of type DomainConstraint

java.util.List<? extends DomainConstraint>	ExecutorOperation.getOwnedRule()
java.util.List<? extends DomainConstraint>	ExecutorPackage.getOwnedRule()
java.util.List<? extends DomainConstraint>	ExecutorOperation.getPostcondition()
java.util.List<? extends DomainConstraint>	ExecutorOperation.getPrecondition()

Uses of DomainConstraint in org.eclipse.ocl.examples.pivot

Subinterfaces of DomainConstraint in org.eclipse.ocl.examples.pivot

interface

Constraint A representation of the model object 'Constraint'.

Uses of DomainConstraint in org.eclipse.ocl.examples.pivot.internal.impl

Classes in org.eclipse.ocl.examples.pivot.internal.impl that implement DomainConstraint

class

ConstraintImpl An implementation of the model object 'Constraint'.

Methods in org.eclipse.ocl.examples.pivot.internal.impl that return types with arguments of type DomainConstraint

java.util.List<? extends DomainConstraint>

TypeImpl.getOwnedRule()

Uses of DomainConstraint in org.eclipse.ocl.examples.pivot.uml

Method parameters in org.eclipse.ocl.examples.pivot.uml with type arguments of type DomainConstraint

protected static void

UMLOCLEValidator.gatherTypes(java.util.Set<Type> allTypes, java.util.Set<DomainConstraint> allConstraints, Type newType)