INSTALLATION

DTC comes packaged as jar file containing all necessary classes. DTC 
uses BeanShell (www.beanshell.org) to provide easy running and testing. 
Installation is just extracting the archive and ensuring to have java in
your PATH.

In the root directory a dtc.sh script can be found to run DTC on a given 
TAEMS file. In the same directory the dtc.properties file containing all DTC 
settings. Please look at the comments there for a description of all 
available settings.

Example:
dtc.sh examples/simple.ttaems
    parse and schedule examples/simple.ttaems
    
dtc.sh examples/simple.ttaems dtc.properties
    parse and schedule examples/simple.ttaems using the settings from 
    the file dtc.properties

simulate.sh examples/simple.ttaems -s B C
	simulates scheduling of the methods B and C

dtcviewer.sh examples/simple.ttaems 
	open the graphical viewer and shows the taems structure

Directory structure:
lib/		     - DTC and beanshell jars
bsh/		     - BeanShell commands (scripts)
javadoc/	     - dtc's javadocs
examples/	     - example TAEMS files
dtc.sh		     - script for running DTC via beanshell 
dtc.properties	     - DTC settings