Package randoop.main
Class Main
- java.lang.Object
-
- randoop.main.Main
-
public class Main extends Object
Main entry point for Randoop. Asks the command handlers who can handle the command given by the user, and passes control to whoever does.
-
-
Field Summary
Fields Modifier and Type Field Description static List<CommandHandler>
handlers
-
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)
The real entry point of Main.
-
-
-
Field Detail
-
handlers
public static List<CommandHandler> handlers
-
-