Package ru.ispras.microtesk.tools.oracle
Class Oracle
- java.lang.Object
-
- ru.ispras.microtesk.tools.oracle.Oracle
-
public class Oracle extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.String
ORACLE_OUTPUT_DIRECTORY
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String
getOutputOracleDir()
Returns the oracle output directory.java.lang.String
getOutputOracleLogFile()
Returns the oracle log file name.static boolean
predict(Options options, java.lang.String modelName, java.lang.String inputProgram, java.lang.String inputTrace, java.lang.String inputResourceDir)
-
-
-
Field Detail
-
ORACLE_OUTPUT_DIRECTORY
public static final java.lang.String ORACLE_OUTPUT_DIRECTORY
- See Also:
- Constant Field Values
-
-
Method Detail
-
predict
public static boolean predict(Options options, java.lang.String modelName, java.lang.String inputProgram, java.lang.String inputTrace, java.lang.String inputResourceDir)
-
getOutputOracleDir
public java.lang.String getOutputOracleDir()
Returns the oracle output directory.- Returns:
- the oracle output directory
-
getOutputOracleLogFile
public java.lang.String getOutputOracleLogFile()
Returns the oracle log file name.- Returns:
- the oracle log file name
-
-