public class UMLOCLEValidator
extends java.lang.Object
implements org.eclipse.emf.ecore.EValidator
Typically used with a Diagnostician as:
EValidatorRegistryImpl registry = new EValidatorRegistryImpl(); registry.put(UMLPackage.eINSTANCE, UMLOCLEValidator.INSTANCE); Diagnostician diagnostician = new Diagnostician(registry); Diagnostic diagnostic = dignostician.validate(eObject, validationContext);
Modifier and Type | Class and Description |
---|---|
static class |
UMLOCLEValidator.ConstraintEvaluatorWithDiagnostics
ConstraintEvaluatorWithoutDiagnostics provides the richer ConstraintEvaluator support for
use when diagnostics are required.
|
static class |
UMLOCLEValidator.ConstraintEvaluatorWithoutDiagnostics
ConstraintEvaluatorWithoutDiagnostics provides the minimal ConstraintEvaluator support for
use when no diagnostics are required.
|
org.eclipse.emf.ecore.EValidator.Descriptor, org.eclipse.emf.ecore.EValidator.PatternMatcher, org.eclipse.emf.ecore.EValidator.Registry, org.eclipse.emf.ecore.EValidator.SubstitutionLabelProvider, org.eclipse.emf.ecore.EValidator.ValidationDelegate
Modifier and Type | Field and Description |
---|---|
static UMLOCLEValidator |
INSTANCE |
protected boolean |
mayUseNewLines |
static UMLOCLEValidator |
NO_NEW_LINES |
static TracingOption |
VALIDATE_INSTANCE |
static TracingOption |
VALIDATE_OPAQUE_ELEMENT |
Constructor and Description |
---|
UMLOCLEValidator(boolean mayUseNewLines) |
Modifier and Type | Method and Description |
---|---|
protected static void |
gatherClassifiers(java.util.Set<org.eclipse.uml2.uml.Classifier> allClassifiers,
java.util.Set<org.eclipse.uml2.uml.Constraint> allConstraints,
org.eclipse.uml2.uml.Classifier newClassifier) |
protected static void |
gatherTypes(java.util.Set<Type> allTypes,
java.util.Set<Constraint> allConstraints,
Class newType)
Deprecated.
|
boolean |
validate(org.eclipse.emf.ecore.EClass eClass,
org.eclipse.emf.ecore.EObject eObject,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validate(org.eclipse.emf.ecore.EDataType eDataType,
java.lang.Object value,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validate(org.eclipse.emf.ecore.EObject eObject,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
protected boolean |
validateInstance(org.eclipse.emf.ecore.EObject instanceSpecification,
org.eclipse.uml2.uml.OpaqueExpression opaqueExpression,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Perform the validation of an instanceSpecification against the bodies defined in opaqueExpression.
|
boolean |
validateInstanceSpecification(org.eclipse.uml2.uml.InstanceSpecification instanceSpecification,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validate the OCL aspects of a UML InstanceSpecification, by evaluating all OCL Constraints
defined by any of the InstanceSpecification's classifiers on the InstanceSpecification.
|
boolean |
validateOpaqueAction(org.eclipse.uml2.uml.OpaqueAction opaqueAction,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validate the syntax and semantics of any OCL body.
|
boolean |
validateOpaqueBehavior(org.eclipse.uml2.uml.OpaqueBehavior opaqueBehavior,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validate the syntax and semantics of any OCL body.
|
protected boolean |
validateOpaqueElement(java.util.List<java.lang.String> languages,
java.util.List<java.lang.String> bodies,
org.eclipse.uml2.uml.Element opaqueElement,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Perform the semantic validation of the bodies of an opaqueElement using the corresponding languages support.
|
boolean |
validateOpaqueExpression(org.eclipse.uml2.uml.OpaqueExpression opaqueExpression,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validate the syntax and semantics of any OCL bofy.
|
protected boolean |
validateSyntax1(java.lang.String body,
org.eclipse.uml2.uml.Element opaqueElement,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Perform the validation of the body text for an opaqueElement and if instance is non-null use the body to validate
the instance.
|
protected boolean |
validateSyntax2(org.eclipse.emf.ecore.EObject instance,
java.lang.String body,
org.eclipse.uml2.uml.Element opaqueElement,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
@NonNull public static final UMLOCLEValidator INSTANCE
@NonNull public static final UMLOCLEValidator NO_NEW_LINES
@NonNull public static final TracingOption VALIDATE_INSTANCE
@NonNull public static final TracingOption VALIDATE_OPAQUE_ELEMENT
protected final boolean mayUseNewLines
protected static void gatherClassifiers(@NonNull java.util.Set<org.eclipse.uml2.uml.Classifier> allClassifiers, @NonNull java.util.Set<org.eclipse.uml2.uml.Constraint> allConstraints, @NonNull org.eclipse.uml2.uml.Classifier newClassifier)
@Deprecated protected static void gatherTypes(@NonNull java.util.Set<Type> allTypes, @NonNull java.util.Set<Constraint> allConstraints, Class newType)
public boolean validate(org.eclipse.emf.ecore.EObject eObject, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
validate
in interface org.eclipse.emf.ecore.EValidator
public boolean validate(org.eclipse.emf.ecore.EClass eClass, org.eclipse.emf.ecore.EObject eObject, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
validate
in interface org.eclipse.emf.ecore.EValidator
public boolean validate(org.eclipse.emf.ecore.EDataType eDataType, java.lang.Object value, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
validate
in interface org.eclipse.emf.ecore.EValidator
protected boolean validateInstance(@NonNull org.eclipse.emf.ecore.EObject instanceSpecification, org.eclipse.uml2.uml.OpaqueExpression opaqueExpression, @Nullable org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateInstanceSpecification(@NonNull org.eclipse.uml2.uml.InstanceSpecification instanceSpecification, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
Returns true if all OCL constraints pass.
public boolean validateOpaqueAction(@NonNull org.eclipse.uml2.uml.OpaqueAction opaqueAction, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
Returns true if all OCL bodies are valid.
public boolean validateOpaqueBehavior(@NonNull org.eclipse.uml2.uml.OpaqueBehavior opaqueBehavior, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
Returns true if all OCL bodies are valid.
public boolean validateOpaqueExpression(@NonNull org.eclipse.uml2.uml.OpaqueExpression opaqueExpression, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
Returns true if all OCL bodies are valid.
protected boolean validateOpaqueElement(java.util.List<java.lang.String> languages, java.util.List<java.lang.String> bodies, @NonNull org.eclipse.uml2.uml.Element opaqueElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
protected boolean validateSyntax1(@NonNull java.lang.String body, org.eclipse.uml2.uml.Element opaqueElement, @Nullable org.eclipse.emf.common.util.DiagnosticChain diagnostics, @NonNull java.util.Map<java.lang.Object,java.lang.Object> context)
protected boolean validateSyntax2(@NonNull org.eclipse.emf.ecore.EObject instance, @NonNull java.lang.String body, org.eclipse.uml2.uml.Element opaqueElement, @Nullable org.eclipse.emf.common.util.DiagnosticChain diagnostics, @NonNull java.util.Map<java.lang.Object,java.lang.Object> context)