Constructor and Description |
---|
OCLVMExecutor(IVMContext vmContext,
org.eclipse.emf.common.util.URI oclURI,
org.eclipse.emf.common.util.URI contextURI) |
Modifier and Type | Method and Description |
---|---|
protected OCLVMExecutor |
OCLInternalDebuggableExecutor.createVMExecutor() |
Modifier and Type | Method and Description |
---|---|
protected abstract VMExecutor |
InternalDebuggableExecutor.createVMExecutor() |
Modifier and Type | Method and Description |
---|---|
protected Constraint |
DelegateConstraintLocator.getConstraint(PivotMetamodelManager metamodelManager,
ResultConstrainingNode resultConstrainingNode) |
protected ExpressionInOCL |
AbstractPivotConstraintLocator.getQuery(PivotMetamodelManager metamodelManager,
Constraint constraint) |
Modifier and Type | Method and Description |
---|---|
CSResource |
AbstractParserContext.createBaseResource(java.lang.String expression) |
ExpressionInOCL |
AbstractParserContext.getExpression(CSResource resource) |
ExpressionInOCL |
AbstractParserContext.parse(org.eclipse.emf.ecore.EObject owner,
java.lang.String expression) |
Modifier and Type | Method and Description |
---|---|
ExpressionInOCL |
OCLHelperImpl.createBodyCondition(java.lang.String expression) |
ExpressionInOCL |
OCLHelperImpl.createDerivedValueExpression(java.lang.String expression) |
ExpressionInOCL |
OCLHelperImpl.createInvariant(java.lang.String expression) |
ExpressionInOCL |
OCLHelperImpl.createPostcondition(java.lang.String expression) |
ExpressionInOCL |
OCLHelperImpl.createPrecondition(java.lang.String expression) |
ExpressionInOCL |
OCLHelperImpl.createQuery(java.lang.String expression) |
protected ExpressionInOCL |
OCLHelperImpl.createSpecification(java.lang.String expression) |
Modifier and Type | Method and Description |
---|---|
<T extends Element> |
PivotMetamodelManager.getASOf(java.lang.Class<T> pivotClass,
org.eclipse.emf.ecore.EObject eObject) |
Element |
MetamodelManagerInternal.loadResource(org.eclipse.emf.common.util.URI uri,
java.lang.String alias,
org.eclipse.emf.ecore.resource.ResourceSet resourceSet) |
Element |
PivotMetamodelManager.loadResource(org.eclipse.emf.common.util.URI uri,
java.lang.String zzalias,
org.eclipse.emf.ecore.resource.ResourceSet resourceSet) |
ExpressionInOCL |
PivotMetamodelManager.parseSpecification(LanguageExpression specification)
Return the compiled query for a specification resolving a String body into a non-null bodyExpression.
|
Modifier and Type | Method and Description |
---|---|
<T extends Element> |
ASResourceFactory.getASElement(EnvironmentFactoryInternal environmentFactory,
java.lang.Class<T> asClass,
org.eclipse.emf.ecore.EObject eObject)
Return the OCL AS element corresponding to eObject using metamodelManager to supervise
the correspondence and ensuring that the result is of asClass.
|
<T extends Element> |
AbstractASResourceFactory.getASElement(EnvironmentFactoryInternal environmentFactory,
java.lang.Class<T> pivotClass,
org.eclipse.emf.ecore.EObject eObject) |
Element |
ASResourceFactory.importFromResource(EnvironmentFactoryInternal environmentFactory,
org.eclipse.emf.ecore.resource.Resource resource,
org.eclipse.emf.common.util.URI uri)
Return the root element in the Pivot resource resulting from import of the available
resource.
|
Element |
AbstractASResourceFactory.importFromResource(EnvironmentFactoryInternal environmentFactory,
org.eclipse.emf.ecore.resource.Resource resource,
org.eclipse.emf.common.util.URI uri) |
Modifier and Type | Method and Description |
---|---|
Model |
External2AS.getASModel() |
char[] |
OCLInput.getContent()
Deprecated.
The contents of the OCL document as a character array, suitable for
consumption by the OCL parser.
|
java.lang.String |
OCLInput.getContentAsString()
Deprecated.
The contents of the OCL document as a character array, suitable for
consumption by the OCL parser.
|
Element |
AbstractTechnology.getParseableElement(EnvironmentFactoryInternal environmentFactory,
org.eclipse.emf.ecore.EObject eObject) |
Element |
Technology.getParseableElement(EnvironmentFactoryInternal environmentFactory,
org.eclipse.emf.ecore.EObject eObject) |
Element |
EnvironmentFactoryInternal.loadResource(org.eclipse.emf.ecore.resource.Resource resource,
org.eclipse.emf.common.util.URI uri) |
Modifier and Type | Method and Description |
---|---|
Model |
UML2AS.Inner.getASModel() |
Model |
UML2AS.Outer.getASModel() |
static Element |
UML2AS.importFromUML(EnvironmentFactoryInternal environmentFactory,
java.lang.String alias,
org.eclipse.emf.ecore.EObject eObject)
Convert a UML object to a pivot element.
|
static Model |
UML2AS.importFromUML(EnvironmentFactoryInternal environmentFactory,
java.lang.String alias,
org.eclipse.emf.ecore.resource.Resource umlResource)
Convert a UML resource to a Pivot Model.
|
protected void |
UML2AS.Outer.installImports() |
Modifier and Type | Method and Description |
---|---|
<T extends Element> |
UMLASResourceFactory.getASElement(EnvironmentFactoryInternal environmentFactory,
java.lang.Class<T> pivotClass,
org.eclipse.emf.ecore.EObject eObject) |
Element |
UMLASResourceFactory.importFromResource(EnvironmentFactoryInternal environmentFactory,
org.eclipse.emf.ecore.resource.Resource umlResource,
org.eclipse.emf.common.util.URI uri) |
Modifier and Type | Method and Description |
---|---|
Element |
UMLEcoreTechnology.getParseableElement(EnvironmentFactoryInternal environmentFactory,
org.eclipse.emf.ecore.EObject eObject) |
Modifier and Type | Class and Description |
---|---|
class |
SemanticException
Exception indicating a semantic error in parsing or validating OCL
expressions.
|
class |
SyntaxException
Exception indicating a syntax error in parsing OCL expressions.
|
Modifier and Type | Method and Description |
---|---|
static void |
PivotUtil.checkResourceErrors(java.lang.String message,
org.eclipse.emf.ecore.resource.Resource resource) |
CSResource |
ParserContext.createBaseResource(java.lang.String expression)
Create a Concrete Syntax resource containing the parsed expression.
|
ExpressionInOCL |
OCLHelper.createBodyCondition(java.lang.String expression)
Creates an operation body.
|
ExpressionInOCL |
OCLHelper.createDerivedValueExpression(java.lang.String expression)
Creates a property derived value expression.
|
ExpressionInOCL |
OCL.createInvariant(org.eclipse.emf.ecore.EObject contextElement,
java.lang.String oclExpression)
Parse oclExpression using selfType as the type of each run-time self object.
|
ExpressionInOCL |
OCLHelper.createInvariant(java.lang.String expression)
Creates an invariant constraint in the current classifier context.
|
ExpressionInOCL |
OCL.createPostcondition(org.eclipse.emf.ecore.EOperation contextOperation,
java.lang.String oclExpression) |
ExpressionInOCL |
OCLHelper.createPostcondition(java.lang.String expression)
Creates an operation postcondition constraint.
|
ExpressionInOCL |
OCLHelper.createPrecondition(java.lang.String expression)
Creates an operation precondition constraint.
|
Query |
OCL.createQuery(Constraint constraint)
Creates a new
Query encapsulating a constraint with the current
environment and extent map. |
ExpressionInOCL |
OCL.createQuery(org.eclipse.emf.ecore.EObject contextElement,
java.lang.String oclExpression) |
ExpressionInOCL |
OCLHelper.createQuery(java.lang.String expression)
Creates a query expression in the current classifier context.
|
ASResource |
OCL.ecore2as(org.eclipse.emf.ecore.resource.Resource ecoreResource)
Return the Pivot resource counterpart of an ecoreResource.
|
<T extends Element> |
MetamodelManager.getASOf(java.lang.Class<T> pivotClass,
org.eclipse.emf.ecore.EObject eObject) |
ExpressionInOCL |
ParserContext.getExpression(CSResource resource)
Extract an Abstract Syntax ExpressionInOCL fronm a Concrete Syntax resource.
|
ExpressionInOCL |
OCL.getSpecification(Constraint constraint)
Return the Constraint specification as an ExpressionInOCL, parsing any OpaqueExpression
that may be encountered.
|
Element |
AbstractEnvironmentFactory.loadResource(org.eclipse.emf.ecore.resource.Resource resource,
org.eclipse.emf.common.util.URI uri) |
ExpressionInOCL |
ParserContext.parse(org.eclipse.emf.ecore.EObject owner,
java.lang.String expression)
Create an Abstract Syntax ExpressionInOCL containing the parsed expression on behalf of a potential owner.
|
ExpressionInOCL |
MetamodelManager.parseSpecification(LanguageExpression specification)
Convert the specification of an OCL expression from textual CS form to parsed executable AS form.
|
ExpressionInOCL |
OCL.parseSpecification(LanguageExpression specification)
Convert the specification of an OCL expression from textual CS form to parsed executable AS form.
|
ExpressionInOCL |
OCL.parseSpecification(java.lang.Object unusedObject,
LanguageExpression specification)
Deprecated.
use parseSpecification(specification)
|
static boolean |
PivotUtil.setParserContext(CSResource csResource,
org.eclipse.emf.ecore.EObject eObject,
java.lang.Object... todoParameters)
Configure resource to support parsing in the context of an eObject.
|
Modifier and Type | Method and Description |
---|---|
static ExpressionInOCL |
ElementUtil.getFirstQuery(PivotMetamodelManager metamodelManager,
BaseCSResource csResource)
Extract the first embedded ExpressionInOCL.
|
Modifier and Type | Method and Description |
---|---|
protected ExpressionInOCL |
MarkupToHTML.createQuery(java.lang.String oclString) |