001    package nl.cwi.sen1.tide.tool.support;
002    
003    public interface DebugProcessListener
004    {
005      public void ruleCreated(DebugProcess process, Rule rule);
006      public void ruleDeleted(DebugProcess process, Rule rule);
007      public void ruleModified(DebugProcess process, Rule rule);
008      public void ruleTriggered(DebugProcess process, Rule rule, Expr value);
009      public void evaluationResult(DebugProcess process, Expr expr,
010                                   Expr value, String tag);
011    }