The Meta-Environment API

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

Packages that use Expr
nl.cwi.sen1.tide.tool   
nl.cwi.sen1.tide.tool.ruleinspector   
nl.cwi.sen1.tide.tool.srcviewer   
nl.cwi.sen1.tide.tool.stackviewer   
nl.cwi.sen1.tide.tool.support   
 

Uses of Expr in nl.cwi.sen1.tide.tool
 

Methods in nl.cwi.sen1.tide.tool with parameters of type Expr
 void TideTool.displayError(Expr error)
           
 void TideTool.displayError(java.lang.String msg, Expr data)
           
 

Uses of Expr in nl.cwi.sen1.tide.tool.ruleinspector
 

Methods in nl.cwi.sen1.tide.tool.ruleinspector with parameters of type Expr
 void RuleEditor.evaluationResult(DebugProcess process, Expr expr, Expr value, java.lang.String tag)
           
 void RuleSelector.evaluationResult(DebugProcess process, Expr expr, Expr value, java.lang.String tag)
           
 void RuleEditor.ruleTriggered(DebugProcess process, Rule rule, Expr value)
           
 void RuleSelector.ruleTriggered(DebugProcess process, Rule rule, Expr value)
           
 

Uses of Expr in nl.cwi.sen1.tide.tool.srcviewer
 

Fields in nl.cwi.sen1.tide.tool.srcviewer declared as Expr
private  Expr ValuePopup.expr
           
 

Fields in nl.cwi.sen1.tide.tool.srcviewer with type parameters of type Expr
private  java.util.Map<Rule,Expr> SourceBrowser.breakpointLocations
           
private  java.util.Map<Rule,Expr> SourceBrowser.watchpointLocations
           
 

Methods in nl.cwi.sen1.tide.tool.srcviewer with parameters of type Expr
 void SourceBrowser.addBreakpoint(Rule rule, Expr location)
           
protected  java.lang.Object SourceFileViewer.addHighlight(Expr location, javax.swing.text.Highlighter.HighlightPainter painter, boolean whole_line, boolean is_cpe)
           
 void SourceBrowser.addWatchpoint(Rule rule, Expr location)
           
private  void SourceFileViewer.centerAround(Expr location)
           
 void SourceViewer.evaluationResult(DebugProcess process, Expr expr, Expr value, java.lang.String tag)
           
 void ValuePopup.evaluationResult(DebugProcess process, Expr expr, Expr value, java.lang.String tag)
           
 void SourceFileViewer.evaluationResult(DebugProcess process, Expr expr, Expr value, java.lang.String tag)
           
private  void SourceBrowser.paintLocation(java.awt.Graphics g, Expr loc)
           
 void SourceViewer.ruleTriggered(DebugProcess process, Rule rule, Expr value)
           
 void ValuePopup.ruleTriggered(DebugProcess process, Rule rule, Expr value)
           
 void SourceFileViewer.ruleTriggered(DebugProcess process, Rule rule, Expr value)
           
private  void ValuePopup.updateValue(Expr value)
           
 

Constructors in nl.cwi.sen1.tide.tool.srcviewer with parameters of type Expr
ValuePopup(ToolManager manager, SourceFileViewer viewer, DebugProcess process, Expr expr, java.lang.String label, Expr initial_value, ExprFormat fmt)
           
 

Uses of Expr in nl.cwi.sen1.tide.tool.stackviewer
 

Fields in nl.cwi.sen1.tide.tool.stackviewer declared as Expr
private  Expr StackFrame.location
           
private  Expr StackFrame.vars
           
 

Methods in nl.cwi.sen1.tide.tool.stackviewer that return Expr
 Expr StackFrame.getLocation()
           
 

Methods in nl.cwi.sen1.tide.tool.stackviewer that return types with arguments of type Expr
 java.util.Iterator<Expr> StackFrame.variableIterator()
           
 

Methods in nl.cwi.sen1.tide.tool.stackviewer with parameters of type Expr
 void StackViewer.displayStackTrace(Expr stackTrace)
           
 void StackViewer.evaluationResult(DebugProcess process, Expr expr, Expr value, java.lang.String tag)
           
 void StackViewer.ruleTriggered(DebugProcess process, Rule rule, Expr value)
           
 

Constructors in nl.cwi.sen1.tide.tool.stackviewer with parameters of type Expr
StackFrame(int depth, java.lang.String name, Expr location, Expr vars)
           
 

Uses of Expr in nl.cwi.sen1.tide.tool.support
 

Fields in nl.cwi.sen1.tide.tool.support declared as Expr
private  Expr Rule.act
           
private  Expr Rule.cond
           
private  Expr DebugProcess.lastLocation
           
 

Methods in nl.cwi.sen1.tide.tool.support that return Expr
static Expr Expr.fromTerm(aterm.ATerm expr)
           
 Expr Rule.getAction()
           
 Expr Rule.getCondition()
           
 Expr Expr.getErrorData()
           
 Expr Expr.getFrameLocation()
           
 Expr Expr.getFrameVariables()
           
 Expr DebugProcess.getLastLocation()
           
 Expr Rule.getLocation()
           
 Expr Expr.getVariableValue()
           
 Expr Expr.getVarValue()
           
static Expr Expr.make(aterm.ATerm expr)
           
static Expr Expr.make(java.lang.String expr)
           
static Expr Expr.makeBreak()
           
static Expr Expr.makeCpe()
           
static Expr Expr.makeFalse()
           
static Expr Expr.makeListSources()
           
static Expr Expr.makeLocation(java.lang.String file, int line, int column)
           
static Expr Expr.makeResume()
           
static Expr Expr.makeSourceVar(java.lang.String file, int pos, int linenr, int col, java.lang.String line)
           
static Expr Expr.makeStackTrace()
           
static Expr Expr.makeTrue()
           
 Expr ExprIterator.next()
           
static Expr Expr.parse(java.lang.String spec)
           
 

Methods in nl.cwi.sen1.tide.tool.support that return types with arguments of type Expr
 java.util.Iterator<Expr> Expr.frameIterator()
           
 java.util.Iterator<Expr> Expr.iterator()
           
 

Methods in nl.cwi.sen1.tide.tool.support with parameters of type Expr
 void DebugProcessListener.evaluationResult(DebugProcess process, Expr expr, Expr value, java.lang.String tag)
           
 void DebugProcess.evaluationResult(Expr expr, Expr value, java.lang.String tag)
           
 void DebugAdapter.evaluationResult(int pid, Expr expr, Expr value, java.lang.String tag)
           
 void DebugProcess.fireEvaluationResult(Expr expr, Expr value, java.lang.String tag)
           
 void DebugProcess.fireRuleTriggered(Rule rule, Expr value)
           
 java.lang.String VarFormat.format(Expr expr)
           
 java.lang.String ExprFormat.format(Expr expr)
           
 void Rule.modify(Port port, Expr condition, Expr action, boolean enabled)
           
 void DebugTool.requestEvaluation(aterm.ATerm dap, int pid, Expr expr, java.lang.String tag)
           
 void DebugProcess.requestEvaluation(Expr expr, java.lang.String tag)
           
 void DebugAdapter.requestEvaluation(int pid, Expr expr, java.lang.String tag)
           
 void DebugTool.requestRuleCreation(aterm.ATerm dap, int pid, Port port, Expr cond, Expr act, java.lang.String tag, boolean enabled)
           
 void DebugAdapter.requestRuleCreation(int pid, Port port, Expr cond, Expr act, java.lang.String tag, boolean enabled)
           
 void DebugProcess.requestRuleCreation(Port port, Expr cond, Expr act, java.lang.String tag)
           
 void DebugProcess.requestRuleCreation(Port port, Expr cond, Expr act, java.lang.String tag, boolean enabled)
           
 void DebugTool.requestRuleModification(aterm.ATerm dap, int pid, Rule rule, Port port, Expr cond, Expr act, boolean enabled)
           
 void DebugAdapter.requestRuleModification(int pid, Rule rule, Port port, Expr cond, Expr act, boolean enabled)
           
 void DebugProcess.requestRuleModification(Rule rule, Port port, Expr cond, Expr act, boolean enabled)
           
 void DebugAdapter.ruleModified(int pid, int rid, Port port, Expr cond, Expr action, boolean enabled)
           
 void DebugProcess.ruleModified(int rid, Port port, Expr cond, Expr action, boolean enabled)
           
 void DebugProcessListener.ruleTriggered(DebugProcess process, Rule rule, Expr value)
           
 

Constructors in nl.cwi.sen1.tide.tool.support with parameters of type Expr
Rule(int rid, Port port, Expr cond, Expr act, java.lang.String tag, boolean enabled)
           
 


The Meta-Environment API