Package | Description |
---|---|
de.uka.ilkd.key.testgen | |
de.uka.ilkd.key.testgen.oracle |
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
TestCaseGenerator.getOracleAssertion(java.util.List<OracleMethod> oracleMethods) |
Modifier and Type | Method and Description |
---|---|
OracleMethod |
OracleGenerator.generateOracleMethod(Term term) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<OracleMethod> |
OracleGenerator.getOracleMethods() |
Constructor and Description |
---|
OracleMethodCall(OracleMethod method,
java.util.List<? extends OracleTerm> args) |
OracleMethodCall(OracleMethod method,
java.util.List<? extends OracleTerm> args,
OracleTerm caller) |
Copyright © 2003-2019 The KeY-Project.