--sourceWithDependenciesPath: Path to the fat JAR or the folder containing all source code of the project, including external dependencies.
--sourceCodePath: Path to the folder containing all source code of the project.
--classUnderTestPath: Path to the Java class for which oracles will be generated.
--alsoWhenNoDoc: Boolean to indicate whether to generate oracles also when no documentation (i.e., Javadoc or Javadoc tags) are available. If false, oracles will be generated only for Javadoc tags. If true, at least one precondition, normal postcondition and exceptional postcondition will be attempted to be generated for each method within the class.
It may be worth checking how it's done in Toradocu: https://github.com/albertogoffi/toradocu
Command line options that should be available:
--sourceWithDependenciesPath
: Path to the fat JAR or the folder containing all source code of the project, including external dependencies.--sourceCodePath
: Path to the folder containing all source code of the project.--classUnderTestPath
: Path to the Java class for which oracles will be generated.--alsoWhenNoDoc
: Boolean to indicate whether to generate oracles also when no documentation (i.e., Javadoc or Javadoc tags) are available. Iffalse
, oracles will be generated only for Javadoc tags. Iftrue
, at least one precondition, normal postcondition and exceptional postcondition will be attempted to be generated for each method within the class.