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
Constructor Summary |
Expr(aterm.ATerm term)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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
Expr
Expr(aterm.ATerm term)
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