tudresden.ocl
Class DocCheck
java.lang.Object
tudresden.ocl.DocCheck
- public class DocCheck
- extends Object
Field Summary |
(package private) boolean |
confirm
|
(package private) boolean |
verbose
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
verbose
boolean verbose
confirm
boolean confirm
DocCheck
public DocCheck()
main
public static void main(String[] args)
- take a list of documents as parameter and check OCL constraints contained in them
options -v verbose mode on
-q verbose mode off
-c confirm parser errors
-r continue after parser error
checkDocumentList
protected void checkDocumentList(String[] args)
checkDocument
protected void checkDocument(File f)
throws IOException
- Throws:
IOException
checkLatex
protected void checkLatex(File f)
throws IOException
- Throws:
IOException
getDefaultModelFacade
protected static ModelFacade getDefaultModelFacade()
createTree
public static OclTree createTree(String oclExpression)
throws OclParserException,
IOException
- consider using the more elaborate version
createTree(String, ModelFacade)
except for test reasons;
this method returns
an OclTree
that uses a
default model facade
to query type information
- Throws:
OclParserException
IOException
checkConstraint
protected void checkConstraint(String constraint)
report
protected void report(String msg)
readFile
protected String readFile(File f)
throws IOException
- Throws:
IOException
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.