public void outAClzzConstant(AClzzConstant node) { String s = (String) mProductions.removeLast(); mProductions.addLast(ClassConstant.v(s)); }