public class PatternVariableResult extends Object
Constructor and Description |
---|
PatternVariableResult() |
PatternVariableResult(LinkedList<TypePatternExpr> variablesIntroducedIfTrue,
LinkedList<TypePatternExpr> variablesIntroducedIfFalse) |
Modifier and Type | Method and Description |
---|---|
void |
addVariablesIntroducedIfFalse(List<TypePatternExpr> patterns) |
void |
addVariablesIntroducedIfTrue(List<TypePatternExpr> patterns) |
void |
clearVariablesIntroducedIfFalse() |
void |
clearVariablesIntroducedIfTrue() |
List<TypePatternExpr> |
getVariablesIntroducedIfFalse() |
List<TypePatternExpr> |
getVariablesIntroducedIfTrue() |
void |
swapTrueAndFalse() |
public PatternVariableResult(LinkedList<TypePatternExpr> variablesIntroducedIfTrue, LinkedList<TypePatternExpr> variablesIntroducedIfFalse)
public PatternVariableResult()
public List<TypePatternExpr> getVariablesIntroducedIfTrue()
public List<TypePatternExpr> getVariablesIntroducedIfFalse()
public void addVariablesIntroducedIfTrue(List<TypePatternExpr> patterns)
public void addVariablesIntroducedIfFalse(List<TypePatternExpr> patterns)
public void clearVariablesIntroducedIfTrue()
public void clearVariablesIntroducedIfFalse()
public void swapTrueAndFalse()
Copyright © 2007–2024. All rights reserved.