Lines Matching defs:patch
39 * This class allow to modify (patch) a constant pool
80 /** Creates a patch from an existing patch.
81 * All changes are copied from that patch.
82 * @param patch a patch
86 public ConstantPoolPatch(ConstantPoolPatch patch) {
87 outer = patch.outer;
88 patchArray = patch.patchArray.clone();
91 /** Which parser built this patch? */
101 /** Report the current patch at the given index of the constant pool.
102 * Null means no patch will be made.
129 /** Clear one patch. */
363 // the JVM accepts any object as a patch for a string