Package | Description |
---|---|
org.eclipse.ocl.cst | |
org.eclipse.ocl.cst.impl | |
org.eclipse.ocl.cst.util | |
org.eclipse.ocl.ecore.parser | |
org.eclipse.ocl.lpg | |
org.eclipse.ocl.parser | |
org.eclipse.ocl.parser.backtracking |
Modifier and Type | Interface and Description |
---|---|
interface |
BooleanLiteralExpCS
A representation of the model object 'Boolean Literal Exp CS'.
|
interface |
CallExpCS
A representation of the model object 'Call Exp CS'.
|
interface |
ClassifierContextDeclCS
A representation of the model object 'Classifier Context Decl CS'.
|
interface |
CollectionLiteralExpCS
A representation of the model object 'Collection Literal Exp CS'.
|
interface |
CollectionLiteralPartCS
A representation of the model object 'Collection Literal Part CS'.
|
interface |
CollectionRangeCS
A representation of the model object 'Collection Range CS'.
|
interface |
CollectionTypeCS
A representation of the model object 'Collection Type CS'.
|
interface |
ContextDeclCS
A representation of the model object 'Context Decl CS'.
|
interface |
DefCS
A representation of the model object 'Def CS'.
|
interface |
DefExpressionCS
A representation of the model object 'Def Expression CS'.
|
interface |
DerValueCS
A representation of the model object 'Der Value CS'.
|
interface |
FeatureCallExpCS
A representation of the model object 'Feature Call Exp CS'.
|
interface |
IfExpCS
A representation of the model object 'If Exp CS'.
|
interface |
InitOrDerValueCS
A representation of the model object 'Init Or Der Value CS'.
|
interface |
InitValueCS
A representation of the model object 'Init Value CS'.
|
interface |
IntegerLiteralExpCS
A representation of the model object 'Integer Literal Exp CS'.
|
interface |
InvalidLiteralExpCS
A representation of the model object 'Invalid Literal Exp CS'.
|
interface |
InvCS
A representation of the model object 'Inv CS'.
|
interface |
InvOrDefCS
A representation of the model object 'Inv Or Def CS'.
|
interface |
IsMarkedPreCS
A representation of the model object 'Is Marked Pre CS'.
|
interface |
IterateExpCS
A representation of the model object 'Iterate Exp CS'.
|
interface |
IteratorExpCS
A representation of the model object 'Iterator Exp CS'.
|
interface |
LetExpCS
A representation of the model object 'Let Exp CS'.
|
interface |
LiteralExpCS
A representation of the model object 'Literal Exp CS'.
|
interface |
LoopExpCS
A representation of the model object 'Loop Exp CS'.
|
interface |
MessageExpCS
A representation of the model object 'Message Exp CS'.
|
interface |
NullLiteralExpCS
A representation of the model object 'Null Literal Exp CS'.
|
interface |
OCLDocumentCS
A representation of the model object 'OCL Document CS'.
|
interface |
OCLExpressionCS
A representation of the model object 'OCL Expression CS'.
|
interface |
OCLMessageArgCS
A representation of the model object 'OCL Message Arg CS'.
|
interface |
OperationCallExpCS
A representation of the model object 'Operation Call Exp CS'.
|
interface |
OperationContextDeclCS
A representation of the model object 'Operation Context Decl CS'.
|
interface |
OperationCS
A representation of the model object 'Operation CS'.
|
interface |
PackageDeclarationCS
A representation of the model object 'Package Declaration CS'.
|
interface |
PathNameCS
A representation of the model object 'Path Name CS'.
|
interface |
PrePostOrBodyDeclCS
A representation of the model object 'Pre Post Or Body Decl CS'.
|
interface |
PrimitiveLiteralExpCS
A representation of the model object 'Primitive Literal Exp CS'.
|
interface |
PrimitiveTypeCS
A representation of the model object 'Primitive Type CS'.
|
interface |
PropertyContextCS
A representation of the model object 'Property Context CS'.
|
interface |
RealLiteralExpCS
A representation of the model object 'Real Literal Exp CS'.
|
interface |
SimpleNameCS
A representation of the model object 'Simple Name CS'.
|
interface |
StringLiteralExpCS
A representation of the model object 'String Literal Exp CS'.
|
interface |
TupleLiteralExpCS
A representation of the model object 'Tuple Literal Exp CS'.
|
interface |
TupleTypeCS
A representation of the model object 'Tuple Type CS'.
|
interface |
TypeCS
A representation of the model object 'Type CS'.
|
interface |
UnlimitedNaturalLiteralExpCS
A representation of the model object 'Unlimited Natural Literal Exp CS'.
|
interface |
VariableCS
A representation of the model object 'Variable CS'.
|
interface |
VariableExpCS
A representation of the model object 'Variable Exp CS'.
|
Modifier and Type | Class and Description |
---|---|
class |
BooleanLiteralExpCSImpl
An implementation of the model object 'Boolean Literal Exp CS'.
|
class |
CallExpCSImpl
An implementation of the model object 'Call Exp CS'.
|
class |
ClassifierContextDeclCSImpl
An implementation of the model object 'Classifier Context Decl CS'.
|
class |
CollectionLiteralExpCSImpl
An implementation of the model object 'Collection Literal Exp CS'.
|
class |
CollectionLiteralPartCSImpl
An implementation of the model object 'Collection Literal Part CS'.
|
class |
CollectionRangeCSImpl
An implementation of the model object 'Collection Range CS'.
|
class |
CollectionTypeCSImpl
An implementation of the model object 'Collection Type CS'.
|
class |
ContextDeclCSImpl
An implementation of the model object 'Context Decl CS'.
|
class |
CSTNodeImpl
An implementation of the model object 'Node'.
|
class |
DefCSImpl
An implementation of the model object 'Def CS'.
|
class |
DefExpressionCSImpl
An implementation of the model object 'Def Expression CS'.
|
class |
DerValueCSImpl
An implementation of the model object 'Der Value CS'.
|
class |
FeatureCallExpCSImpl
An implementation of the model object 'Feature Call Exp CS'.
|
class |
IfExpCSImpl
An implementation of the model object 'If Exp CS'.
|
class |
InitOrDerValueCSImpl
An implementation of the model object 'Init Or Der Value CS'.
|
class |
InitValueCSImpl
An implementation of the model object 'Init Value CS'.
|
class |
IntegerLiteralExpCSImpl
An implementation of the model object 'Integer Literal Exp CS'.
|
class |
InvalidLiteralExpCSImpl
An implementation of the model object 'Invalid Literal Exp CS'.
|
class |
InvCSImpl
An implementation of the model object 'Inv CS'.
|
class |
InvOrDefCSImpl
An implementation of the model object 'Inv Or Def CS'.
|
class |
IsMarkedPreCSImpl
An implementation of the model object 'Is Marked Pre CS'.
|
class |
IterateExpCSImpl
An implementation of the model object 'Iterate Exp CS'.
|
class |
IteratorExpCSImpl
An implementation of the model object 'Iterator Exp CS'.
|
class |
LetExpCSImpl
An implementation of the model object 'Let Exp CS'.
|
class |
LiteralExpCSImpl
An implementation of the model object 'Literal Exp CS'.
|
class |
LoopExpCSImpl
An implementation of the model object 'Loop Exp CS'.
|
class |
MessageExpCSImpl
An implementation of the model object 'Message Exp CS'.
|
class |
NullLiteralExpCSImpl
An implementation of the model object 'Null Literal Exp CS'.
|
class |
OCLDocumentCSImpl
An implementation of the model object 'OCL Document CS'.
|
class |
OCLExpressionCSImpl
An implementation of the model object 'OCL Expression CS'.
|
class |
OCLMessageArgCSImpl
An implementation of the model object 'OCL Message Arg CS'.
|
class |
OperationCallExpCSImpl
An implementation of the model object 'Operation Call Exp CS'.
|
class |
OperationContextDeclCSImpl
An implementation of the model object 'Operation Context Decl CS'.
|
class |
OperationCSImpl
An implementation of the model object 'Operation CS'.
|
class |
PackageDeclarationCSImpl
An implementation of the model object 'Package Declaration CS'.
|
class |
PathNameCSImpl
An implementation of the model object 'Path Name CS'.
|
class |
PrePostOrBodyDeclCSImpl
An implementation of the model object 'Pre Post Or Body Decl CS'.
|
class |
PrimitiveLiteralExpCSImpl
An implementation of the model object 'Primitive Literal Exp CS'.
|
class |
PrimitiveTypeCSImpl
An implementation of the model object 'Primitive Type CS'.
|
class |
PropertyContextCSImpl
An implementation of the model object 'Property Context CS'.
|
class |
RealLiteralExpCSImpl
An implementation of the model object 'Real Literal Exp CS'.
|
class |
SimpleNameCSImpl
An implementation of the model object 'Simple Name CS'.
|
class |
StringLiteralExpCSImpl
An implementation of the model object 'String Literal Exp CS'.
|
class |
TupleLiteralExpCSImpl
An implementation of the model object 'Tuple Literal Exp CS'.
|
class |
TupleTypeCSImpl
An implementation of the model object 'Tuple Type CS'.
|
class |
TypeCSImpl
An implementation of the model object 'Type CS'.
|
class |
UnlimitedNaturalLiteralExpCSImpl
An implementation of the model object 'Unlimited Natural Literal Exp CS'.
|
class |
VariableCSImpl
An implementation of the model object 'Variable CS'.
|
class |
VariableExpCSImpl
An implementation of the model object 'Variable Exp CS'.
|
Modifier and Type | Method and Description |
---|---|
T |
CSTSwitch.caseCSTNode(CSTNode object)
Returns the result of interpreting the object as an instance of 'Node'.
|
Modifier and Type | Method and Description |
---|---|
protected org.eclipse.emf.ecore.EReference |
OCLAnalyzer.lookupOppositeProperty(CSTNode cstNode,
EnvironmentWithHiddenOpposites env,
org.eclipse.emf.ecore.EClassifier owner,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
CSTNode |
AbstractBasicEnvironment.getASTMapping(java.lang.Object object) |
CSTNode |
BasicEnvironment.getASTMapping(java.lang.Object astNode)
Return the mapping of an astNode to its originating cstNode, so that
AST-based analysis may report error messages exploiting the CST context, or
to support incremental AST/CST update.
|
abstract CSTNode |
AbstractParser.parser()
Runs the parser with the current
lex and parse streams |
abstract CSTNode |
AbstractParser.parser(int error_repair_count)
Runs the parser with the current
lex and parse streams
using a given error_repair_count (useful for a backtracking parser) |
abstract CSTNode |
AbstractParser.parser(lpg.runtime.Monitor monitor)
Runs the parser with the current
lex and parse streams
using the given Monitor |
abstract CSTNode |
AbstractParser.parser(lpg.runtime.Monitor monitor,
int error_repair_count)
Runs the parser with the current
lex and parse streams
using the given Monitor and error_repair_count (useful for a backtracking parser) |
CSTNode |
AbstractParser.parseTokensToCST()
Deprecated.
clients should invoke
AbstractParser.parser() |
Modifier and Type | Method and Description |
---|---|
java.util.Map<java.lang.Object,CSTNode> |
AbstractBasicEnvironment.getASTNodeToCSTNodeMap() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
AbstractAnalyzer.computeInputString(CSTNode node)
Obtains the text from which the specified CST
node was
parsed. |
void |
AbstractBasicEnvironment.initASTMapping(java.lang.Object astNode,
CSTNode cstNode) |
void |
BasicEnvironment.initASTMapping(java.lang.Object astNode,
CSTNode cstNode)
Initialize the mapping of an object (typically an astNode) to its originating cstNode,
so that AST-based analysis may report error messages exploiting the CST context, or
to support incremental AST/CST update.
|
void |
AbstractBasicEnvironment.initASTMapping(java.lang.Object fromAstNode,
CSTNode cstNode,
java.lang.Object toAstNode) |
void |
BasicEnvironment2.initASTMapping(java.lang.Object fromAstNode,
CSTNode cstNode,
java.lang.Object toAstNode)
Initialize the asymmetric mapping of an object (typically an astNode) to
its originating cstNode, and of a cstNode to its consequent object
(typically an astNode) so that AST-based analysis may report error
messages exploiting the CST context, or to support incremental AST/CST
update.
|
protected void |
AbstractAnalyzer.initPropertyPositions(CallingASTNode callingASTNode,
CSTNode cstNode)
Initializes the start and end positions of the property name in the
specified calling AST node.
|
protected void |
AbstractAnalyzer.initStartEndPositions(ASTNode astNode,
CSTNode cstNode)
Initializes the start and end positions of the specified AST node from
the given CST node
|
protected void |
AbstractAnalyzer.initTypePositions(TypedASTNode typedASTNode,
CSTNode cstNode)
Initializes the type start and end positions of the specified typed AST
node from the given CST node
|
protected void |
AbstractParser.setOffsets(CSTNode cstNode)
Initializes a concrete-syntax node's start and end offsets from the
current token in the parser stream.
|
protected void |
AbstractParser.setOffsets(CSTNode cstNode,
CSTNode startEnd)
Sets the start and end offsets of the given
CSTNode to the
start and end offsets of the 2nd given CSTNode |
protected void |
AbstractParser.setOffsets(CSTNode cstNode,
CSTNode start,
CSTNode end)
Sets the start and end offsets of the given
CSTNode to the
start offset of the 2nd given CSTNode and the end offset of
the 3rd given CSTNode |
protected void |
AbstractParser.setOffsets(CSTNode cstNode,
CSTNode start,
lpg.runtime.IToken end)
Sets the start and end offsets of the given
CSTNode to the
start offset of the 2nd given CSTNode and the end offset of
the given IToken |
protected void |
AbstractParser.setOffsets(CSTNode cstNode,
lpg.runtime.IToken startEnd)
Sets the start and end offsets of the given
CSTNode to the
start and end offsets of the given IToken |
protected void |
AbstractParser.setOffsets(CSTNode cstNode,
lpg.runtime.IToken start,
CSTNode end)
Sets the start and end offsets of the given
CSTNode to the
start offset of the given IToken and the end offset of the
2nd given CSTNode |
protected void |
AbstractParser.setOffsets(CSTNode cstNode,
lpg.runtime.IToken start,
lpg.runtime.IToken end)
Sets the start and end offsets of the given
CSTNode to the
start offset of the 1std given IToken and the end offset of
the 2nd given IToken |
Modifier and Type | Method and Description |
---|---|
void |
AbstractBasicEnvironment.setASTNodeToCSTNodeMap(java.util.Map<java.lang.Object,CSTNode> astNodeToCstNodeMap) |
Modifier and Type | Method and Description |
---|---|
CSTNode |
OCLAnalyzer.parseConcreteSyntax()
Performs a concrete-syntax parser and throws
ParserException
if any parse errors are encountered. |
CSTNode |
OCLParser.parser() |
CSTNode |
OCLParser.parser(int error_repair_count) |
CSTNode |
OCLParser.parser(lpg.runtime.Monitor monitor) |
CSTNode |
OCLParser.parser(lpg.runtime.Monitor monitor,
int error_repair_count) |
Modifier and Type | Method and Description |
---|---|
protected InvalidLiteralExp<C> |
AbstractOCLAnalyzer.createDummyInvalidLiteralExp(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
CSTNode cstNode)
Creates a dummy expression of invalid-literal type to be a placeholder
for a (sub)expression that could not be parsed.
|
protected C |
AbstractOCLAnalyzer.createDummyInvalidType(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
CSTNode cstNode,
java.lang.String message)
Return the type used to terminate the AST reference from cstNode that
failed to be resolved due to message.
|
protected IteratorExp<C,PM> |
AbstractOCLAnalyzer.createImplicitCollect(OCLExpression<C> source,
FeatureCallExp<C> propertyCall,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
CSTNode cstNode)
Creates an implicit
collect iterator expression for a
property call on a collection-type source expression. |
protected VariableExp<C,PM> |
AbstractOCLAnalyzer.createVariableExp(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
CSTNode cst,
Variable<C,PM> var)
Creates a variable expression with the variable that it references.
|
protected Variable<C,PM> |
AbstractOCLAnalyzer.genVariableDeclaration(CSTNode cstNode,
java.lang.String rule,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
java.lang.String name,
C type,
OCLExpression<C> initExp,
boolean explicitFlag,
boolean addToEnvironment,
boolean isSelf)
Generate a VariableDeclaration AST node, and add it to the environment.
|
protected C |
AbstractOCLAnalyzer.getBagType(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C elementType) |
protected C |
AbstractOCLAnalyzer.getCollectionType(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
CollectionKind kind,
C elementType)
Obtains the current environment's representation of the collection type
of the specified kind on the given element type.
|
protected C |
AbstractOCLAnalyzer.getCommonSuperType(CSTNode cstNode,
java.lang.String rule,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C type1,
C type2) |
protected C |
AbstractOCLAnalyzer.getOperationMessageType(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
O operation) |
protected C |
AbstractOCLAnalyzer.getOrderedSetType(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C elementType) |
protected C |
AbstractOCLAnalyzer.getPropertyType(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C owner,
P property)
Obtains the type, in the current environment, of the specified property.
|
protected C |
AbstractOCLAnalyzer.getSequenceType(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C elementType) |
protected C |
AbstractOCLAnalyzer.getSetType(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C elementType) |
protected C |
AbstractOCLAnalyzer.getSignalMessageType(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C signal) |
protected C |
AbstractOCLAnalyzer.getTupleType(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts) |
protected C |
AbstractOCLAnalyzer.getTypeType(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C type) |
protected void |
AbstractOCLAnalyzer.initASTMapping(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
java.lang.Object astNode,
CSTNode cstNode)
Initialize the symmetric mapping of an object (typically an astNode) to
its originating cstNode, so that AST-based analysis may report error
messages exploiting the CST context, or to support incremental AST/CST
update.
|
protected void |
AbstractOCLAnalyzer.initASTMapping(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
java.lang.Object fromAstNode,
CSTNode cstNode,
java.lang.Object toAstNode)
Initialize the asymmetric mapping of an object (typically an astNode) to
its originating cstNode, and of a cstNode to its consequent object
(typically an astNode) so that AST-based analysis may report error
messages exploiting the CST context, or to support incremental AST/CST
update.
|
protected C |
AbstractOCLAnalyzer.lookupAssociationClassReference(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C owner,
java.lang.String name) |
protected C |
AbstractOCLAnalyzer.lookupClassifier(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
java.util.List<java.lang.String> className) |
protected Variable<C,PM> |
AbstractOCLAnalyzer.lookupImplicitSourceForOperation(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
java.util.List<OCLExpression<C>> args,
java.lang.String operationName) |
protected O |
AbstractOCLAnalyzer.lookupOperation(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args) |
protected P |
AbstractOCLAnalyzer.lookupProperty(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C owner,
java.lang.String name) |
protected C |
AbstractOCLAnalyzer.lookupSignal(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args) |
protected S |
AbstractOCLAnalyzer.lookupState(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C sourceType,
java.util.List<java.lang.String> statePath) |
protected StateExp<C,S> |
AbstractOCLAnalyzer.stateExpCS(OCLExpression<C> source,
CSTNode stateExpCS,
org.eclipse.emf.common.util.EList<java.lang.String> statePath,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
stateExpCS
|
protected TypeExp<C> |
AbstractOCLAnalyzer.typeCS(CSTNode enumLiteralExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C type)
EnumLiteralExpCS
|
Modifier and Type | Method and Description |
---|---|
CSTNode |
OCLBacktrackingParser.parser() |
CSTNode |
OCLBacktrackingParser.parser(int error_repair_count) |
CSTNode |
OCLBacktrackingParser.parser(lpg.runtime.Monitor monitor) |
CSTNode |
OCLBacktrackingParser.parser(lpg.runtime.Monitor monitor,
int error_repair_count) |