public class ProtectedRegionReader extends RegionReader
Copyright (C) 2012 JIOWA Business Solutions GmbH, Bettinastr. 30 , 60325 Frankfurt am Main, Germany
Homepage: www.jiowa.de
All rights reserved.
Download: www.jiowa.de/download.html
License: www.jiowa.de/license.html
RegionReader.RegionEnum
Constructor and Description |
---|
ProtectedRegionReader(java.lang.String filename,
TextRegionNotation textRegionNotation,
java.lang.String source) |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] arguments) |
ProtectedRegion |
read()
Reads the next protected region from the text source
|
ProtectedRegionList |
readAll()
Reads all protected regions from the text source.
|
containsProtectedRegionEnd, containsProtectedRegionStart, isProtectedRegionEnd, isProtectedRegionStart, readNextRegion, readProtectedRegion, readUnprotectedRegion
public ProtectedRegionReader(java.lang.String filename, TextRegionNotation textRegionNotation, java.lang.String source)
public ProtectedRegion read() throws ProtectedRegionException
read
in class RegionReader
ProtectedRegionException
- if the region is not correctly definedpublic ProtectedRegionList readAll() throws ProtectedRegionException
readAll
in class RegionReader
ProtectedRegionException
- if a region is not correctly definedpublic static void main(java.lang.String[] arguments)