1 package cve.esecutori.components.specificaLV; 2 3 import java.io.*; 4 import java.util.*; 5 6 import org.jdom.*; 7 8 public interface IRule 9 { 10 String getType(); 11 void setType(String type); 12 String getComment(); 13 void setComment(String com); 14 String getId(); 15 void setId(String id); 16 void addCondition(Element cond); 17 Collection getCondition(); 18 void addPrecondition(ElementAlphabet ele); 19 Collection getPrecondition(); 20 void addConseguent(ElementAlphabet ele); 21 Collection getConseguent(); 22 void addPostFree(ElementAlphabet ele); 23 Collection getPostFree(); 24 ElementRel getRel(); 25 void setRel(ElementRel rel); 26 Collection getAssignmentCons(); 27 } 28 29 30 31 | Popular Tags |