AcmeErrorManager.clearAllErrors ()
new java.io.ByteArrayInputStream(acmeDesignStr.getBytes())
acmeParserObj = new AcmeParser(compInputStream)
acmeParserObj.disable_tracing();
acmeParserObj.initDesign()
BuiltInPredicates.getArmaniLibDecls()
new java.io.ByteArrayInputStream(builtInStr.getBytes())
ArmaniParser.getGlobalDesign()
ArmaniParser.ReInit(builtInInputStream)
jj_input_stream.ReInit(stream, 1, 1)java.io.ByteArrayInputStream@44
token_source.ReInit(jj_input_stream)
new Token()
jjtree.reset()
first for
second for
Leaving ArmaniParser.ReInit (InputStream)
ArmaniParser.setGlobalDesign(builtInsDesign)
ArmaniParser.parse_AcmeDesign()
builtInsDesign.doPostParsingProcessing()
acmeDesignObj = acmeParserObj.parse_AcmeDesign()
Acme2Armani.translate(acmeDesignObj)
acmeDesignObj.typecheck()
Typechecks ok