99
1010import sqlancer .CompositeTestOracle ;
1111import sqlancer .DBMSSpecificOptions ;
12+ import sqlancer .OracleFactory ;
1213import sqlancer .TestOracle ;
1314import sqlancer .sqlite3 .SQLite3Provider .SQLite3GlobalState ;
1415import sqlancer .sqlite3 .oracle .SQLite3Fuzzer ;
@@ -71,7 +72,7 @@ public class SQLite3Options implements DBMSSpecificOptions {
7172 public boolean testDistinctInView ;
7273
7374 @ Parameter (names = "--oracle" )
74- public SQLite3Oracle oracle = SQLite3Oracle .NoREC ;
75+ public SQLite3OracleFactory oracle = SQLite3OracleFactory .NoREC ;
7576
7677 @ Parameter (names = {
7778 "--delete-existing-databases" }, description = "Delete a database file if it already exists" , arity = 1 )
@@ -85,7 +86,7 @@ public class SQLite3Options implements DBMSSpecificOptions {
8586 "--execute-queries" }, description = "Specifies whether the query in the fuzzer should be executed" , arity = 1 )
8687 public boolean executeQuery = true ;
8788
88- public enum SQLite3Oracle {
89+ public enum SQLite3OracleFactory implements OracleFactory < SQLite3GlobalState > {
8990 PQS {
9091 @ Override
9192 public TestOracle create (SQLite3GlobalState globalState ) throws SQLException {
@@ -151,8 +152,6 @@ public TestOracle create(SQLite3GlobalState globalState) throws SQLException {
151152 }
152153 };
153154
154- public abstract TestOracle create (SQLite3GlobalState globalState ) throws SQLException ;
155-
156155 }
157156
158157}
0 commit comments