From 6b9022a8a956f8395a36b6a5fbe3aad2255e8136 Mon Sep 17 00:00:00 2001
From: Anders Nilsson <anders.nilsson@control.lth.se>
Date: Fri, 8 Jul 2011 10:12:28 +0200
Subject: [PATCH] Fixed bug in default element.
---
CompilerGeneration.jrag | 10 ++--------
1 file changed, 2 insertions(+), 8 deletions(-)
diff --git a/CompilerGeneration.jrag b/CompilerGeneration.jrag
index 218d5b2..b4d00c0 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("{");
--
GitLab