The rule that checks for entity circular extension loops in case of circular extension.

entity Dummy : Dummy { }

results in:

java.lang.StackOverflowError
at org.spoofax.terms.StrategoString.doSlowMatch(StrategoString.java:53)
at org.spoofax.terms.StrategoTerm.match(StrategoTerm.java:87)
at trans.lifted2511.invoke(lifted2511.java:30)
at org.strategoxt.lang.compat.override.performance_tweaks.lifted14.invoke(lifted14.java)
at org.strategoxt.lang.SRTS_one.fetchMaintainAnnos(SRTS_one.java:57)
at org.strategoxt.lang.SRTS_one.fetchMaintainAnnos(SRTS_one.java:60)
...
at org.strategoxt.lang.SRTS_one.fetchMaintainAnnos(SRTS_one.java:60)
at org.strategoxt.lang.SRTS_one.invoke(SRTS_one.java:21)
at org.strategoxt.lang.compat.override.performance_tweaks.fetch_elem_1_0_override.invoke(fetch_elem_1_0_override.java)
at trans.is_used_dr_0_0.invoke(is_used_dr_0_0.java:57)
at trans.lifted2510.invoke(lifted2510.java:42)
at org.strategoxt.stratego_lib.try_1_0.invoke(try_1_0.java)
at trans.dr_lookup_rule_0_2_override.invoke(dr_lookup_rule_0_2_override.java:39)
at trans.$Rule$To$Module_0_0.invoke($Rule$To$Module_0_0.java:59)
at trans.dr_lookup_rule_0_2_override.invoke(dr_lookup_rule_0_2_override.java:69)
at org.webdsl.webdsl_generator.$Ent$Decl_0_0.invoke($Ent$Decl_0_0.java:43)
at org.webdsl.webdsl_generator.$Extends_0_0.invoke($Extends_0_0.java:36)
at org.webdsl.webdsl_generator.check_entity_extends_itself_0_1.invoke(check_entity_extends_itself_0_1.java:87)
at org.webdsl.webdsl_generator.check_entity_extends_itself_0_1.invoke(check_entity_extends_itself_0_1.java:90)
at org.webdsl.webdsl_generator.check_entity_extends_itself_0_1.invoke(check_entity_extends_itself_0_1.java:90)
....
at org.webdsl.webdsl_generator.check_entity_extends_itself_0_1.invoke(check_entity_extends_itself_0_1.java:90)

Submitted by Vlad Vergu on 18 April 2012 at 14:23