799800801802803804805806807808809
final int nLocalDefns = let.getNLocalDefinitions(); for (int i = 0; i < nLocalDefns; i++) { LocalDefn localDefn = let.getNthLocalDefinition(i); localDefn.accept(this, options); } stack.pop(); SourceTextNode inNode = new SourceTextNode(