Package daikon.tools.runtimechecker
Class Main
- Object
-
- CommandHandler
-
- Main
-
public class Main extends CommandHandler
Main entrypoint for the instrumenter. Passes control to whichever handler can handle the user-specified command.
-
-
Constructor Summary
Constructors Constructor Description Main()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static void
main(String[] args)
void
nonStaticMain(String[] args)
protected void
usageMessage(List<CommandHandler> handlers)
-
Methods inherited from class CommandHandler
handle, handles, usageMessage
-
-
-
-
Constructor Detail
-
Main
public Main()
-
-
Method Detail
-
usageMessage
protected void usageMessage(List<CommandHandler> handlers)
-
nonStaticMain
public void nonStaticMain(String[] args)
-
-