Check for invalid views in the ProviderAdapter base class

mrigger · mrigger · commit cbda6793346d · 2020-08-25T14:58:35.000+02:00
diff --git a/src/sqlancer/ProviderAdapter.java b/src/sqlancer/ProviderAdapter.java
@@ -7,6 +7,8 @@
 import sqlancer.StateToReproduce.OracleRunReproductionState;
 import sqlancer.common.oracle.CompositeTestOracle;
 import sqlancer.common.oracle.TestOracle;
+import sqlancer.common.query.QueryAdapter;
+import sqlancer.common.schema.AbstractTable;
 
 public abstract class ProviderAdapter<G extends GlobalState<O, ?>, O extends DBMSSpecificOptions<? extends OracleFactory<G>>>
         implements DatabaseProvider<G, O> {
@@ -38,6 +40,7 @@ public Class<O> getOptionClass() {
     public void generateAndTestDatabase(G globalState) throws SQLException {
         try {
             generateDatabase(globalState);
+            checkViewsAreValid(globalState);
             globalState.getManager().incrementCreateDatabase();
 
             TestOracle oracle = getTestOracle(globalState);
@@ -59,6 +62,18 @@ public void generateAndTestDatabase(G globalState) throws SQLException {
         }
     }
 
+    private void checkViewsAreValid(G globalState) {
+        List<? extends AbstractTable<?, ?>> views = globalState.getSchema().getViews();
+        for (AbstractTable<?, ?> view : views) {
+            QueryAdapter q = new QueryAdapter("SELECT 1 FROM " + view.getName() + " LIMIT 1");
+            try {
+                q.execute(globalState);
+            } catch (Throwable t) {
+                throw new IgnoreMeException();
+            }
+        }
+    }
+
     protected TestOracle getTestOracle(G globalState) throws SQLException {
         List<? extends OracleFactory<G>> testOracleFactory = globalState.getDmbsSpecificOptions()
                 .getTestOracleFactory();
