diff --git a/CompilerGeneration.jrag b/CompilerGeneration.jrag index 218d5b2d1d82f9e925ed565e1e27e349d338a123..b4d00c0d8a1342c8aa06874f3a4c80089eb39061 100644 --- a/CompilerGeneration.jrag +++ b/CompilerGeneration.jrag @@ -243,17 +243,11 @@ aspect GenJavaCC { pStream.println(" }"); pStream.println(" {jjtThis.setLITERAL(s);}"); pStream.println("}"); - pStream.println("void __DefaultElement__() #__DefaultElement__ : { Token t;String s; }"); + pStream.println("void __DefaultElement__() #__DefaultElement__ : { Token t; }"); pStream.println("{"); pStream.println(" t = <IDENTIFIER> AttributeList()"); pStream.println(" (\">\" ElementList() \"</\" <IDENTIFIER> \">\" | ElementList() \"/>\")"); - pStream.println(" {"); - pStream.println(" s = t.image;"); - pStream.println(" if (getToken(1).kind != GT ) {"); - pStream.println(" s += getData();"); - pStream.println(" }"); - pStream.println(" }"); - pStream.println(" {jjtThis.setTAG(s);}"); + pStream.println(" {jjtThis.setTAG(t.image);}"); pStream.println("}"); pStream.println("void Attribute() : {}"); pStream.println("{");