Modifier and Type | Method and Description |
---|---|
protected java.util.Set<java.lang.String> |
ProtectedRegionChecker.addNameAndCheck(java.lang.String name,
java.util.Set<java.lang.String> set) |
void |
ProtectedRegionChecker.check(java.lang.String filename,
java.lang.String source) |
void |
ProtectedRegionChecker.check(Template template) |
ProtectedRegion |
ProtectedRegion.rename(java.lang.String newName) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
SourceFileUpdater.update(java.lang.String newSource)
Updates the source file (and keeps the protected regions intact) and returns the updated source as string.
|
Modifier and Type | Method and Description |
---|---|
RegionName |
RegionNameExtractor.extract(java.lang.String filename,
java.lang.String line)
Extracts the region name from a given text line.
|
protected com.jiowa.util.tuple.Tuple<java.lang.String,java.lang.Integer> |
RegionNameExtractor.extractRegionNameString(java.lang.String filename,
java.lang.String line)
Extracts the region name string
|
Modifier and Type | Method and Description |
---|---|
protected boolean |
RegionReader.isProtectedRegionEnd(java.lang.String line) |
protected boolean |
RegionReader.isProtectedRegionStart(java.lang.String line) |
ProtectedRegion |
ProtectedRegionReader.read()
Reads the next protected region from the text source
|
ProtectedRegionList |
ProtectedRegionReader.readAll()
Reads all protected regions from the text source.
|
protected ProtectedRegion |
RegionReader.readProtectedRegion()
Reads a protected region and throws an exception if it could not read correctly.
|
Modifier and Type | Method and Description |
---|---|
protected ProtectedRegionMap |
ProtectedRegionReplacer.findProtectedRegions(java.lang.String filename,
java.lang.String source) |
abstract java.lang.String |
RegionReplacer.replace(TextFileContext oldTextFile,
java.lang.String newSource)
Replaces the text content of oldTextFile with newSource and leaves protected regions unchanged.
|
java.lang.String |
ProtectedRegionReplacer.replace(TextFileContext oldTextFile,
java.lang.String newSource) |