The Meta-Environment API

nl.cwi.sen1.tide.adapters
Interface DebugAdapterTif

All Known Implementing Classes:
DebugAdapter, DebugAdapterBridge, DebugAdapterTool, GdbAdapter

public interface DebugAdapterTif


Method Summary
 aterm.ATerm createRule(int i0, aterm.ATerm t1, aterm.ATerm t2, aterm.ATerm t3, aterm.ATerm t4, aterm.ATerm t5)
           
 aterm.ATerm deleteRule(int i0, int i1)
           
 aterm.ATerm disableRule(int i0, int i1)
           
 aterm.ATerm enableRule(int i0, int i1)
           
 aterm.ATerm evaluate(int i0, aterm.ATerm t1)
           
 aterm.ATerm modifyRule(int i0, int i1, aterm.ATerm t2, aterm.ATerm t3, aterm.ATerm t4, aterm.ATerm t5)
           
 void recAckEvent(aterm.ATerm t0)
           
 void recTerminate(aterm.ATerm t0)
           
 

Method Detail

modifyRule

aterm.ATerm modifyRule(int i0,
                       int i1,
                       aterm.ATerm t2,
                       aterm.ATerm t3,
                       aterm.ATerm t4,
                       aterm.ATerm t5)

disableRule

aterm.ATerm disableRule(int i0,
                        int i1)

enableRule

aterm.ATerm enableRule(int i0,
                       int i1)

deleteRule

aterm.ATerm deleteRule(int i0,
                       int i1)

createRule

aterm.ATerm createRule(int i0,
                       aterm.ATerm t1,
                       aterm.ATerm t2,
                       aterm.ATerm t3,
                       aterm.ATerm t4,
                       aterm.ATerm t5)

evaluate

aterm.ATerm evaluate(int i0,
                     aterm.ATerm t1)

recAckEvent

void recAckEvent(aterm.ATerm t0)

recTerminate

void recTerminate(aterm.ATerm t0)

The Meta-Environment API