org.eclipse.ocl.lpg

Class AbstractAnalyzer

java.lang.Object

org.eclipse.ocl.lpg.AbstractAnalyzer

Direct Known Subclasses:

AbstractOCLAnalyzer

public abstract class AbstractAnalyzer
extends java.lang.Object

The AbstractAnalyzer supports semantic analysis of a CST produced by an AbstractParser to create a corresponding AST. It is necessary that syntactic parsing and semantic analysis are performed in two steps because LPG is a bottom up parser and cannot provide enough contextual information to create the AST on the first pass. Derived classes should extend the abstract support for AST from CST from tokens from text parsing and analysis to support the AST and CST classes appropriate to a particular language.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractAnalyzer(AbstractParser parser)

Method Summary

Modifier and Type	Method and Description
java.lang.String	computeInputString(CSTNode node) Obtains the text from which the specified CST node was parsed.
void	dumpTokens()
void	ERROR(java.util.List<?> problemObjects, java.lang.String rule, java.lang.String problemMessage)
void	ERROR(java.lang.Object problemObject, java.lang.String rule, java.lang.String problemMessage)
void	ERROR(java.lang.String problemMessage)
java.lang.String	formatClass(java.lang.Object object)
java.lang.String	formatEClassName(org.eclipse.emf.ecore.EObject object)
java.lang.String	formatName(java.lang.Object object)
java.lang.String	formatPath(java.util.List<java.lang.String> pathName)
java.lang.String	formatPath(java.util.List<java.lang.String> pathName, java.lang.String name)
java.lang.String	formatQualifiedName(java.lang.Object object)
java.lang.String	formatString(java.lang.String string)
java.lang.String	formatType(java.lang.Object object)
AbstractParser	getAbstractParser() Obtains the parser that I use to transform the OCL text into the Concrete Syntax Model.
int	getCharOffset()
BasicEnvironment	getEnvironment()
FormattingHelper	getFormatter() Get the message formatting assistant, returning the value set by setFormatter, if non-null, else that provided by the environment, if non-null, else AbstractFormattingHelper.INSTANCE.
AbstractLexer	getLexer()
AbstractParser	getParser() Deprecated. Since 1.3, use the getAbstractParser() method, instead.
boolean	getTraceFlag()
void	initialize(char[] buffer) Deprecated. clients should invoke reset(char[], String)
void	initialize(java.io.Reader reader) Deprecated. clients should invoke reset(Reader, String)
protected void	initPropertyPositions(CallingASTNode callingASTNode, CSTNode cstNode) Initializes the start and end positions of the property name in the specified calling AST node.
protected void	initStartEndPositions(ASTNode astNode, CSTNode cstNode) Initializes the start and end positions of the specified AST node from the given CST node
protected void	initTypePositions(TypedASTNode typedASTNode, CSTNode cstNode) Initializes the type start and end positions of the specified typed AST node from the given CST node
protected java.lang.String	makeName(org.eclipse.emf.common.util.EList<java.lang.String> namelist) Creates a string by joining the given string list elements with ::.
protected java.lang.String	makeString(org.eclipse.emf.common.util.EList<java.lang.String> namelist) Creates a string by joining the given string list elements with spaces.
void	reset(char[] buffer, java.lang.String fileName) Define the input text as a given array of characters.
void	reset(java.io.Reader reader, java.lang.String fileName) Define the input text by reading from a reader.
void	setCharacterOffset(int offset) Sets the character index offset of the input.
void	setFileName(java.lang.String filename)
void	setTab(int tab)
void	setTraceFlag(boolean flag)
protected void	TRACE(java.lang.String rule, java.lang.String message)
protected void	TRACE(java.lang.String rule, java.lang.String message, org.eclipse.emf.common.util.EList<java.lang.String> namelist)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractAnalyzer

protected AbstractAnalyzer(AbstractParser parser)

Method Detail

computeInputString

public java.lang.String computeInputString(CSTNode node)

Obtains the text from which the specified CST node was parsed.

Parameters:

node - a concrete syntax node

Returns:

its text

dumpTokens

public void dumpTokens()

formatClass

public java.lang.String formatClass(java.lang.Object object)

formatEClassName

public java.lang.String formatEClassName(org.eclipse.emf.ecore.EObject object)

formatName

public java.lang.String formatName(java.lang.Object object)

formatQualifiedName

public java.lang.String formatQualifiedName(java.lang.Object object)

formatPath

public java.lang.String formatPath(java.util.List<java.lang.String> pathName)

formatPath

public java.lang.String formatPath(java.util.List<java.lang.String> pathName,
                                   java.lang.String name)

formatString

public java.lang.String formatString(java.lang.String string)

formatType

public java.lang.String formatType(java.lang.Object object)

getAbstractParser

public AbstractParser getAbstractParser()

Obtains the parser that I use to transform the OCL text into the Concrete Syntax Model.

Since:

1.3

getCharOffset

public int getCharOffset()

getEnvironment

public BasicEnvironment getEnvironment()

getFormatter

public FormattingHelper getFormatter()

Get the message formatting assistant, returning the value set by setFormatter, if non-null, else that provided by the environment, if non-null, else AbstractFormattingHelper.INSTANCE.

Returns:

A non-null message formatting helper

getLexer

public AbstractLexer getLexer()

getParser

@Deprecated
public AbstractParser getParser()

Deprecated. Since 1.3, use the getAbstractParser() method, instead.

Obtains my parser.

Returns:

my parser

getTraceFlag

public boolean getTraceFlag()

initPropertyPositions

protected void initPropertyPositions(CallingASTNode callingASTNode,
                                     CSTNode cstNode)

Initializes the start and end positions of the property name in the specified calling AST node.

Parameters:

callingASTNode - a calling AST node

cstNode - a CST node

initStartEndPositions

protected void initStartEndPositions(ASTNode astNode,
                                     CSTNode cstNode)

Initializes the start and end positions of the specified AST node from the given CST node

Parameters:

astNode - an AST node

cstNode - a CST node

initTypePositions

protected void initTypePositions(TypedASTNode typedASTNode,
                                 CSTNode cstNode)

Initializes the type start and end positions of the specified typed AST node from the given CST node

Parameters:

typedASTNode - a typed AST node

cstNode - a CST node

makeName

protected java.lang.String makeName(org.eclipse.emf.common.util.EList<java.lang.String> namelist)

Creates a string by joining the given string list elements with ::.

Parameters:

namelist - list of names to make string out of

Returns:

the qualified name comprising the list of name elements

makeString

protected java.lang.String makeString(org.eclipse.emf.common.util.EList<java.lang.String> namelist)

Creates a string by joining the given string list elements with spaces.

Parameters:

namelist - list of names to make string out of

Returns:

string representation of the list of string elements

setCharacterOffset

public void setCharacterOffset(int offset)

Sets the character index offset of the input.

Parameters:

offset -

setFileName

public void setFileName(java.lang.String filename)

initialize

@Deprecated
public void initialize(char[] buffer)

Deprecated. clients should invoke reset(char[], String)

Define the input text as a given array of characters.

Parameters:

buffer - the characters

initialize

@Deprecated
public void initialize(java.io.Reader reader)
                             throws java.io.IOException

Deprecated. clients should invoke reset(Reader, String)

Define the input text by reading from a reader.

Parameters:

reader - providing the source text

Throws:

java.io.IOException - if reading fails

reset

public void reset(char[] buffer,
                  java.lang.String fileName)

Define the input text as a given array of characters.

Parameters:

buffer - the characters

fileName - the associated finleName of the input, or null if none.

Since:

3.0

reset

public void reset(java.io.Reader reader,
                  java.lang.String fileName)
           throws java.io.IOException

Define the input text by reading from a reader.

Parameters:

reader - providing the source text

fileName - the associated finleName of the input, or null if none.

Throws:

java.io.IOException - if reading fails

Since:

3.0

setTab

public void setTab(int tab)

setTraceFlag

public void setTraceFlag(boolean flag)

ERROR

public void ERROR(java.lang.String problemMessage)

ERROR

public void ERROR(java.lang.Object problemObject,
                  java.lang.String rule,
                  java.lang.String problemMessage)

ERROR

public void ERROR(java.util.List<?> problemObjects,
                  java.lang.String rule,
                  java.lang.String problemMessage)

TRACE

protected void TRACE(java.lang.String rule,
                     java.lang.String message)

TRACE

protected void TRACE(java.lang.String rule,
                     java.lang.String message,
                     org.eclipse.emf.common.util.EList<java.lang.String> namelist)