@Override public PatternNode createPattern3(final SymbolNode patternName, final ASTNode check) { return new Pattern3Node(patternName, check); }
SymbolNode sn = p3n.getSymbol(); return F.$ps((ISymbol) convertNode(sn), convertNode(p3n.getConstraint()), p3n.isDefault(), true);
public PatternNode createPattern3(final SymbolNode patternName, final ASTNode check) { return new Pattern3Node(patternName, check); }