nl.cwi.sen1.tide.tool.support
Class Expr

java.lang.Object
  nl.cwi.sen1.tide.tool.support.Expr

public class Expr
extends java.lang.Object

Field Summary

static aterm.ATermFactory	factory
private static java.lang.String	PAT_ERROR
private static java.lang.String	PAT_SOURCE_LIST
private static java.lang.String	PAT_SOURCE_PATH
private static java.lang.String	PAT_SOURCE_VAR
private static java.lang.String	PAT_STACK_FRAME
private static java.lang.String	PAT_STACK_TRACE
private static java.lang.String	PAT_VAR
private static java.lang.String	PAT_VAR_UNKNOWN
private static java.lang.String	PAT_VARIABLE
private static java.lang.String	PATTERN_LOC_AREA
private static java.lang.String	PATTERN_LOC_LC
private static java.lang.String	PATTERN_LOC_LINE
private aterm.ATerm	term

Constructor Summary

Expr(aterm.ATerm term)

Method Summary

java.util.Iterator<Expr>	frameIterator()
static Expr	fromTerm(aterm.ATerm expr)
Expr	getErrorData()
java.lang.String	getErrorMessage()
int	getFrameDepth()
Expr	getFrameLocation()
java.lang.String	getFrameName()
Expr	getFrameVariables()
int	getLocationEndColumn()
int	getLocationEndLine()
java.lang.String	getLocationFileName()
java.lang.String	getLocationShortFile()
int	getLocationStartColumn()
int	getLocationStartLine()
java.lang.String	getSourcePath()
java.lang.String	getVariableName()
Expr	getVariableValue()
java.lang.String	getVarName()
int	getVarSourceLength()
int	getVarSourceLineNr()
int	getVarSourceStart()
int	getVarSourceStartColumn()
java.lang.String	getVarUnknownMessage()
Expr	getVarValue()
static void	initialize(aterm.ATermFactory factory)
boolean	isBreak()
boolean	isError()
boolean	isLocation()
boolean	isLocationUnknown()
boolean	isSourceList()
boolean	isSourcePath()
boolean	isStackFrame()
boolean	isStackTrace()
boolean	isVar()
boolean	isVariable()
boolean	isVarUnknown()
java.util.Iterator<Expr>	iterator()
static Expr	make(aterm.ATerm expr)
static Expr	make(java.lang.String expr)
static Expr	makeBreak()
static Expr	makeCpe()
static Expr	makeFalse()
static Expr	makeListSources()
static Expr	makeLocation(java.lang.String file, int line, int column)
static Expr	makeResume()
static Expr	makeSourceVar(java.lang.String file, int pos, int linenr, int col, java.lang.String line)
static Expr	makeStackTrace()
static Expr	makeTrue()
static Expr	parse(java.lang.String spec)
java.util.Iterator<java.lang.String>	sourceIterator()
java.lang.String	toString()
aterm.ATerm	toTerm()

Methods inherited from class java.lang.Object

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

Field Detail

PATTERN_LOC_LC

private static final java.lang.String PATTERN_LOC_LC

See Also:

Constant Field Values

PATTERN_LOC_LINE

private static final java.lang.String PATTERN_LOC_LINE

See Also:

Constant Field Values

PATTERN_LOC_AREA

private static final java.lang.String PATTERN_LOC_AREA

See Also:

Constant Field Values

PAT_SOURCE_VAR

private static final java.lang.String PAT_SOURCE_VAR

See Also:

Constant Field Values

PAT_VARIABLE

private static final java.lang.String PAT_VARIABLE

See Also:

Constant Field Values

PAT_VAR

private static final java.lang.String PAT_VAR

See Also:

Constant Field Values

PAT_VAR_UNKNOWN

private static final java.lang.String PAT_VAR_UNKNOWN

See Also:

Constant Field Values

PAT_ERROR

private static final java.lang.String PAT_ERROR

See Also:

Constant Field Values

PAT_SOURCE_PATH

private static final java.lang.String PAT_SOURCE_PATH

See Also:

Constant Field Values

PAT_SOURCE_LIST

private static final java.lang.String PAT_SOURCE_LIST

See Also:

Constant Field Values

PAT_STACK_TRACE

private static final java.lang.String PAT_STACK_TRACE

See Also:

Constant Field Values

PAT_STACK_FRAME

private static final java.lang.String PAT_STACK_FRAME

See Also:

Constant Field Values

factory

public static aterm.ATermFactory factory

term

private aterm.ATerm term

Constructor Detail

Expr

Expr(aterm.ATerm term)

Method Detail

initialize

public static void initialize(aterm.ATermFactory factory)

parse

public static Expr parse(java.lang.String spec)

makeTrue

public static Expr makeTrue()

makeFalse

public static Expr makeFalse()

makeCpe

public static Expr makeCpe()

makeBreak

public static Expr makeBreak()

makeResume

public static Expr makeResume()

makeLocation

public static Expr makeLocation(java.lang.String file,
                                int line,
                                int column)

makeListSources

public static Expr makeListSources()

makeStackTrace

public static Expr makeStackTrace()

make

public static Expr make(java.lang.String expr)

make

public static Expr make(aterm.ATerm expr)

fromTerm

public static Expr fromTerm(aterm.ATerm expr)

makeSourceVar

public static Expr makeSourceVar(java.lang.String file,
                                 int pos,
                                 int linenr,
                                 int col,
                                 java.lang.String line)

isError

public boolean isError()

getErrorMessage

public java.lang.String getErrorMessage()

getErrorData

public Expr getErrorData()

isLocation

public boolean isLocation()

isLocationUnknown

public boolean isLocationUnknown()

getLocationFileName

public java.lang.String getLocationFileName()

getLocationShortFile

public java.lang.String getLocationShortFile()

getLocationStartLine

public int getLocationStartLine()

getLocationStartColumn

public int getLocationStartColumn()

getLocationEndLine

public int getLocationEndLine()

getLocationEndColumn

public int getLocationEndColumn()

isVariable

public boolean isVariable()

getVariableName

public java.lang.String getVariableName()

getVariableValue

public Expr getVariableValue()

isVar

public boolean isVar()

getVarName

public java.lang.String getVarName()

getVarValue

public Expr getVarValue()

getVarSourceStart

public int getVarSourceStart()

getVarSourceLineNr

public int getVarSourceLineNr()

getVarSourceStartColumn

public int getVarSourceStartColumn()

getVarSourceLength

public int getVarSourceLength()

isVarUnknown

public boolean isVarUnknown()

getVarUnknownMessage

public java.lang.String getVarUnknownMessage()

isBreak

public boolean isBreak()

isSourcePath

public boolean isSourcePath()

getSourcePath

public java.lang.String getSourcePath()

isSourceList

public boolean isSourceList()

sourceIterator

public java.util.Iterator<java.lang.String> sourceIterator()

isStackTrace

public boolean isStackTrace()

frameIterator

public java.util.Iterator<Expr> frameIterator()

isStackFrame

public boolean isStackFrame()

getFrameDepth

public int getFrameDepth()

getFrameName

public java.lang.String getFrameName()

getFrameLocation

public Expr getFrameLocation()

getFrameVariables

public Expr getFrameVariables()

iterator

public java.util.Iterator<Expr> iterator()

toTerm

public aterm.ATerm toTerm()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object