The Meta-Environment API

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

java.lang.Object
  extended by nl.cwi.sen1.tide.tool.support.DebugAdapter

public class DebugAdapter
extends java.lang.Object


Field Summary
private  aterm.ATerm dap
           
private  Info info
           
private  java.util.List<DebugAdapterListener> listeners
           
private  java.util.Map<java.lang.Integer,DebugProcess> processes
           
private  DebugTool tool
           
 
Constructor Summary
DebugAdapter(DebugTool tool, aterm.ATerm dap)
           
 
Method Summary
 void addDebugAdapterListener(DebugAdapterListener listener)
           
 void evaluationResult(int pid, Expr expr, Expr value, java.lang.String tag)
           
 void event(int pid, int rid, aterm.ATerm result)
           
private  DebugProcess findProcess(int pid)
           
private  void fireProcessCreated(DebugProcess proc)
           
private  void fireProcessDestroyed(DebugProcess proc)
           
 java.lang.String getName()
           
 void processCreated(int pid, java.lang.String name)
           
 void processDestroyed(int pid)
           
 void removeAllProcesses()
           
 void removeDebugAdapterListener(DebugAdapterListener listener)
           
 void requestBreak(int pid)
           
 void requestEvaluation(int pid, Expr expr, java.lang.String tag)
           
 void requestResume(int pid)
           
 void requestRuleCreation(int pid, Port port, Expr cond, Expr act, java.lang.String tag, boolean enabled)
           
 void requestRuleDeletion(int pid, Rule rule)
           
 void requestRuleModification(int pid, Rule rule, Port port, Expr cond, Expr act, boolean enabled)
           
 void ruleCreated(int pid, Rule rule)
           
 void ruleDeleted(int pid, int rid)
           
 void ruleModified(int pid, int rid, Port port, Expr cond, Expr action, boolean enabled)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

tool

private DebugTool tool

dap

private aterm.ATerm dap

processes

private java.util.Map<java.lang.Integer,DebugProcess> processes

listeners

private java.util.List<DebugAdapterListener> listeners

info

private Info info
Constructor Detail

DebugAdapter

public DebugAdapter(DebugTool tool,
                    aterm.ATerm dap)
Method Detail

getName

public java.lang.String getName()

event

public void event(int pid,
                  int rid,
                  aterm.ATerm result)

removeAllProcesses

public void removeAllProcesses()

addDebugAdapterListener

public void addDebugAdapterListener(DebugAdapterListener listener)

removeDebugAdapterListener

public void removeDebugAdapterListener(DebugAdapterListener listener)

findProcess

private DebugProcess findProcess(int pid)

processCreated

public void processCreated(int pid,
                           java.lang.String name)

fireProcessCreated

private void fireProcessCreated(DebugProcess proc)

processDestroyed

public void processDestroyed(int pid)

fireProcessDestroyed

private void fireProcessDestroyed(DebugProcess proc)

ruleCreated

public void ruleCreated(int pid,
                        Rule rule)

ruleDeleted

public void ruleDeleted(int pid,
                        int rid)

ruleModified

public void ruleModified(int pid,
                         int rid,
                         Port port,
                         Expr cond,
                         Expr action,
                         boolean enabled)

evaluationResult

public void evaluationResult(int pid,
                             Expr expr,
                             Expr value,
                             java.lang.String tag)

requestRuleCreation

public void requestRuleCreation(int pid,
                                Port port,
                                Expr cond,
                                Expr act,
                                java.lang.String tag,
                                boolean enabled)

requestRuleDeletion

public void requestRuleDeletion(int pid,
                                Rule rule)

requestRuleModification

public void requestRuleModification(int pid,
                                    Rule rule,
                                    Port port,
                                    Expr cond,
                                    Expr act,
                                    boolean enabled)

requestBreak

public void requestBreak(int pid)

requestResume

public void requestResume(int pid)

requestEvaluation

public void requestEvaluation(int pid,
                              Expr expr,
                              java.lang.String tag)

The Meta-Environment API