public class PatchElement
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) boolean |
changed |
(package private) int |
newl |
(package private) int |
newr |
(package private) boolean |
used |
Constructor and Description |
---|
PatchElement() |