replaceClippingPlaneNums method
Implementation
String replaceClippingPlaneNums(String string, WebGLParameters parameters) {
string = string.replaceAll("NUM_CLIPPING_PLANES", parameters.numClippingPlanes.toString());
string = string.replaceAll(
"UNION_CLIPPING_PLANES", (parameters.numClippingPlanes - parameters.numClipIntersection).toString());
return string;
}