Searched refs:setCurrentOuterMostAlt (Results 1 – 2 of 2) sorted by relevance
93 if ( outerMost ) controller.setCurrentOuterMostAlt(altAST.alt);
456 …public void setCurrentOuterMostAlt(Alternative currentOuterMostAlt) { this.currentOuterMostAlt = c… in setCurrentOuterMostAlt() method in OutputModelController