diff --git a/CompilerGeneration.jrag b/CompilerGeneration.jrag index 3f51003f9bebf044a9f89cfc57a12388b6e8f1cd..180daf818af654e0e9bbdc19e448d4f501d7761a 100644 --- a/CompilerGeneration.jrag +++ b/CompilerGeneration.jrag @@ -135,6 +135,11 @@ aspect GenPrettyPrinter { pStream.println(" getElement(i).prettyPrint(indent,pStream);"); pStream.println(" }"); pStream.println(" }\n"); + pStream.println(" syn String Attribute.id() = \"\";"); + pStream.println(" eq RdfId.id() = \"Rdf:ID\";"); + pStream.println(" public void Attribute.prettyPrint(String indent, PrintStream pStream) {"); + pStream.println(" System.out.print(\" \"+id()+\"=\"+getValue().getSTRING_LITERAL());"); + pStream.println(" }\n"); super.genPrettyPrinter(pStream); pStream.println("}\n"); }