| Package | Description |
|---|---|
| net.sourceforge.nrl.parser.ast |
The fully resolved abstract syntax tree (AST) representation of the constraint language.
|
| net.sourceforge.nrl.parser.ast.action |
The fully resolved extended abstract syntax tree (AST) representation for the
action language.
|
| net.sourceforge.nrl.parser.ast.action.impl | |
| net.sourceforge.nrl.parser.ast.constraints | |
| net.sourceforge.nrl.parser.ast.constraints.impl | |
| net.sourceforge.nrl.parser.ast.impl |
The ANTLR v3 implementation of the AST, including a JFlex lexer and ANTLR v3
parser.
|
| net.sourceforge.nrl.parser.model |
Definition of the internal meta-model that rules are written against.
|
| net.sourceforge.nrl.parser.model.uml2 |
A model implementation that provides an implementation over the UML2 model
classes.
|
| net.sourceforge.nrl.parser.model.xsd |
XML Schema model loader.
|
| net.sourceforge.nrl.parser.operators |
Operator library management package.
|
| net.sourceforge.nrl.parser.type |
Abstract type assignment and type checking for the completed AST.
|
| Modifier and Type | Method and Description |
|---|---|
IModelElement |
ISingleContextDeclaration.getAdditionalParameterType(String parameterName)
Given an additional parameter name, return its resolved type.
|
IModelElement |
Variable.getBoundElement() |
IModelElement |
IVariable.getBoundElement()
Return the model element bound to this variable.
|
IModelElement |
ISingleContextDeclaration.getContext()
Get the referenced model element
|
IModelElement |
IMultipleContextDeclaration.getContextType(String name)
Given a parameter name, return its type.
|
IModelElement |
IModelReference.getCurrentContext()
Return the "current context" in which this reference was made.
|
IModelElement |
IRuleSetDeclaration.getPreconditionContext()
Return the precondition context, if there is one.
|
IModelElement |
IModelReference.getTarget()
Return the final target of a reference, which is always a model element.
|
| Constructor and Description |
|---|
Variable(String name,
IModelElement boundElement) |
| Modifier and Type | Method and Description |
|---|---|
IModelElement |
ICreateAction.getElement()
A reference to the element to create.
|
| Modifier and Type | Method and Description |
|---|---|
IModelElement |
CreateActionImpl.getElement() |
| Modifier and Type | Method and Description |
|---|---|
IModelElement |
IGlobalExistsStatement.getElement()
Return the model element being checked for existence.
|
IModelElement |
IIsSubtypePredicate.getTargetType()
Return the type to check.
|
IModelElement |
ICastExpression.getTargetType()
Return the type being cast to.
|
| Modifier and Type | Method and Description |
|---|---|
IModelElement |
ModelReferenceImpl.getCurrentContext() |
IModelElement |
GlobalExistsStatementImpl.getElement() |
IModelElement |
OperatorInvocationImpl.getReturnType() |
IModelElement |
ModelReferenceImpl.getTarget() |
IModelElement |
IsSubtypePredicateImpl.getTargetType() |
IModelElement |
CastExpressionImpl.getTargetType() |
| Modifier and Type | Method and Description |
|---|---|
void |
ModelReferenceImpl.setCurrentContext(IModelElement currentContext) |
void |
GlobalExistsStatementImpl.setModelElement(IModelElement element) |
void |
OperatorInvocationImpl.setReturnType(IModelElement returnType) |
void |
IsSubtypePredicateImpl.setSuperType(IModelElement element) |
void |
CastExpressionImpl.setTargetType(IModelElement element) |
| Modifier and Type | Method and Description |
|---|---|
IModelElement |
SingleContextDeclarationImpl.getAdditionalParameterType(String parameterName) |
IModelElement |
SingleContextDeclarationImpl.getContext() |
IModelElement |
MultipleContextDeclarationImpl.getContextType(String name) |
protected IModelElement |
AntlrModelResolverVisitor.getCurrentContext() |
static IModelElement |
ModelReferenceHelper.getModelElement(String elementName,
ModelReferenceImpl ref,
IModelCollection models,
List<NRLError> errors)
Look up a model element by name, handling both absolute and qualified names.
|
IModelElement |
RuleSetDeclarationImpl.getPreconditionContext() |
| Modifier and Type | Method and Description |
|---|---|
protected Stack<IModelElement> |
AntlrModelResolverVisitor.getCurrentContextStack() |
| Modifier and Type | Method and Description |
|---|---|
protected void |
AntlrModelResolver.eliminateExistenceWithBackreference(IConstraint constraint,
IModelElement context) |
void |
AntlrModelResolverVisitor.pushCurrentContext(IModelElement context)
Explicitly push a model element on the current context stack.
|
static void |
ModelReferenceHelper.resolveReference(ModelReferenceImpl ref,
IModelCollection models,
IModelElement contextElement,
IClassifier initialContext,
VariableContext variableContext,
Map<String,IVariableDeclaration> globalVariableContext,
List<NRLError> errors)
Resolve a reference by looking up the initial step and traversing a path.
|
void |
SingleContextDeclarationImpl.setAdditionalParameterType(String parameterName,
IModelElement type) |
void |
SingleContextDeclarationImpl.setContext(IModelElement context) |
void |
RuleSetDeclarationImpl.setContext(IModelElement context)
Set the model element referenced in the precondition context.
|
void |
MultipleContextDeclarationImpl.setContextType(String name,
IModelElement element) |
| Modifier and Type | Interface and Description |
|---|---|
interface |
IClassifier
A classifier, inspired by UML, is a model element with attributes.
|
interface |
IDataType
A data type is a model element that can hold a value.
|
interface |
IEnumerationLiteral
A specialised data type that represents all enumeration literals.
|
interface |
IPackage
A package contains model elements and other packages.
|
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractClassifier
Abstract basic implementation of a classifier that manages attribute collections.
|
class |
AbstractModelElement
Basic abstract implementation of a model element that manages the name and parent.
|
class |
AbstractPackage
Abstract implementation of a package.
|
| Modifier and Type | Field and Description |
|---|---|
static IModelElement |
IModelElement.OBJECT
The parent of all NRL model elements.
|
| Modifier and Type | Method and Description |
|---|---|
IModelElement |
ModelCollection.getElementByName(String name) |
IModelElement |
IModelCollection.getElementByName(String name)
Do a deep search of model elements by name in all packages of all models.
|
IModelElement |
IPackage.getElementByName(String name,
boolean deep)
Scan a package and return the model element with a given name.
|
IModelElement |
AbstractPackage.getElementByName(String name,
boolean deep) |
IModelElement |
ModelCollection.getElementByQualifiedName(String qualifiedName) |
IModelElement |
IModelCollection.getElementByQualifiedName(String qualifiedName)
Get an element by its exact, qualified name (e.g.
|
IModelElement |
IModelElement.getParent()
Return the parent, if there is an inheritance relationship, or null if none.
|
IModelElement |
AbstractModelElement.getParent() |
IModelElement |
IAttribute.getType()
Return the type.
|
IModelElement |
AbstractAttribute.getType() |
| Modifier and Type | Method and Description |
|---|---|
List<IModelElement> |
IPackage.getContents(boolean deep)
Return the contents of this package, a collection of IModelElement
objects.
|
List<IModelElement> |
AbstractPackage.getContents(boolean deep) |
List<IModelElement> |
IModelElement.getDescendants(boolean transitive)
Return a list of elements that inherit fromm this.
|
List<IModelElement> |
AbstractModelElement.getDescendants(boolean transitive) |
| Modifier and Type | Method and Description |
|---|---|
void |
AbstractModelElement.addChild(IModelElement child) |
void |
AbstractPackage.addElement(IModelElement element) |
static String |
ModelUtils.getXMLNamespaceURI(IModelElement element)
Return the namespace an model element (i.e.
|
boolean |
IModelElement.isAssignableFrom(IModelElement other)
Return true if the model element can be assigned the value of another in an
expression.
|
boolean |
AbstractModelElement.isAssignableFrom(IModelElement other) |
static boolean |
ModelUtils.isXSDModelElement(IModelElement modelElement)
Detects if an
IModelElement originates from an XSD model i.e. |
void |
AbstractPackage.removeElement(IModelElement element) |
void |
AbstractModelElement.setParent(IModelElement parent) |
void |
AbstractAttribute.setType(IModelElement type) |
| Modifier and Type | Class and Description |
|---|---|
class |
UML2Classifier
Extension of a standard model element that holds a reference to a UML2 class.
|
class |
UML2DataType
A data type that wraps a UML2 DataType object.
|
class |
UML2Package
A package implementation that wraps a UML2 Package objects.
|
| Modifier and Type | Class and Description |
|---|---|
class |
XSDClassifier
An XSD classifier, usually created from a complex type or element.
|
class |
XSDDataType
An XSD data type is either a simple type, a derived simple type, or a
complex type derived from a simple type (with optional added attributes).
|
class |
XSDPackage
A package in the XSD model.
|
| Modifier and Type | Method and Description |
|---|---|
IModelElement |
Operator.getReturnType() |
IModelElement |
IOperator.getReturnType()
Return the return type of the operator.
|
IModelElement |
Parameter.getType() |
IModelElement |
IParameter.getType()
Return the parameter type.
|
| Modifier and Type | Method and Description |
|---|---|
void |
Operator.setReturnType(IModelElement returnType) |
void |
IOperator.setReturnType(IModelElement returnType)
Set the type this operator will return.
|
void |
Parameter.setType(IModelElement type) |
void |
IParameter.setType(IModelElement type)
Set the model type of the parameter.
|
| Modifier and Type | Method and Description |
|---|---|
NRLDataType |
TypeMapping.getType(IModelElement element) |
NRLDataType |
ITypeMapping.getType(IModelElement element)
Map a model element to an internal, abstract type.
|
protected NRLDataType |
ConstraintTypeChecker.getType(IModelElement element)
Use the type mappings to look up the internal type for a model element.
|
Copyright © 2006-2013. All Rights Reserved.