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 }