001    // Java tool interface ModuleManagerTif
002    // This file is generated automatically, please do not edit!
003    // generation time: Mar 7, 2007 10:19:46 AM
004    
005    package nl.cwi.sen1.modulemanager;
006    
007    import aterm.*;
008    
009    public interface ModuleManagerTif
010    {
011      public void deleteDependencies(ATerm t0);
012      public void addDependency(ATerm t0, ATerm t1);
013      public void deleteModule(ATerm t0);
014      public void deleteAttribute(ATerm t0, ATerm t1, ATerm t2);
015      public void deleteDependency(ATerm t0, ATerm t1);
016      public void addAttribute(ATerm t0, ATerm t1, ATerm t2, ATerm t3);
017      public void registerAttributeUpdateRule(ATerm t0, ATerm t1, ATerm t2, ATerm t3);
018      public ATerm getAttribute(ATerm t0, ATerm t1, ATerm t2);
019      public ATerm getAllAttributes(ATerm t0);
020      public ATerm getDependencies();
021      public ATerm getChildrenModules(ATerm t0);
022      public ATerm getAllParentModules(ATerm t0);
023      public ATerm getClosableModules(ATerm t0);
024      public ATerm getAllChildrenModules(ATerm t0);
025      public ATerm getAllModules();
026      public ATerm createModule();
027      public ATerm getModuleIdByAttribute(ATerm t0, ATerm t1, ATerm t2);
028      public ATerm getModuleGraph(ATerm t0);
029      public ATerm getParentModules(ATerm t0);
030      public void recAckEvent(ATerm t0);
031      public void recTerminate(ATerm t0);
032    }