equal
deleted
inserted
replaced
10 package isac.util; |
10 package isac.util; |
11 |
11 |
12 import isac.util.formulae.Specification; |
12 import isac.util.formulae.Specification; |
13 import isac.bridge.xml.DataTypes; //.scala |
13 import isac.bridge.xml.DataTypes; //.scala |
14 |
14 |
15 import info.hupel.isabelle.api.XML; // from libisabelle's setup-assembly-*.jar |
15 import edu.tum.cs.isabelle.api.XML; // from libisabelle-full.jar |
16 |
16 |
17 import java.io.Serializable; |
17 import java.io.Serializable; |
18 import java.util.ArrayList; |
18 import java.util.ArrayList; |
19 |
19 |
20 /** |
20 /** |
81 } |
81 } |
82 /** |
82 /** |
83 * Format the object in a way that libisabelle/PIDE can handle it |
83 * Format the object in a way that libisabelle/PIDE can handle it |
84 * @return XML representation of this Variant |
84 * @return XML representation of this Variant |
85 */ |
85 */ |
86 // conversion is done in Scala, because it is much simpler here |
86 // conversion is done in Scala, because it is much simpler there |
87 public XML.Tree toXML() { |
87 public XML.Tree toXML() { |
88 return DataTypes.xml_of_Variant(this); |
88 return DataTypes.xml_of_Variant(this); |
89 } |
89 } |
90 |
90 |
91 public void setSpecification(Specification spec) { |
91 public void setSpecification(Specification spec) { |