/** * Copy a pattern. This makes a deep copy. * * @return the copy of the original pattern * @param rebindings variables that need to be re-bound */ /*@NotNull*/ public Pattern copy(RebindingMap rebindings) { BooleanExpressionPattern n = new BooleanExpressionPattern(getPredicate().copy(rebindings)); ExpressionTool.copyLocationInfo(this, n); return n; }
/** * Copy a pattern. This makes a deep copy. * * @return the copy of the original pattern * @param rebindings variables that need to be re-bound */ /*@NotNull*/ public Pattern copy(RebindingMap rebindings) { BooleanExpressionPattern n = new BooleanExpressionPattern(getPredicate().copy(rebindings)); ExpressionTool.copyLocationInfo(this, n); return n; }
return new BooleanExpressionPattern(predicate);