public class ProtectedRegionChecker
extends java.lang.Object
Copyright (C) 2012-2015 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
Modifier and Type | Field and Description |
---|---|
protected TextRegionNotation |
notation |
Constructor and Description |
---|
ProtectedRegionChecker(TextRegionNotation notation) |
Modifier and Type | Method and Description |
---|---|
protected java.util.Set<java.lang.String> |
addNameAndCheck(java.lang.String name,
java.util.Set<java.lang.String> set) |
void |
check(java.lang.String filename,
java.lang.String source) |
void |
check(Template template) |
protected TextRegionNotation notation
public ProtectedRegionChecker(TextRegionNotation notation)
public void check(java.lang.String filename, java.lang.String source) throws ProtectedRegionException
ProtectedRegionException
public void check(Template template) throws ProtectedRegionException
ProtectedRegionException
protected java.util.Set<java.lang.String> addNameAndCheck(java.lang.String name, java.util.Set<java.lang.String> set) throws ProtectedRegionException
ProtectedRegionException