ClemsonRSRG/RESOLVE — pull request #108 by Welchd1 (2014-04-01 00:06:00+00:00)
Title: Java facility declaration argument fix

Enhanced facilities that took only a single parameter was vexing the java translator. I.e., the following would fail:

Facility Stack_Fac is Globally_Bounded_Stack_Template(Integer)
realized by Skeleton_Realiz
enhanced by Flipping_Capability
realized by Obvious_Flipping_Realiz;

This has been fixed.

In the process of doing the fix above, I also realized that (enhanced) facility declarations that reference modules taking *no* arguments would also fail, such as the following:

Facility Stack_Fac is Globally_Bounded_Stack_Template
realized by Skeleton_Realiz
enhanced by Flipping_Capability
realized by Obvious_Flipping_Realiz;

I've patched this as well. As always, let me know if this breaks something. Thanks for reading.