From 8d8c4806e2fd5ad077736902b99bd3bdbbd855b6 Mon Sep 17 00:00:00 2001
From: Anders Nilsson <anders.nilsson@cs.lth.se>
Date: Wed, 29 Nov 2006 08:47:00 +0100
Subject: [PATCH] Regenerated javadoc
---
CompilerGeneration.jrag | 14 ++-
Misc.jrag | 8 ++
javadoc/AST/ASTNode.html | 102 +++++++++++++++-
javadoc/AST/Attribute.html | 4 +-
javadoc/AST/ComplexElement.html | 4 +-
javadoc/AST/Element.html | 4 +-
javadoc/AST/FloatElement.html | 4 +-
javadoc/AST/IntElement.html | 4 +-
javadoc/AST/JavaCharStream.html | 2 +-
javadoc/AST/List.html | 4 +-
javadoc/AST/Node.html | 2 +-
javadoc/AST/OClass.html | 107 +++++++++++++++--
javadoc/AST/Opt.html | 4 +-
javadoc/AST/OwlAllDifferent.html | 4 +-
javadoc/AST/OwlAllValuesFrom.html | 4 +-
javadoc/AST/OwlCardinality.html | 4 +-
javadoc/AST/OwlClass.html | 4 +-
javadoc/AST/OwlClassDecl.html | 153 +++++++++++++++++++++++-
javadoc/AST/OwlClassUse.html | 39 +++++-
javadoc/AST/OwlDataRange.html | 4 +-
javadoc/AST/OwlDatatypeProperty.html | 4 +-
javadoc/AST/OwlDisjointWith.html | 4 +-
javadoc/AST/OwlEquivalentClass.html | 4 +-
javadoc/AST/OwlFunctionalProperty.html | 4 +-
javadoc/AST/OwlImports.html | 4 +-
javadoc/AST/OwlIntersectionOf.html | 4 +-
javadoc/AST/OwlInverseOf.html | 4 +-
javadoc/AST/OwlMinCardinality.html | 4 +-
javadoc/AST/OwlObjectProperty.html | 4 +-
javadoc/AST/OwlOnProperty.html | 4 +-
javadoc/AST/OwlOneOf.html | 4 +-
javadoc/AST/OwlOntology.html | 4 +-
javadoc/AST/OwlParser.html | 2 +-
javadoc/AST/OwlParserConstants.html | 2 +-
javadoc/AST/OwlParserTokenManager.html | 2 +-
javadoc/AST/OwlParserTreeConstants.html | 2 +-
javadoc/AST/OwlParserVisitor.html | 2 +-
javadoc/AST/OwlProperty.html | 4 +-
javadoc/AST/OwlRestriction.html | 4 +-
javadoc/AST/OwlSomeValuesFrom.html | 4 +-
javadoc/AST/OwlUnionOf.html | 4 +-
javadoc/AST/OwlValuesFrom.html | 4 +-
javadoc/AST/ParseException.html | 2 +-
javadoc/AST/Properties.html | 4 +-
javadoc/AST/RdfAbout.html | 4 +-
javadoc/AST/RdfDatatype.html | 4 +-
javadoc/AST/RdfDeclaration.html | 4 +-
javadoc/AST/RdfFirst.html | 4 +-
javadoc/AST/RdfId.html | 4 +-
javadoc/AST/RdfParseType.html | 4 +-
javadoc/AST/RdfResource.html | 4 +-
javadoc/AST/RdfRest.html | 4 +-
javadoc/AST/RdfType.html | 4 +-
javadoc/AST/RdfsComment.html | 4 +-
javadoc/AST/RdfsDomain.html | 4 +-
javadoc/AST/RdfsRange.html | 4 +-
javadoc/AST/RdfsSubClassOf.html | 4 +-
javadoc/AST/RdfsSubPropertyOf.html | 4 +-
javadoc/AST/Restrictions.html | 4 +-
javadoc/AST/SimpleElement.html | 4 +-
javadoc/AST/SimpleNode.html | 2 +-
javadoc/AST/Specification.html | 4 +-
javadoc/AST/Start.html | 62 ++++++++--
javadoc/AST/StringElement.html | 4 +-
javadoc/AST/Token.html | 2 +-
javadoc/AST/TokenMgrError.html | 2 +-
javadoc/AST/Value.html | 4 +-
javadoc/AST/Version.html | 4 +-
javadoc/AST/XmlBase.html | 4 +-
javadoc/AST/XmlHeader.html | 4 +-
javadoc/AST/Xmlns.html | 4 +-
javadoc/AST/XmlnsDaml.html | 4 +-
javadoc/AST/XmlnsDc.html | 4 +-
javadoc/AST/XmlnsOwl.html | 4 +-
javadoc/AST/XmlnsP1.html | 4 +-
javadoc/AST/XmlnsProtege.html | 4 +-
javadoc/AST/XmlnsRdf.html | 4 +-
javadoc/AST/XmlnsRdfs.html | 4 +-
javadoc/AST/XmlnsXsd.html | 4 +-
javadoc/AST/package-frame.html | 2 +-
javadoc/AST/package-summary.html | 2 +-
javadoc/AST/package-tree.html | 2 +-
javadoc/allclasses-frame.html | 2 +-
javadoc/allclasses-noframe.html | 2 +-
javadoc/constant-values.html | 6 +-
javadoc/deprecated-list.html | 6 +-
javadoc/help-doc.html | 6 +-
javadoc/index-all.html | 65 ++++++++--
javadoc/index.html | 2 +-
javadoc/overview-tree.html | 2 +-
javadoc/serialized-form.html | 6 +-
91 files changed, 657 insertions(+), 197 deletions(-)
diff --git a/CompilerGeneration.jrag b/CompilerGeneration.jrag
index 941619e..8d4047d 100644
--- a/CompilerGeneration.jrag
+++ b/CompilerGeneration.jrag
@@ -129,15 +129,15 @@ aspect GenPrettyPrinter {
public void OwlClassDecl.genPrettyPrinter(String ind, PrintStream pStream) {
pStream.print(" public void "+name());
pStream.println(".prettyPrint(String indent, PrintStream pStream) {");
- pStream.print(" System.out.print(indent+\"<"+name());
+ pStream.print(" System.out.println(indent+\"<"+name());
for (int i=0; i<getNumAttribute(); i++) {
getAttribute(i).genPrettyPrinter(ind,pStream);
}
- pStream.println(" >\");");
+ pStream.println(">\");");
for (int i=0; i<getNumElement(); i++) {
getElement(i).genPrettyPrinter(ind,pStream);
}
- pStream.println(" System.out.print(indent+\"</"+name()+">\");");
+ pStream.println(" System.out.println(indent+\"</"+name()+">\");");
pStream.println("}\n");
}
}
@@ -161,7 +161,13 @@ aspect GenRewrites {
public void OwlClassDecl.genRewrites(PrintStream pStream) {
String ind = " ";
-
+ pStream.println(ind(1)+"rewrite ComplexElement {");
+ pStream.println(ind(2)+"when (getOwlIdentifier().getIDENTIFIER().equals(\""+
+ name()+"\"))");
+ pStream.println(ind(3)+"to "+name()+" {");
+ pStream.println(ind(3)+"return new "+name()+"();");
+ pStream.println(ind(2)+"}");
+ pStream.println(ind(1)+"}");
}
}
diff --git a/Misc.jrag b/Misc.jrag
index a9d0f4a..a10da15 100644
--- a/Misc.jrag
+++ b/Misc.jrag
@@ -3,4 +3,12 @@
aspect Misc {
syn Start ASTNode.goStart() = getParent().goStart();
eq Start.goStart() = this;
+
+ public String ASTNode.ind(int n) {
+ StringBuffer s = new StringBuffer();
+ for (int i=0; i<n; i++) {
+ s.append(" ");
+ }
+ return s.toString();
+ }
}
diff --git a/javadoc/AST/ASTNode.html b/javadoc/AST/ASTNode.html
index 6eb3461..913ed1a 100644
--- a/javadoc/AST/ASTNode.html
+++ b/javadoc/AST/ASTNode.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:03 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:34 CET 2006 -->
<TITLE>
ASTNode
</TITLE>
@@ -327,7 +327,16 @@ java.lang.Object
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> void</CODE></FONT></TD>
-<TD><CODE><B><A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A></B>(java.io.PrintStream pStream)</CODE>
+<TD><CODE><B><A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A></B>(java.lang.String ind,
+ java.io.PrintStream pStream)</CODE>
+
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> void</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A></B>(java.io.PrintStream pStream)</CODE>
<BR>
</TD>
@@ -369,6 +378,31 @@ java.lang.Object
<CODE> <A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/ASTNode.html#getParent()">getParent</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> java.util.ArrayList</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A></B>(<A HREF="../AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A> klass,
+ java.util.ArrayList l)</CODE>
+
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> <A HREF="../AST/Start.html" title="class in AST">Start</A></CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/ASTNode.html#goStart()">goStart</A></B>()</CODE>
+
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> java.lang.String</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/ASTNode.html#ind(int)">ind</A></B>(int n)</CODE>
+
<BR>
</TD>
</TR>
@@ -906,10 +940,68 @@ public boolean <B>mayHaveRewrite</B>()</PRE>
</DL>
<HR>
-<A NAME="genJavaCC(java.io.PrintStream)"><!-- --></A><H3>
-genJavaCC</H3>
+<A NAME="genPrettyPrinter(java.lang.String, java.io.PrintStream)"><!-- --></A><H3>
+genPrettyPrinter</H3>
+<PRE>
+public void <B>genPrettyPrinter</B>(java.lang.String ind,
+ java.io.PrintStream pStream)</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="genRewrites(java.io.PrintStream)"><!-- --></A><H3>
+genRewrites</H3>
+<PRE>
+public void <B>genRewrites</B>(java.io.PrintStream pStream)</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="ind(int)"><!-- --></A><H3>
+ind</H3>
+<PRE>
+public java.lang.String <B>ind</B>(int n)</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="goStart()"><!-- --></A><H3>
+goStart</H3>
+<PRE>
+public <A HREF="../AST/Start.html" title="class in AST">Start</A> <B>goStart</B>()</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="getSubClasses(AST.OwlClassDecl, java.util.ArrayList)"><!-- --></A><H3>
+getSubClasses</H3>
<PRE>
-public void <B>genJavaCC</B>(java.io.PrintStream pStream)</PRE>
+public java.util.ArrayList <B>getSubClasses</B>(<A HREF="../AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A> klass,
+ java.util.ArrayList l)</PRE>
<DL>
<DD><DL>
</DL>
diff --git a/javadoc/AST/Attribute.html b/javadoc/AST/Attribute.html
index 42d5431..339adf6 100644
--- a/javadoc/AST/Attribute.html
+++ b/javadoc/AST/Attribute.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:03 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:34 CET 2006 -->
<TITLE>
Attribute
</TITLE>
@@ -286,7 +286,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/ComplexElement.html b/javadoc/AST/ComplexElement.html
index 21c2e61..554f5d8 100644
--- a/javadoc/AST/ComplexElement.html
+++ b/javadoc/AST/ComplexElement.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:03 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:34 CET 2006 -->
<TITLE>
ComplexElement
</TITLE>
@@ -387,7 +387,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/Element.html b/javadoc/AST/Element.html
index 62b11cd..b49ce46 100644
--- a/javadoc/AST/Element.html
+++ b/javadoc/AST/Element.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:04 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:34 CET 2006 -->
<TITLE>
Element
</TITLE>
@@ -272,7 +272,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/FloatElement.html b/javadoc/AST/FloatElement.html
index 59d0c9a..d3f4889 100644
--- a/javadoc/AST/FloatElement.html
+++ b/javadoc/AST/FloatElement.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:04 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:34 CET 2006 -->
<TITLE>
FloatElement
</TITLE>
@@ -294,7 +294,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/IntElement.html b/javadoc/AST/IntElement.html
index bf5229e..5e9bec5 100644
--- a/javadoc/AST/IntElement.html
+++ b/javadoc/AST/IntElement.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:04 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
IntElement
</TITLE>
@@ -294,7 +294,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/JavaCharStream.html b/javadoc/AST/JavaCharStream.html
index c71f70c..fc0d263 100644
--- a/javadoc/AST/JavaCharStream.html
+++ b/javadoc/AST/JavaCharStream.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:04 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
JavaCharStream
</TITLE>
diff --git a/javadoc/AST/List.html b/javadoc/AST/List.html
index 12cc055..d1601a3 100644
--- a/javadoc/AST/List.html
+++ b/javadoc/AST/List.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:04 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
List
</TITLE>
@@ -261,7 +261,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getNumChild()">getNumChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getNumChild()">getNumChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/Node.html b/javadoc/AST/Node.html
index d403b07..b734b64 100644
--- a/javadoc/AST/Node.html
+++ b/javadoc/AST/Node.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:04 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
Node
</TITLE>
diff --git a/javadoc/AST/OClass.html b/javadoc/AST/OClass.html
index b3d1a4a..de36415 100644
--- a/javadoc/AST/OClass.html
+++ b/javadoc/AST/OClass.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:04 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
OClass
</TITLE>
@@ -158,8 +158,9 @@ java.lang.Object
</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><B><A HREF="../AST/OClass.html#OClass(AST.List, AST.List)">OClass</A></B>(<A HREF="../AST/List.html" title="class in AST">List</A> p0,
- <A HREF="../AST/List.html" title="class in AST">List</A> p1)</CODE>
+<TD><CODE><B><A HREF="../AST/OClass.html#OClass(AST.List, AST.List, java.lang.String)">OClass</A></B>(<A HREF="../AST/List.html" title="class in AST">List</A> p0,
+ <A HREF="../AST/List.html" title="class in AST">List</A> p1,
+ java.lang.String p2)</CODE>
<BR>
</TD>
@@ -276,6 +277,14 @@ java.lang.Object
<CODE> <A HREF="../AST/List.html" title="class in AST">List</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/OClass.html#getElementListNoTransform()">getElementListNoTransform</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> java.lang.String</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OClass.html#getId()">getId</A></B>()</CODE>
+
<BR>
</TD>
</TR>
@@ -300,6 +309,14 @@ java.lang.Object
<CODE> int</CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/OClass.html#getNumElement()">getNumElement</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE>abstract java.util.ArrayList</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OClass.html#getSubClasses()">getSubClasses</A></B>()</CODE>
+
<BR>
</TD>
</TR>
@@ -335,6 +352,14 @@ java.lang.Object
<CODE> boolean</CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/OClass.html#mayHaveRewrite()">mayHaveRewrite</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> java.lang.String</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OClass.html#name()">name</A></B>()</CODE>
+
<BR>
</TD>
</TR>
@@ -380,14 +405,13 @@ java.lang.Object
<BR>
</TD>
</TR>
-</TABLE>
- <A NAME="methods_inherited_from_class_AST.ComplexElement"><!-- --></A>
-<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
-<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
-<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ComplexElement.html" title="class in AST">ComplexElement</A></B></TH>
-</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ComplexElement.html#getId()">getId</A></CODE></TD>
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> void</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OClass.html#setId(java.lang.String)">setId</A></B>(java.lang.String value)</CODE>
+
+<BR>
+ </TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.Element"><!-- --></A>
@@ -405,7 +429,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
@@ -464,11 +488,12 @@ public <B>OClass</B>()</PRE>
</DL>
<HR>
-<A NAME="OClass(AST.List, AST.List)"><!-- --></A><H3>
+<A NAME="OClass(AST.List, AST.List, java.lang.String)"><!-- --></A><H3>
OClass</H3>
<PRE>
public <B>OClass</B>(<A HREF="../AST/List.html" title="class in AST">List</A> p0,
- <A HREF="../AST/List.html" title="class in AST">List</A> p1)</PRE>
+ <A HREF="../AST/List.html" title="class in AST">List</A> p1,
+ java.lang.String p2)</PRE>
<DL>
</DL>
@@ -792,6 +817,34 @@ public <A HREF="../AST/List.html" title="class in AST">List</A> <B>getElementLis
</DL>
<HR>
+<A NAME="setId(java.lang.String)"><!-- --></A><H3>
+setId</H3>
+<PRE>
+public void <B>setId</B>(java.lang.String value)</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="getId()"><!-- --></A><H3>
+getId</H3>
+<PRE>
+public java.lang.String <B>getId</B>()</PRE>
+<DL>
+<DD><DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ComplexElement.html#getId()">getId</A></CODE> in class <CODE><A HREF="../AST/ComplexElement.html" title="class in AST">ComplexElement</A></CODE></DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
<A NAME="getSuperClass()"><!-- --></A><H3>
getSuperClass</H3>
<PRE>
@@ -820,6 +873,34 @@ public abstract <A HREF="../AST/OwlClassDecl.html" title="class in AST">OwlClass
</DL>
<HR>
+<A NAME="getSubClasses()"><!-- --></A><H3>
+getSubClasses</H3>
+<PRE>
+public abstract java.util.ArrayList <B>getSubClasses</B>()</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="name()"><!-- --></A><H3>
+name</H3>
+<PRE>
+public java.lang.String <B>name</B>()</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
<A NAME="rewriteTo()"><!-- --></A><H3>
rewriteTo</H3>
<PRE>
diff --git a/javadoc/AST/Opt.html b/javadoc/AST/Opt.html
index 4653f5e..a2ed2b4 100644
--- a/javadoc/AST/Opt.html
+++ b/javadoc/AST/Opt.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:04 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
Opt
</TITLE>
@@ -259,7 +259,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getNumChild()">getNumChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getNumChild()">getNumChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlAllDifferent.html b/javadoc/AST/OwlAllDifferent.html
index 49002d5..a103190 100644
--- a/javadoc/AST/OwlAllDifferent.html
+++ b/javadoc/AST/OwlAllDifferent.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
OwlAllDifferent
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlAllValuesFrom.html b/javadoc/AST/OwlAllValuesFrom.html
index 59c010e..b1a2b8c 100644
--- a/javadoc/AST/OwlAllValuesFrom.html
+++ b/javadoc/AST/OwlAllValuesFrom.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
OwlAllValuesFrom
</TITLE>
@@ -403,7 +403,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlCardinality.html b/javadoc/AST/OwlCardinality.html
index 3b6e9af..201f106 100644
--- a/javadoc/AST/OwlCardinality.html
+++ b/javadoc/AST/OwlCardinality.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
OwlCardinality
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlClass.html b/javadoc/AST/OwlClass.html
index c99f701..8fcc87e 100644
--- a/javadoc/AST/OwlClass.html
+++ b/javadoc/AST/OwlClass.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
OwlClass
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlClassDecl.html b/javadoc/AST/OwlClassDecl.html
index cb30ceb..f26f04f 100644
--- a/javadoc/AST/OwlClassDecl.html
+++ b/javadoc/AST/OwlClassDecl.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
OwlClassDecl
</TITLE>
@@ -243,6 +243,23 @@ java.lang.Object
<CODE> <A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#fullCopy()">fullCopy</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> void</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A></B>(java.lang.String ind,
+ java.io.PrintStream pStream)</CODE>
+
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> void</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#genRewrites(java.io.PrintStream)">genRewrites</A></B>(java.io.PrintStream pStream)</CODE>
+
<BR>
</TD>
</TR>
@@ -323,6 +340,14 @@ java.lang.Object
<CODE> int</CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#getNumElement()">getNumElement</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> int</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#getNumOwnRestriction()">getNumOwnRestriction</A></B>()</CODE>
+
<BR>
</TD>
</TR>
@@ -331,6 +356,14 @@ java.lang.Object
<CODE> int</CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#getNumRestriction()">getNumRestriction</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> <A HREF="../AST/Restrictions.html" title="class in AST">Restrictions</A></CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#getOwnRestrictions()">getOwnRestrictions</A></B>()</CODE>
+
<BR>
</TD>
</TR>
@@ -347,6 +380,23 @@ java.lang.Object
<CODE> <A HREF="../AST/Restrictions.html" title="class in AST">Restrictions</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#getRestrictions()">getRestrictions</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> java.util.ArrayList</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#getSubClasses()">getSubClasses</A></B>()</CODE>
+
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> java.util.ArrayList</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A></B>(<A HREF="../AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A> klass,
+ java.util.ArrayList l)</CODE>
+
<BR>
</TD>
</TR>
@@ -436,6 +486,15 @@ java.lang.Object
</TD>
</TR>
</TABLE>
+ <A NAME="methods_inherited_from_class_AST.OClass"><!-- --></A>
+<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
+<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
+<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/OClass.html" title="class in AST">OClass</A></B></TH>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD><CODE><A HREF="../AST/OClass.html#name()">name</A></CODE></TD>
+</TR>
+</TABLE>
<A NAME="methods_inherited_from_class_AST.Element"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
@@ -451,7 +510,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
@@ -873,7 +932,7 @@ setId</H3>
public void <B>setId</B>(java.lang.String value)</PRE>
<DL>
<DD><DL>
-</DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/OClass.html#setId(java.lang.String)">setId</A></CODE> in class <CODE><A HREF="../AST/OClass.html" title="class in AST">OClass</A></CODE></DL>
</DD>
<DD><DL>
</DL>
@@ -887,7 +946,36 @@ getId</H3>
public java.lang.String <B>getId</B>()</PRE>
<DL>
<DD><DL>
-<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ComplexElement.html#getId()">getId</A></CODE> in class <CODE><A HREF="../AST/ComplexElement.html" title="class in AST">ComplexElement</A></CODE></DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/OClass.html#getId()">getId</A></CODE> in class <CODE><A HREF="../AST/OClass.html" title="class in AST">OClass</A></CODE></DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="genPrettyPrinter(java.lang.String, java.io.PrintStream)"><!-- --></A><H3>
+genPrettyPrinter</H3>
+<PRE>
+public void <B>genPrettyPrinter</B>(java.lang.String ind,
+ java.io.PrintStream pStream)</PRE>
+<DL>
+<DD><DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A></CODE> in class <CODE><A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="genRewrites(java.io.PrintStream)"><!-- --></A><H3>
+genRewrites</H3>
+<PRE>
+public void <B>genRewrites</B>(java.io.PrintStream pStream)</PRE>
+<DL>
+<DD><DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A></CODE> in class <CODE><A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></DL>
</DD>
<DD><DL>
</DL>
@@ -937,6 +1025,35 @@ public <A HREF="../AST/Properties.html" title="class in AST">Properties</A> <B>g
</DL>
<HR>
+<A NAME="getSubClasses()"><!-- --></A><H3>
+getSubClasses</H3>
+<PRE>
+public java.util.ArrayList <B>getSubClasses</B>()</PRE>
+<DL>
+<DD><DL>
+<DT><B>Specified by:</B><DD><CODE><A HREF="../AST/OClass.html#getSubClasses()">getSubClasses</A></CODE> in class <CODE><A HREF="../AST/OClass.html" title="class in AST">OClass</A></CODE></DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="getSubClasses(AST.OwlClassDecl, java.util.ArrayList)"><!-- --></A><H3>
+getSubClasses</H3>
+<PRE>
+public java.util.ArrayList <B>getSubClasses</B>(<A HREF="../AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A> klass,
+ java.util.ArrayList l)</PRE>
+<DL>
+<DD><DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A></CODE> in class <CODE><A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
<A NAME="getRestrictions()"><!-- --></A><H3>
getRestrictions</H3>
<PRE>
@@ -965,6 +1082,34 @@ public int <B>getNumRestriction</B>()</PRE>
</DL>
<HR>
+<A NAME="getOwnRestrictions()"><!-- --></A><H3>
+getOwnRestrictions</H3>
+<PRE>
+public <A HREF="../AST/Restrictions.html" title="class in AST">Restrictions</A> <B>getOwnRestrictions</B>()</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="getNumOwnRestriction()"><!-- --></A><H3>
+getNumOwnRestriction</H3>
+<PRE>
+public int <B>getNumOwnRestriction</B>()</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
<A NAME="rewriteTo()"><!-- --></A><H3>
rewriteTo</H3>
<PRE>
diff --git a/javadoc/AST/OwlClassUse.html b/javadoc/AST/OwlClassUse.html
index 5c83404..8114c46 100644
--- a/javadoc/AST/OwlClassUse.html
+++ b/javadoc/AST/OwlClassUse.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlClassUse
</TITLE>
@@ -323,6 +323,14 @@ java.lang.Object
<CODE> int</CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/OwlClassUse.html#getNumElement()">getNumElement</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> java.util.ArrayList</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OwlClassUse.html#getSubClasses()">getSubClasses</A></B>()</CODE>
+
<BR>
</TD>
</TR>
@@ -412,6 +420,15 @@ java.lang.Object
</TD>
</TR>
</TABLE>
+ <A NAME="methods_inherited_from_class_AST.OClass"><!-- --></A>
+<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
+<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
+<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/OClass.html" title="class in AST">OClass</A></B></TH>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD><CODE><A HREF="../AST/OClass.html#name()">name</A></CODE></TD>
+</TR>
+</TABLE>
<A NAME="methods_inherited_from_class_AST.Element"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
@@ -427,7 +444,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
@@ -849,7 +866,7 @@ setId</H3>
public void <B>setId</B>(java.lang.String value)</PRE>
<DL>
<DD><DL>
-</DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/OClass.html#setId(java.lang.String)">setId</A></CODE> in class <CODE><A HREF="../AST/OClass.html" title="class in AST">OClass</A></CODE></DL>
</DD>
<DD><DL>
</DL>
@@ -863,7 +880,7 @@ getId</H3>
public java.lang.String <B>getId</B>()</PRE>
<DL>
<DD><DL>
-<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ComplexElement.html#getId()">getId</A></CODE> in class <CODE><A HREF="../AST/ComplexElement.html" title="class in AST">ComplexElement</A></CODE></DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/OClass.html#getId()">getId</A></CODE> in class <CODE><A HREF="../AST/OClass.html" title="class in AST">OClass</A></CODE></DL>
</DD>
<DD><DL>
</DL>
@@ -899,6 +916,20 @@ public <A HREF="../AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
</DL>
<HR>
+<A NAME="getSubClasses()"><!-- --></A><H3>
+getSubClasses</H3>
+<PRE>
+public java.util.ArrayList <B>getSubClasses</B>()</PRE>
+<DL>
+<DD><DL>
+<DT><B>Specified by:</B><DD><CODE><A HREF="../AST/OClass.html#getSubClasses()">getSubClasses</A></CODE> in class <CODE><A HREF="../AST/OClass.html" title="class in AST">OClass</A></CODE></DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
<A NAME="rewriteTo()"><!-- --></A><H3>
rewriteTo</H3>
<PRE>
diff --git a/javadoc/AST/OwlDataRange.html b/javadoc/AST/OwlDataRange.html
index 5bd15f6..3452d24 100644
--- a/javadoc/AST/OwlDataRange.html
+++ b/javadoc/AST/OwlDataRange.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlDataRange
</TITLE>
@@ -410,7 +410,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlDatatypeProperty.html b/javadoc/AST/OwlDatatypeProperty.html
index 05dd987..edfbf6b 100644
--- a/javadoc/AST/OwlDatatypeProperty.html
+++ b/javadoc/AST/OwlDatatypeProperty.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlDatatypeProperty
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlDisjointWith.html b/javadoc/AST/OwlDisjointWith.html
index ba81e7c..1d6c00a 100644
--- a/javadoc/AST/OwlDisjointWith.html
+++ b/javadoc/AST/OwlDisjointWith.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlDisjointWith
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlEquivalentClass.html b/javadoc/AST/OwlEquivalentClass.html
index 3ec65f4..825b1db 100644
--- a/javadoc/AST/OwlEquivalentClass.html
+++ b/javadoc/AST/OwlEquivalentClass.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlEquivalentClass
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlFunctionalProperty.html b/javadoc/AST/OwlFunctionalProperty.html
index 923122d..9413524 100644
--- a/javadoc/AST/OwlFunctionalProperty.html
+++ b/javadoc/AST/OwlFunctionalProperty.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlFunctionalProperty
</TITLE>
@@ -403,7 +403,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlImports.html b/javadoc/AST/OwlImports.html
index c006401..4895486 100644
--- a/javadoc/AST/OwlImports.html
+++ b/javadoc/AST/OwlImports.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlImports
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlIntersectionOf.html b/javadoc/AST/OwlIntersectionOf.html
index e15c57c..5e8be35 100644
--- a/javadoc/AST/OwlIntersectionOf.html
+++ b/javadoc/AST/OwlIntersectionOf.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlIntersectionOf
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlInverseOf.html b/javadoc/AST/OwlInverseOf.html
index a912a48..54086ca 100644
--- a/javadoc/AST/OwlInverseOf.html
+++ b/javadoc/AST/OwlInverseOf.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlInverseOf
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlMinCardinality.html b/javadoc/AST/OwlMinCardinality.html
index c7898f3..ed80e4b 100644
--- a/javadoc/AST/OwlMinCardinality.html
+++ b/javadoc/AST/OwlMinCardinality.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlMinCardinality
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlObjectProperty.html b/javadoc/AST/OwlObjectProperty.html
index aa16f53..7e8901b 100644
--- a/javadoc/AST/OwlObjectProperty.html
+++ b/javadoc/AST/OwlObjectProperty.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlObjectProperty
</TITLE>
@@ -411,7 +411,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlOnProperty.html b/javadoc/AST/OwlOnProperty.html
index b9ec1a2..06eed12 100644
--- a/javadoc/AST/OwlOnProperty.html
+++ b/javadoc/AST/OwlOnProperty.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlOnProperty
</TITLE>
@@ -403,7 +403,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlOneOf.html b/javadoc/AST/OwlOneOf.html
index 328c2a8..a67d690 100644
--- a/javadoc/AST/OwlOneOf.html
+++ b/javadoc/AST/OwlOneOf.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlOneOf
</TITLE>
@@ -410,7 +410,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlOntology.html b/javadoc/AST/OwlOntology.html
index a7391ae..e4ffa3f 100644
--- a/javadoc/AST/OwlOntology.html
+++ b/javadoc/AST/OwlOntology.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlOntology
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlParser.html b/javadoc/AST/OwlParser.html
index b8841c4..9040241 100644
--- a/javadoc/AST/OwlParser.html
+++ b/javadoc/AST/OwlParser.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlParser
</TITLE>
diff --git a/javadoc/AST/OwlParserConstants.html b/javadoc/AST/OwlParserConstants.html
index 146a052..b42f0c3 100644
--- a/javadoc/AST/OwlParserConstants.html
+++ b/javadoc/AST/OwlParserConstants.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlParserConstants
</TITLE>
diff --git a/javadoc/AST/OwlParserTokenManager.html b/javadoc/AST/OwlParserTokenManager.html
index ea7155e..e441d80 100644
--- a/javadoc/AST/OwlParserTokenManager.html
+++ b/javadoc/AST/OwlParserTokenManager.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlParserTokenManager
</TITLE>
diff --git a/javadoc/AST/OwlParserTreeConstants.html b/javadoc/AST/OwlParserTreeConstants.html
index 2de4f03..b1c43ef 100644
--- a/javadoc/AST/OwlParserTreeConstants.html
+++ b/javadoc/AST/OwlParserTreeConstants.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlParserTreeConstants
</TITLE>
diff --git a/javadoc/AST/OwlParserVisitor.html b/javadoc/AST/OwlParserVisitor.html
index c5b5eb2..7415cbe 100644
--- a/javadoc/AST/OwlParserVisitor.html
+++ b/javadoc/AST/OwlParserVisitor.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlParserVisitor
</TITLE>
diff --git a/javadoc/AST/OwlProperty.html b/javadoc/AST/OwlProperty.html
index 097bd33..b11e171 100644
--- a/javadoc/AST/OwlProperty.html
+++ b/javadoc/AST/OwlProperty.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlProperty
</TITLE>
@@ -388,7 +388,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlRestriction.html b/javadoc/AST/OwlRestriction.html
index 5efdead..b7b33b2 100644
--- a/javadoc/AST/OwlRestriction.html
+++ b/javadoc/AST/OwlRestriction.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlRestriction
</TITLE>
@@ -410,7 +410,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlSomeValuesFrom.html b/javadoc/AST/OwlSomeValuesFrom.html
index 1e7154b..cea6d00 100644
--- a/javadoc/AST/OwlSomeValuesFrom.html
+++ b/javadoc/AST/OwlSomeValuesFrom.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlSomeValuesFrom
</TITLE>
@@ -403,7 +403,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlUnionOf.html b/javadoc/AST/OwlUnionOf.html
index 5afb801..a6ca101 100644
--- a/javadoc/AST/OwlUnionOf.html
+++ b/javadoc/AST/OwlUnionOf.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlUnionOf
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlValuesFrom.html b/javadoc/AST/OwlValuesFrom.html
index 36b51db..0aa5efc 100644
--- a/javadoc/AST/OwlValuesFrom.html
+++ b/javadoc/AST/OwlValuesFrom.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
OwlValuesFrom
</TITLE>
@@ -388,7 +388,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/ParseException.html b/javadoc/AST/ParseException.html
index 676ea37..e9d565f 100644
--- a/javadoc/AST/ParseException.html
+++ b/javadoc/AST/ParseException.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
ParseException
</TITLE>
diff --git a/javadoc/AST/Properties.html b/javadoc/AST/Properties.html
index 6438248..a711e35 100644
--- a/javadoc/AST/Properties.html
+++ b/javadoc/AST/Properties.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
Properties
</TITLE>
@@ -324,7 +324,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfAbout.html b/javadoc/AST/RdfAbout.html
index 2d3f01a..578cce3 100644
--- a/javadoc/AST/RdfAbout.html
+++ b/javadoc/AST/RdfAbout.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfAbout
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfDatatype.html b/javadoc/AST/RdfDatatype.html
index e164c7c..4c1f6a8 100644
--- a/javadoc/AST/RdfDatatype.html
+++ b/javadoc/AST/RdfDatatype.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfDatatype
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfDeclaration.html b/javadoc/AST/RdfDeclaration.html
index 9a7e892..75497c8 100644
--- a/javadoc/AST/RdfDeclaration.html
+++ b/javadoc/AST/RdfDeclaration.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfDeclaration
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfFirst.html b/javadoc/AST/RdfFirst.html
index 7783b90..6766b1c 100644
--- a/javadoc/AST/RdfFirst.html
+++ b/javadoc/AST/RdfFirst.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfFirst
</TITLE>
@@ -410,7 +410,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfId.html b/javadoc/AST/RdfId.html
index 25f708b..282b58a 100644
--- a/javadoc/AST/RdfId.html
+++ b/javadoc/AST/RdfId.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfId
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfParseType.html b/javadoc/AST/RdfParseType.html
index 95e27a9..ac21971 100644
--- a/javadoc/AST/RdfParseType.html
+++ b/javadoc/AST/RdfParseType.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfParseType
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfResource.html b/javadoc/AST/RdfResource.html
index 41cdee6..95b4c5d 100644
--- a/javadoc/AST/RdfResource.html
+++ b/javadoc/AST/RdfResource.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfResource
</TITLE>
@@ -300,7 +300,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfRest.html b/javadoc/AST/RdfRest.html
index ee0954e..302bf5b 100644
--- a/javadoc/AST/RdfRest.html
+++ b/javadoc/AST/RdfRest.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfRest
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfType.html b/javadoc/AST/RdfType.html
index 8c3e56e..6a33e6a 100644
--- a/javadoc/AST/RdfType.html
+++ b/javadoc/AST/RdfType.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfType
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfsComment.html b/javadoc/AST/RdfsComment.html
index 7e57560..3e06106 100644
--- a/javadoc/AST/RdfsComment.html
+++ b/javadoc/AST/RdfsComment.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfsComment
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfsDomain.html b/javadoc/AST/RdfsDomain.html
index 21f77d5..7701881 100644
--- a/javadoc/AST/RdfsDomain.html
+++ b/javadoc/AST/RdfsDomain.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfsDomain
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfsRange.html b/javadoc/AST/RdfsRange.html
index 2ee321d..fa519dd 100644
--- a/javadoc/AST/RdfsRange.html
+++ b/javadoc/AST/RdfsRange.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfsRange
</TITLE>
@@ -410,7 +410,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfsSubClassOf.html b/javadoc/AST/RdfsSubClassOf.html
index c0fe02c..383892a 100644
--- a/javadoc/AST/RdfsSubClassOf.html
+++ b/javadoc/AST/RdfsSubClassOf.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfsSubClassOf
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfsSubPropertyOf.html b/javadoc/AST/RdfsSubPropertyOf.html
index 6e21701..e614877 100644
--- a/javadoc/AST/RdfsSubPropertyOf.html
+++ b/javadoc/AST/RdfsSubPropertyOf.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfsSubPropertyOf
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/Restrictions.html b/javadoc/AST/Restrictions.html
index dd7517a..594f47d 100644
--- a/javadoc/AST/Restrictions.html
+++ b/javadoc/AST/Restrictions.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
Restrictions
</TITLE>
@@ -324,7 +324,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/SimpleElement.html b/javadoc/AST/SimpleElement.html
index 012befa..70a18b7 100644
--- a/javadoc/AST/SimpleElement.html
+++ b/javadoc/AST/SimpleElement.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
SimpleElement
</TITLE>
@@ -258,7 +258,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/SimpleNode.html b/javadoc/AST/SimpleNode.html
index defd0c9..138098a 100644
--- a/javadoc/AST/SimpleNode.html
+++ b/javadoc/AST/SimpleNode.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
SimpleNode
</TITLE>
diff --git a/javadoc/AST/Specification.html b/javadoc/AST/Specification.html
index f940347..d469c21 100644
--- a/javadoc/AST/Specification.html
+++ b/javadoc/AST/Specification.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
Specification
</TITLE>
@@ -316,7 +316,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/Start.html b/javadoc/AST/Start.html
index dfce032..4df707b 100644
--- a/javadoc/AST/Start.html
+++ b/javadoc/AST/Start.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
Start
</TITLE>
@@ -236,7 +236,7 @@ java.lang.Object
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> void</CODE></FONT></TD>
-<TD><CODE><B><A HREF="../AST/Start.html#genJavaCC(java.io.PrintStream)">genJavaCC</A></B>(java.io.PrintStream pStream)</CODE>
+<TD><CODE><B><A HREF="../AST/Start.html#genParser(java.io.PrintStream)">genParser</A></B>(java.io.PrintStream pStream)</CODE>
<BR>
</TD>
@@ -244,7 +244,16 @@ java.lang.Object
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> void</CODE></FONT></TD>
-<TD><CODE><B><A HREF="../AST/Start.html#genParser(java.io.PrintStream)">genParser</A></B>(java.io.PrintStream pStream)</CODE>
+<TD><CODE><B><A HREF="../AST/Start.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A></B>(java.lang.String ind,
+ java.io.PrintStream pStream)</CODE>
+
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> void</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/Start.html#genRewrites(java.io.PrintStream)">genRewrites</A></B>(java.io.PrintStream pStream)</CODE>
<BR>
</TD>
@@ -270,6 +279,14 @@ java.lang.Object
<CODE> <A HREF="../AST/Specification.html" title="class in AST">Specification</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/Start.html#getSpecificationNoTransform()">getSpecificationNoTransform</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> <A HREF="../AST/Start.html" title="class in AST">Start</A></CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/Start.html#goStart()">goStart</A></B>()</CODE>
+
<BR>
</TD>
</TR>
@@ -323,7 +340,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
@@ -595,13 +612,28 @@ public void <B>genAbsGrammar</B>(java.io.PrintStream pStream)</PRE>
</DL>
<HR>
-<A NAME="genJavaCC(java.io.PrintStream)"><!-- --></A><H3>
-genJavaCC</H3>
+<A NAME="genPrettyPrinter(java.lang.String, java.io.PrintStream)"><!-- --></A><H3>
+genPrettyPrinter</H3>
<PRE>
-public void <B>genJavaCC</B>(java.io.PrintStream pStream)</PRE>
+public void <B>genPrettyPrinter</B>(java.lang.String ind,
+ java.io.PrintStream pStream)</PRE>
<DL>
<DD><DL>
-<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A></CODE> in class <CODE><A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A></CODE> in class <CODE><A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="genRewrites(java.io.PrintStream)"><!-- --></A><H3>
+genRewrites</H3>
+<PRE>
+public void <B>genRewrites</B>(java.io.PrintStream pStream)</PRE>
+<DL>
+<DD><DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A></CODE> in class <CODE><A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></DL>
</DD>
<DD><DL>
</DL>
@@ -637,6 +669,20 @@ public void <B>dumpClasses</B>(java.io.PrintStream pStream)</PRE>
</DL>
<HR>
+<A NAME="goStart()"><!-- --></A><H3>
+goStart</H3>
+<PRE>
+public <A HREF="../AST/Start.html" title="class in AST">Start</A> <B>goStart</B>()</PRE>
+<DL>
+<DD><DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ASTNode.html#goStart()">goStart</A></CODE> in class <CODE><A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
<A NAME="rewriteTo()"><!-- --></A><H3>
rewriteTo</H3>
<PRE>
diff --git a/javadoc/AST/StringElement.html b/javadoc/AST/StringElement.html
index 802e0ed..f9dfc0d 100644
--- a/javadoc/AST/StringElement.html
+++ b/javadoc/AST/StringElement.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
StringElement
</TITLE>
@@ -294,7 +294,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/Token.html b/javadoc/AST/Token.html
index 73c4ec4..b18f130 100644
--- a/javadoc/AST/Token.html
+++ b/javadoc/AST/Token.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
Token
</TITLE>
diff --git a/javadoc/AST/TokenMgrError.html b/javadoc/AST/TokenMgrError.html
index 32bac91..cc549dd 100644
--- a/javadoc/AST/TokenMgrError.html
+++ b/javadoc/AST/TokenMgrError.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
TokenMgrError
</TITLE>
diff --git a/javadoc/AST/Value.html b/javadoc/AST/Value.html
index 2e97eaf..2cd4aeb 100644
--- a/javadoc/AST/Value.html
+++ b/javadoc/AST/Value.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
Value
</TITLE>
@@ -283,7 +283,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/Version.html b/javadoc/AST/Version.html
index e3cd0ac..b258244 100644
--- a/javadoc/AST/Version.html
+++ b/javadoc/AST/Version.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
Version
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlBase.html b/javadoc/AST/XmlBase.html
index 2d53e5a..2a16e45 100644
--- a/javadoc/AST/XmlBase.html
+++ b/javadoc/AST/XmlBase.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlBase
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlHeader.html b/javadoc/AST/XmlHeader.html
index e2e0497..2d6826d 100644
--- a/javadoc/AST/XmlHeader.html
+++ b/javadoc/AST/XmlHeader.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlHeader
</TITLE>
@@ -324,7 +324,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/Xmlns.html b/javadoc/AST/Xmlns.html
index da202bb..1717d65 100644
--- a/javadoc/AST/Xmlns.html
+++ b/javadoc/AST/Xmlns.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
Xmlns
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlnsDaml.html b/javadoc/AST/XmlnsDaml.html
index a274d45..1cebe40 100644
--- a/javadoc/AST/XmlnsDaml.html
+++ b/javadoc/AST/XmlnsDaml.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlnsDaml
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlnsDc.html b/javadoc/AST/XmlnsDc.html
index 56b3a2c..3109005 100644
--- a/javadoc/AST/XmlnsDc.html
+++ b/javadoc/AST/XmlnsDc.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlnsDc
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlnsOwl.html b/javadoc/AST/XmlnsOwl.html
index def4d94..8a4e2ce 100644
--- a/javadoc/AST/XmlnsOwl.html
+++ b/javadoc/AST/XmlnsOwl.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlnsOwl
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlnsP1.html b/javadoc/AST/XmlnsP1.html
index d37a058..a647712 100644
--- a/javadoc/AST/XmlnsP1.html
+++ b/javadoc/AST/XmlnsP1.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlnsP1
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlnsProtege.html b/javadoc/AST/XmlnsProtege.html
index 769fb81..1f52b35 100644
--- a/javadoc/AST/XmlnsProtege.html
+++ b/javadoc/AST/XmlnsProtege.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlnsProtege
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlnsRdf.html b/javadoc/AST/XmlnsRdf.html
index 52b5109..77aedd3 100644
--- a/javadoc/AST/XmlnsRdf.html
+++ b/javadoc/AST/XmlnsRdf.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlnsRdf
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlnsRdfs.html b/javadoc/AST/XmlnsRdfs.html
index 2b47708..4ae5697 100644
--- a/javadoc/AST/XmlnsRdfs.html
+++ b/javadoc/AST/XmlnsRdfs.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlnsRdfs
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlnsXsd.html b/javadoc/AST/XmlnsXsd.html
index 6f74331..c4a5f5a 100644
--- a/javadoc/AST/XmlnsXsd.html
+++ b/javadoc/AST/XmlnsXsd.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlnsXsd
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/package-frame.html b/javadoc/AST/package-frame.html
index a8f09c5..b3ed417 100644
--- a/javadoc/AST/package-frame.html
+++ b/javadoc/AST/package-frame.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
AST
</TITLE>
diff --git a/javadoc/AST/package-summary.html b/javadoc/AST/package-summary.html
index cc75aea..e18d875 100644
--- a/javadoc/AST/package-summary.html
+++ b/javadoc/AST/package-summary.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
AST
</TITLE>
diff --git a/javadoc/AST/package-tree.html b/javadoc/AST/package-tree.html
index dde19e2..d2fb225 100644
--- a/javadoc/AST/package-tree.html
+++ b/javadoc/AST/package-tree.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
AST Class Hierarchy
</TITLE>
diff --git a/javadoc/allclasses-frame.html b/javadoc/allclasses-frame.html
index 416feff..dffeb55 100644
--- a/javadoc/allclasses-frame.html
+++ b/javadoc/allclasses-frame.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:11 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
All Classes
</TITLE>
diff --git a/javadoc/allclasses-noframe.html b/javadoc/allclasses-noframe.html
index f61bffe..f1528fc 100644
--- a/javadoc/allclasses-noframe.html
+++ b/javadoc/allclasses-noframe.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:11 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
All Classes
</TITLE>
diff --git a/javadoc/constant-values.html b/javadoc/constant-values.html
index 0db1490..6adaf72 100644
--- a/javadoc/constant-values.html
+++ b/javadoc/constant-values.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
Constant Field Values
</TITLE>
@@ -35,7 +35,7 @@ function windowTitle()
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
@@ -897,7 +897,7 @@ AST.*</FONT></TH>
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
diff --git a/javadoc/deprecated-list.html b/javadoc/deprecated-list.html
index 1578294..0534d68 100644
--- a/javadoc/deprecated-list.html
+++ b/javadoc/deprecated-list.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:11 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
Deprecated List
</TITLE>
@@ -35,7 +35,7 @@ function windowTitle()
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Deprecated</B></FONT> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
@@ -115,7 +115,7 @@ function windowTitle()
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Deprecated</B></FONT> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
diff --git a/javadoc/help-doc.html b/javadoc/help-doc.html
index 03c2af7..26c15c6 100644
--- a/javadoc/help-doc.html
+++ b/javadoc/help-doc.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:11 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
API Help
</TITLE>
@@ -35,7 +35,7 @@ function windowTitle()
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Help</B></FONT> </TD>
@@ -162,7 +162,7 @@ This help file applies to API documentation generated using the standard doclet.
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Help</B></FONT> </TD>
diff --git a/javadoc/index-all.html b/javadoc/index-all.html
index 0a9c37f..6acd6b8 100644
--- a/javadoc/index-all.html
+++ b/javadoc/index-all.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
Index
</TITLE>
@@ -35,7 +35,7 @@ function windowTitle()
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Index</B></FONT> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
@@ -1509,13 +1509,25 @@ Static variable in class AST.<A HREF="./AST/ASTNode.html" title="class in AST">A
<DT><A HREF="./AST/OwlParser.html#generateParseException()"><B>generateParseException()</B></A> -
Method in class AST.<A HREF="./AST/OwlParser.html" title="class in AST">OwlParser</A>
<DD>
-<DT><A HREF="./AST/ASTNode.html#genJavaCC(java.io.PrintStream)"><B>genJavaCC(PrintStream)</B></A> -
+<DT><A HREF="./AST/Start.html#genParser(java.io.PrintStream)"><B>genParser(PrintStream)</B></A> -
+Method in class AST.<A HREF="./AST/Start.html" title="class in AST">Start</A>
+<DD>
+<DT><A HREF="./AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)"><B>genPrettyPrinter(String, PrintStream)</B></A> -
Method in class AST.<A HREF="./AST/ASTNode.html" title="class in AST">ASTNode</A>
<DD>
-<DT><A HREF="./AST/Start.html#genJavaCC(java.io.PrintStream)"><B>genJavaCC(PrintStream)</B></A> -
+<DT><A HREF="./AST/OwlClassDecl.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)"><B>genPrettyPrinter(String, PrintStream)</B></A> -
+Method in class AST.<A HREF="./AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
+<DD>
+<DT><A HREF="./AST/Start.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)"><B>genPrettyPrinter(String, PrintStream)</B></A> -
Method in class AST.<A HREF="./AST/Start.html" title="class in AST">Start</A>
<DD>
-<DT><A HREF="./AST/Start.html#genParser(java.io.PrintStream)"><B>genParser(PrintStream)</B></A> -
+<DT><A HREF="./AST/ASTNode.html#genRewrites(java.io.PrintStream)"><B>genRewrites(PrintStream)</B></A> -
+Method in class AST.<A HREF="./AST/ASTNode.html" title="class in AST">ASTNode</A>
+<DD>
+<DT><A HREF="./AST/OwlClassDecl.html#genRewrites(java.io.PrintStream)"><B>genRewrites(PrintStream)</B></A> -
+Method in class AST.<A HREF="./AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
+<DD>
+<DT><A HREF="./AST/Start.html#genRewrites(java.io.PrintStream)"><B>genRewrites(PrintStream)</B></A> -
Method in class AST.<A HREF="./AST/Start.html" title="class in AST">Start</A>
<DD>
<DT><A HREF="./AST/ComplexElement.html#getAttribute(int)"><B>getAttribute(int)</B></A> -
@@ -2187,6 +2199,9 @@ Method in class AST.<A HREF="./AST/ComplexElement.html" title="class in AST">Com
<DT><A HREF="./AST/Element.html#getId()"><B>getId()</B></A> -
Method in class AST.<A HREF="./AST/Element.html" title="class in AST">Element</A>
<DD>
+<DT><A HREF="./AST/OClass.html#getId()"><B>getId()</B></A> -
+Method in class AST.<A HREF="./AST/OClass.html" title="class in AST">OClass</A>
+<DD>
<DT><A HREF="./AST/OwlClassDecl.html#getId()"><B>getId()</B></A> -
Method in class AST.<A HREF="./AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
<DD>
@@ -2635,6 +2650,9 @@ Method in class AST.<A HREF="./AST/RdfType.html" title="class in AST">RdfType</A
<DT><A HREF="./AST/Restrictions.html#getNumOwlRestriction()"><B>getNumOwlRestriction()</B></A> -
Method in class AST.<A HREF="./AST/Restrictions.html" title="class in AST">Restrictions</A>
<DD>
+<DT><A HREF="./AST/OwlClassDecl.html#getNumOwnRestriction()"><B>getNumOwnRestriction()</B></A> -
+Method in class AST.<A HREF="./AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
+<DD>
<DT><A HREF="./AST/Properties.html#getNumProperty()"><B>getNumProperty()</B></A> -
Method in class AST.<A HREF="./AST/Properties.html" title="class in AST">Properties</A>
<DD>
@@ -2650,6 +2668,9 @@ Method in class AST.<A HREF="./AST/Restrictions.html" title="class in AST">Restr
<DT><A HREF="./AST/Restrictions.html#getOwlRestrictionListNoTransform()"><B>getOwlRestrictionListNoTransform()</B></A> -
Method in class AST.<A HREF="./AST/Restrictions.html" title="class in AST">Restrictions</A>
<DD>
+<DT><A HREF="./AST/OwlClassDecl.html#getOwnRestrictions()"><B>getOwnRestrictions()</B></A> -
+Method in class AST.<A HREF="./AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
+<DD>
<DT><A HREF="./AST/ASTNode.html#getParent()"><B>getParent()</B></A> -
Method in class AST.<A HREF="./AST/ASTNode.html" title="class in AST">ASTNode</A>
<DD>
@@ -2683,6 +2704,21 @@ Method in class AST.<A HREF="./AST/Start.html" title="class in AST">Start</A>
<DT><A HREF="./AST/Value.html#getSTRING_LITERAL()"><B>getSTRING_LITERAL()</B></A> -
Method in class AST.<A HREF="./AST/Value.html" title="class in AST">Value</A>
<DD>
+<DT><A HREF="./AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)"><B>getSubClasses(OwlClassDecl, ArrayList)</B></A> -
+Method in class AST.<A HREF="./AST/ASTNode.html" title="class in AST">ASTNode</A>
+<DD>
+<DT><A HREF="./AST/OClass.html#getSubClasses()"><B>getSubClasses()</B></A> -
+Method in class AST.<A HREF="./AST/OClass.html" title="class in AST">OClass</A>
+<DD>
+<DT><A HREF="./AST/OwlClassDecl.html#getSubClasses()"><B>getSubClasses()</B></A> -
+Method in class AST.<A HREF="./AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
+<DD>
+<DT><A HREF="./AST/OwlClassDecl.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)"><B>getSubClasses(OwlClassDecl, ArrayList)</B></A> -
+Method in class AST.<A HREF="./AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
+<DD>
+<DT><A HREF="./AST/OwlClassUse.html#getSubClasses()"><B>getSubClasses()</B></A> -
+Method in class AST.<A HREF="./AST/OwlClassUse.html" title="class in AST">OwlClassUse</A>
+<DD>
<DT><A HREF="./AST/JavaCharStream.html#GetSuffix(int)"><B>GetSuffix(int)</B></A> -
Method in class AST.<A HREF="./AST/JavaCharStream.html" title="class in AST">JavaCharStream</A>
<DD>
@@ -2809,6 +2845,12 @@ Method in class AST.<A HREF="./AST/Specification.html" title="class in AST">Spec
<DT><A HREF="./AST/Specification.html#getXmlHeaderNoTransform()"><B>getXmlHeaderNoTransform()</B></A> -
Method in class AST.<A HREF="./AST/Specification.html" title="class in AST">Specification</A>
<DD>
+<DT><A HREF="./AST/ASTNode.html#goStart()"><B>goStart()</B></A> -
+Method in class AST.<A HREF="./AST/ASTNode.html" title="class in AST">ASTNode</A>
+<DD>
+<DT><A HREF="./AST/Start.html#goStart()"><B>goStart()</B></A> -
+Method in class AST.<A HREF="./AST/Start.html" title="class in AST">Start</A>
+<DD>
</DL>
<HR>
<A NAME="_H_"><!-- --></A><H2>
@@ -2840,6 +2882,9 @@ Variable in class AST.<A HREF="./AST/JavaCharStream.html" title="class in AST">J
<DT><A HREF="./AST/ASTNode.html#inCircle"><B>inCircle</B></A> -
Variable in class AST.<A HREF="./AST/ASTNode.html" title="class in AST">ASTNode</A>
<DD>
+<DT><A HREF="./AST/ASTNode.html#ind(int)"><B>ind(int)</B></A> -
+Method in class AST.<A HREF="./AST/ASTNode.html" title="class in AST">ASTNode</A>
+<DD>
<DT><A HREF="./AST/OwlParserTokenManager.html#input_stream"><B>input_stream</B></A> -
Variable in class AST.<A HREF="./AST/OwlParserTokenManager.html" title="class in AST">OwlParserTokenManager</A>
<DD>
@@ -3786,6 +3831,9 @@ Method in class AST.<A HREF="./AST/XmlnsXsd.html" title="class in AST">XmlnsXsd<
<A NAME="_N_"><!-- --></A><H2>
<B>N</B></H2>
<DL>
+<DT><A HREF="./AST/OClass.html#name()"><B>name()</B></A> -
+Method in class AST.<A HREF="./AST/OClass.html" title="class in AST">OClass</A>
+<DD>
<DT><A HREF="./AST/Token.html#newToken(int)"><B>newToken(int)</B></A> -
Static method in class AST.<A HREF="./AST/Token.html" title="class in AST">Token</A>
<DD>Returns a new Token object, by default.
@@ -3813,7 +3861,7 @@ Constructor for class AST.<A HREF="./AST/OClass.html" title="class in AST">OClas
<DT><A HREF="./AST/OClass.html#OClass()"><B>OClass()</B></A> -
Constructor for class AST.<A HREF="./AST/OClass.html" title="class in AST">OClass</A>
<DD>
-<DT><A HREF="./AST/OClass.html#OClass(AST.List, AST.List)"><B>OClass(List, List)</B></A> -
+<DT><A HREF="./AST/OClass.html#OClass(AST.List, AST.List, java.lang.String)"><B>OClass(List, List, String)</B></A> -
Constructor for class AST.<A HREF="./AST/OClass.html" title="class in AST">OClass</A>
<DD>
<DT><A HREF="./AST/OwlParserConstants.html#OCTAL_LITERAL"><B>OCTAL_LITERAL</B></A> -
@@ -5288,6 +5336,9 @@ Method in class AST.<A HREF="./AST/RdfType.html" title="class in AST">RdfType</A
<DT><A HREF="./AST/FloatElement.html#setFLOAT_LITERAL(java.lang.String)"><B>setFLOAT_LITERAL(String)</B></A> -
Method in class AST.<A HREF="./AST/FloatElement.html" title="class in AST">FloatElement</A>
<DD>
+<DT><A HREF="./AST/OClass.html#setId(java.lang.String)"><B>setId(String)</B></A> -
+Method in class AST.<A HREF="./AST/OClass.html" title="class in AST">OClass</A>
+<DD>
<DT><A HREF="./AST/OwlClassDecl.html#setId(java.lang.String)"><B>setId(String)</B></A> -
Method in class AST.<A HREF="./AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
<DD>
@@ -5960,7 +6011,7 @@ Constructor for class AST.<A HREF="./AST/XmlnsXsd.html" title="class in AST">Xml
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Index</B></FONT> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
diff --git a/javadoc/index.html b/javadoc/index.html
index a25b44e..7a13ef7 100644
--- a/javadoc/index.html
+++ b/javadoc/index.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc on Thu Nov 09 10:56:11 CET 2006-->
+<!-- Generated by javadoc on Wed Nov 29 08:46:40 CET 2006-->
<TITLE>
Generated Documentation (Untitled)
</TITLE>
diff --git a/javadoc/overview-tree.html b/javadoc/overview-tree.html
index 5cdd311..f53e3d5 100644
--- a/javadoc/overview-tree.html
+++ b/javadoc/overview-tree.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
Class Hierarchy
</TITLE>
diff --git a/javadoc/serialized-form.html b/javadoc/serialized-form.html
index 271897a..bfc388f 100644
--- a/javadoc/serialized-form.html
+++ b/javadoc/serialized-form.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
Serialized Form
</TITLE>
@@ -35,7 +35,7 @@ function windowTitle()
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
@@ -212,7 +212,7 @@ int <B>errorCode</B></PRE>
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
--
GitLab