Package randoop.main
Class Main
java.lang.Object
randoop.main.Main
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
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic void
void
nonStaticMain
(String[] args) The real entry point of Main.
-
Field Details
-
handlers
-
-
Constructor Details
-
Main
public Main()
-
-
Method Details
-
main
-
nonStaticMain
The real entry point of Main.- Parameters:
args
- the command-line arguments
-