@Override public PatternNode createPattern2(final SymbolNode patternName, final ASTNode check) { return new Pattern2Node(patternName, check); }
return F.$ps((ISymbol) convert(p2n.getSymbol()), convert(p2n.getConstraint()), p2n.isDefault());
SymbolNode sn = p2n.getSymbol(); return F.$ps((ISymbol) convertNode(sn), convertNode(p2n.getConstraint()), p2n.isDefault(), false);
public PatternNode createPattern2(final SymbolNode patternName, final ASTNode check) { return new Pattern2Node(patternName, check); }