public class UMLOCLEValidator extends Object
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.
|
Modifier and Type | Field and Description |
---|---|
static UMLOCLEValidator |
INSTANCE |
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 |
---|---|
boolean |
validate(EClass eClass,
EObject eObject,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validate(EDataType eDataType,
Object value,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validate(EObject eObject,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateInstanceSpecification(InstanceSpecification instanceSpecification,
DiagnosticChain diagnostics,
Map<Object,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(OpaqueAction opaqueAction,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validate the syntax and semantics of any OCL body.
|
boolean |
validateOpaqueBehavior(OpaqueBehavior opaqueBehavior,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validate the syntax and semantics of any OCL body.
|
boolean |
validateOpaqueExpression(OpaqueExpression opaqueExpression,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validate the syntax and semantics of any OCL bofy.
|
public static final UMLOCLEValidator INSTANCE
public static final UMLOCLEValidator NO_NEW_LINES
public static final TracingOption VALIDATE_INSTANCE
public static final TracingOption VALIDATE_OPAQUE_ELEMENT
public boolean validate(EObject eObject, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validate(EClass eClass, EObject eObject, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validate(EDataType eDataType, Object value, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateInstanceSpecification(InstanceSpecification instanceSpecification, DiagnosticChain diagnostics, Map<Object,Object> context)
Returns true if all OCL constraints pass.
public boolean validateOpaqueAction(OpaqueAction opaqueAction, DiagnosticChain diagnostics, Map<Object,Object> context)
Returns true if all OCL bodies are valid.
public boolean validateOpaqueBehavior(OpaqueBehavior opaqueBehavior, DiagnosticChain diagnostics, Map<Object,Object> context)
Returns true if all OCL bodies are valid.
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.