Dresden OCL Toolkit

tudresden.ocl
Class DocCheck

java.lang.Object
  extended bytudresden.ocl.DocCheck

public class DocCheck
extends Object


Field Summary
(package private)  boolean confirm
           
(package private)  boolean verbose
           
 
Constructor Summary
DocCheck()
           
 
Method Summary
protected  void checkConstraint(String constraint)
           
protected  void checkDocument(File f)
           
protected  void checkDocumentList(String[] args)
           
protected  void checkLatex(File f)
           
static OclTree createTree(String oclExpression)
          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
protected static ModelFacade getDefaultModelFacade()
           
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
protected  String readFile(File f)
           
protected  void report(String msg)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

verbose

boolean verbose

confirm

boolean confirm
Constructor Detail

DocCheck

public DocCheck()
Method Detail

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

Dresden OCL Toolkit

Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.