Class FragmentedDocBuilder
- java.lang.Object
-
- net.sourceforge.pmd.lang.document.FragmentedDocBuilder
-
public final class FragmentedDocBuilder extends Object
-
-
Constructor Summary
Constructors Constructor Description FragmentedDocBuilder(TextDocument original)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description TextDocument
build()
void
recordDelta(int startInInput, int endInInput, Chars translation)
Add a new fragment.FileLocation
toLocation(int indexInInput)
-
-
-
Constructor Detail
-
FragmentedDocBuilder
public FragmentedDocBuilder(TextDocument original)
-
-
Method Detail
-
toLocation
public FileLocation toLocation(int indexInInput)
-
recordDelta
public void recordDelta(int startInInput, int endInInput, Chars translation)
Add a new fragment.- Parameters:
startInInput
- Start (inclusive) of the overwritten text in the sourceendInInput
- End (exclusive) ...translation
- Characters with which the range startInInput..endInInput are overwritten. This may be empty.
-
build
public TextDocument build()
-
-