Class PosSwitch<A>


  • public abstract class PosSwitch<A>
    extends java.lang.Object
    • Constructor Detail

      • PosSwitch

        public PosSwitch()
    • Method Detail

      • caseRootPos

        public abstract A caseRootPos​(RootPos pos)
      • caseChildPos

        public abstract A caseChildPos​(ChildPos pos)
      • caseForInLoopBodyPos

        public abstract A caseForInLoopBodyPos​(ExtractionPos pos)
      • caseLabelPos

        public abstract A caseLabelPos​(LabelPos pos)