Package | Description |
---|---|
org.eclipse.ocl.examples.emf.validation.validity.locator | |
org.eclipse.ocl.examples.emf.validation.validity.manager | |
org.eclipse.ocl.examples.validity.locator |
Modifier and Type | Method and Description |
---|---|
TypeURI |
AbstractConstraintLocator.getTypeURI(org.eclipse.emf.ecore.EObject eObject) |
TypeURI |
ConstraintLocator.getTypeURI(org.eclipse.emf.ecore.EObject eObject)
Return the URI that provides a distinct identity for a constraining element when applied to a validatable element.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<TypeURI> |
AbstractConstraintLocator.getAllTypes(ValidityManager validityManager,
org.eclipse.emf.ecore.EObject constrainingObject) |
java.util.Set<TypeURI> |
ConstraintLocator.getAllTypes(ValidityManager validityManager,
org.eclipse.emf.ecore.EObject constrainingObject)
Return all typeURIs for a given type; typically this returns the supertype closure.
|
java.util.Set<TypeURI> |
AbstractConstraintLocator.getTypeURIs(ValidityManager validityManager,
org.eclipse.emf.ecore.EObject validatableObject) |
java.util.Set<TypeURI> |
ConstraintLocator.getTypeURIs(ValidityManager validityManager,
org.eclipse.emf.ecore.EObject validatableObject)
Return the type URIs of all 'types' that provide constraints for validatableObject.
|
Modifier and Type | Method and Description |
---|---|
TypeURI |
ValidityManager.getTypeURI(org.eclipse.emf.ecore.EObject constrainingObject)
Returns the eObject uri
|
Modifier and Type | Method and Description |
---|---|
protected java.util.Set<TypeURI> |
ValidityModel.buildTypeClosure(org.eclipse.emf.ecore.EObject constrainingObject)
Return all types that may provide constraints to an instance of aType.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<ConstrainingURI> |
ValidityModel.accumulateConstrainingURIs(java.util.Set<ConstrainingURI> constrainingURIs,
TypeURI typeURI) |
int |
TypeURI.compareTo(TypeURI o) |
Modifier and Type | Method and Description |
---|---|
TypeURI |
PivotConstraintLocator.getTypeURI(org.eclipse.emf.ecore.EObject constrainedObject) |
TypeURI |
UMLConstraintLocator.getTypeURI(org.eclipse.emf.ecore.EObject eObject) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<TypeURI> |
PivotConstraintLocator.getAllTypes(ValidityManager validityManager,
org.eclipse.emf.ecore.EObject constrainingObject) |
java.util.Set<TypeURI> |
UMLConstraintLocator.getAllTypes(ValidityManager validityManager,
org.eclipse.emf.ecore.EObject constrainingType) |
java.util.Set<TypeURI> |
UMLConstraintLocator.getTypeURIs(ValidityManager validityManager,
org.eclipse.emf.ecore.EObject validatableObject) |