Class PatternVariableResult


  • public class PatternVariableResult
    extends java.lang.Object
    • Field Detail

      • variablesIntroducedIfTrue

        private java.util.List<TypePatternExpr> variablesIntroducedIfTrue
      • variablesIntroducedIfFalse

        private java.util.List<TypePatternExpr> variablesIntroducedIfFalse
    • Constructor Detail

      • PatternVariableResult

        public PatternVariableResult​(java.util.LinkedList<TypePatternExpr> variablesIntroducedIfTrue,
                                     java.util.LinkedList<TypePatternExpr> variablesIntroducedIfFalse)
      • PatternVariableResult

        public PatternVariableResult()
    • Method Detail

      • getVariablesIntroducedIfTrue

        public java.util.List<TypePatternExpr> getVariablesIntroducedIfTrue()
      • getVariablesIntroducedIfFalse

        public java.util.List<TypePatternExpr> getVariablesIntroducedIfFalse()
      • addVariablesIntroducedIfTrue

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

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

        public void clearVariablesIntroducedIfTrue()
      • clearVariablesIntroducedIfFalse

        public void clearVariablesIntroducedIfFalse()
      • swapTrueAndFalse

        public void swapTrueAndFalse()