public class T3Cmd
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.lang.String |
dirToSaveTrace |
java.util.logging.FileHandler |
loghandler |
long |
startingTime |
T3SuiteGenAPI |
T3API |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String optionsString)
API.
|
static void |
main(java.lang.String[] args)
Command-line entry point to run T3.
|
public java.util.logging.FileHandler loghandler
public long startingTime
public T3SuiteGenAPI T3API
public java.lang.String dirToSaveTrace
public static void main(java.lang.String[] args) throws java.lang.Exception
java.lang.Exception
public static void main(java.lang.String optionsString) throws java.lang.Exception
java.lang.Exception