1 package cve.esecutori.components.specificaLV;2 3 import java.io.*;4 import java.util.*;5 6 import org.jdom.*;7 import org.jdom.Document;8 import org.jdom.Element;9 10 public interface IRules11 {12 void setAssert(Element ass);13 Element getAssert();14 void addRule(Rule rul);15 Collection getRules();16 }17