Class PatternVariableResult


  • public class PatternVariableResult
    extends Object
    • Method Detail

      • addVariablesIntroducedIfTrue

        public void addVariablesIntroducedIfTrue​(List<TypePatternExpr> patterns)
      • addVariablesIntroducedIfFalse

        public void addVariablesIntroducedIfFalse​(List<TypePatternExpr> patterns)
      • clearVariablesIntroducedIfTrue

        public void clearVariablesIntroducedIfTrue()
      • clearVariablesIntroducedIfFalse

        public void clearVariablesIntroducedIfFalse()
      • swapTrueAndFalse

        public void swapTrueAndFalse()