Synching

CompilerGeneration.jrag

@@ -130,6 +130,11 @@ aspect GenPrettyPrinter {
 		pStream.println("      getChild(i).prettyPrint(indent,pStream);");
 		pStream.println("    }");
 		pStream.println("  }\n");
+		pStream.println("  public void Start.prettyPrint(String indent, PrintStream pStream) {");
+		pStream.println("    for (int i=0; i<getNumElement(); i++) {");
+		pStream.println("      getElement(i).prettyPrint(indent,pStream);");
+		pStream.println("    }");
+		pStream.println("  }\n");
 		super.genPrettyPrinter(ind,pStream);
 		pStream.println("}\n");
 	}
@@ -143,6 +148,10 @@ aspect GenPrettyPrinter {
 // 		}
 		pStream.println(">\");");
 		pStream.println("    String childIndent = indent + \"  \";");
+		Restrictions restr = getRestrictions();
+		for (int i=0; i<restr.getNumRestriction(); i++) {
+
+		}
 		pStream.println("    for (int i=0; i<getNumElement(); i++) {");
 		pStream.println("      getElement(i).prettyPrint(childIndent,pStream);");
 		pStream.println("    }");

owl.ast

@@ -82,6 +82,6 @@ abstract OwlValuesFrom: ComplexElement;
 
 
 Properties ::= Property:Element*;
-//Restrictions ::= OwlRestriction*;
+Restrictions ::= OwlRestriction*;
 
 abstract OwlProperty : ComplexElement;