TryFinally.java example

Explorer
checker-framework-master
// Test case for issue #293: https://github.com/typetools/checker-framework/issues/293
// Thanks to Ed Price for the test case.
// @skip-test

// Design space:
//  try
//    ..
//  catch: 7 varieties
//    * absent
//    * catch Throwable
//    * catch Exception
//    for each of the "present" types of catch:
//     * no action
//     * call method
//     * assign string
//  finally: 2 varieties
//    * absent
//    * no action
// Naming indicates which one; overall 14 tests.

// Empty, to give this file its name.
public class TryFinally {}

class TestCabsentFabsent {
    static String getFoo() {
        return "foo";
    }

    private final String foo;

    public TestCabsentFabsent() {
        this.foo = getFoo();
    }
}

class TestCabsentFnoaction {
    static String getFoo() {
        return "foo";
    }

    private final String foo;

    public TestCabsentFnoaction() {
        try {
            this.foo = getFoo();
        } finally {
            // no action in finally clause
        }
    }
}

// Not legal in Java: error: variable foo might not have been initialized
// class TestCtnoactionFabsent {
//   static String getFoo() { return "foo"; }
//   private final String foo;
//   public TestCtnoactionFabsent() {
//     try {
//       this.foo = getFoo();
//     } catch (Throwable t) {
//       // no action on exception
//     }
//   }
// }

// Not legal in Java: error: variable foo might not have been initialized
// class TestCtnoactionFnoaction {
//   static String getFoo() { return "foo"; }
//   private final String foo;
//   public TestCtnoactionFnoaction() {
//     try {
//       this.foo = getFoo();
//     } catch (Throwable t) {
//       // no action on exception
//     } finally {
//       // no action in finally clause
//     }
//   }
// }

// Not legal in Java: error: variable foo might already have been assigned
// class TestCtmethodFabsent {
//   static String getFoo() { return "foo"; }
//   private final String foo;
//   public TestCtmethodFabsent() {
//     try {
//       this.foo = getFoo();
//     } catch (Throwable t) {
//       this.foo = getFoo();
//     }
//   }
// }

// Not legal in Java: error: variable foo might already have been assigned
// class TestCtmethodFnoaction {
//   static String getFoo() { return "foo"; }
//   private final String foo;
//   public TestCtmethodFnoaction() {
//     try {
//       this.foo = getFoo();
//     } catch (Throwable t) {
//       this.foo = getFoo();
//     } finally {
//       // no action in finally clause
//     }
//   }
// }

// Not legal in Java: error: variable foo might already have been assigned
// class TestCtstringFabsent {
//   static String getFoo() { return "foo"; }
//   private final String foo;
//   public TestCtstringFabsent() {
//     try {
//       this.foo = getFoo();
//     } catch (Throwable t) {
//       this.foo = "foo";
//     }
//   }
// }

// Not legal in Java: error: variable foo might already have been assigned
// class TestCtstringFnoaction {
//   static String getFoo() { return "foo"; }
//   private final String foo;
//   public TestCtstringFnoaction() {
//     try {
//       this.foo = getFoo();
//     } catch (Throwable t) {
//       this.foo = "foo";
//     } finally {
//       // no action in finally clause
//     }
//   }
// }

// Not legal in Java: error: variable foo might not have been initialized
// class TestCenoactionFabsent {
//   static String getFoo() { return "foo"; }
//   private final String foo;
//   public TestCenoactionFabsent() {
//     try {
//       this.foo = getFoo();
//     } catch (Exception t) {
//       // no action on exception
//     }
//   }
// }

// Not legal in Java: error: variable foo might not have been initialized
// class TestCenoactionFnoaction {
//   static String getFoo() { return "foo"; }
//   private final String foo;
//   public TestCenoactionFnoaction() {
//     try {
//       this.foo = getFoo();
//     } catch (Exception t) {
//       // no action on exception
//     } finally {
//       // no action in finally clause
//     }
//   }
// }

// Not legal in Java: error: variable foo might already have been assigned
// class TestCemethodFabsent {
//   static String getFoo() { return "foo"; }
//   private final String foo;
//   public TestCemethodFabsent() {
//     try {
//       this.foo = getFoo();
//     } catch (Exception t) {
//       this.foo = getFoo();
//     }
//   }
// }

// Not legal in Java: error: variable foo might already have been assigned
// class TestCemethodFnoaction {
//   static String getFoo() { return "foo"; }
//   private final String foo;
//   public TestCemethodFnoaction() {
//     try {
//       this.foo = getFoo();
//     } catch (Exception t) {
//       this.foo = getFoo();
//     } finally {
//       // no action in finally clause
//     }
//   }
// }

// Not legal in Java: error: variable foo might already have been assigned
// class TestCestringFabsent {
//   static String getFoo() { return "foo"; }
//   private final String foo;
//   public TestCestringFabsent() {
//     try {
//       this.foo = getFoo();
//     } catch (Exception t) {
//       this.foo = "foo";
//     }
//   }
// }

// Not legal in Java: error: variable foo might already have been assigned
// class TestCestringFnoaction {
//   static String getFoo() { return "foo"; }
//   private final String foo;
//   public TestCestringFnoaction() {
//     try {
//       this.foo = getFoo();
//     } catch (Exception t) {
//       this.foo = "foo";
//     } finally {
//       // no action in finally clause
//     }
//   }
// }

class TestCabsentFabsentNonfinal {
    static String getFoo() {
        return "foo";
    }

    private String foo;

    public TestCabsentFabsentNonfinal() {
        this.foo = getFoo();
    }
}

class TestCabsentFnoactionNonfinal {
    static String getFoo() {
        return "foo";
    }

    private String foo;

    public TestCabsentFnoactionNonfinal() {
        try {
            this.foo = getFoo();
        } finally {
            // no action in finally clause
        }
    }
}

class TestCtnoactionFabsentNonfinal {
    static String getFoo() {
        return "foo";
    }

    private String foo;
    //:: error: initialization.fields.uninitialized
    public TestCtnoactionFabsentNonfinal() {
        try {
            this.foo = getFoo();
        } catch (Throwable t) {
            // no action on exception
        }
    }
}

class TestCtnoactionFnoactionNonfinal {
    static String getFoo() {
        return "foo";
    }

    private String foo;
    //:: error: initialization.fields.uninitialized
    public TestCtnoactionFnoactionNonfinal() {
        try {
            this.foo = getFoo();
        } catch (Throwable t) {
            // no action on exception
        } finally {
            // no action in finally clause
        }
    }
}

class TestCtmethodFabsentNonfinal {
    static String getFoo() {
        return "foo";
    }

    private String foo;

    public TestCtmethodFabsentNonfinal() {
        try {
            this.foo = getFoo();
        } catch (Throwable t) {
            this.foo = getFoo();
        }
    }
}

class TestCtmethodFnoactionNonfinal {
    static String getFoo() {
        return "foo";
    }

    private String foo;
    //:: error: initialization.fields.uninitialized
    public TestCtmethodFnoactionNonfinal() {
        try {
            this.foo = getFoo();
        } catch (Throwable t) {
            this.foo = getFoo();
        } finally {
            // no action in finally clause
        }
    }
}

class TestCtstringFabsentNonfinal {
    static String getFoo() {
        return "foo";
    }

    private String foo;

    public TestCtstringFabsentNonfinal() {
        try {
            this.foo = getFoo();
        } catch (Throwable t) {
            this.foo = "foo";
        }
    }
}

class TestCtstringFnoactionNonfinal {
    static String getFoo() {
        return "foo";
    }

    private String foo;

    public TestCtstringFnoactionNonfinal() {
        try {
            this.foo = getFoo();
        } catch (Throwable t) {
            this.foo = "foo";
        } finally {
            // no action in finally clause
        }
    }
}

class TestCenoactionFabsentNonfinal {
    static String getFoo() {
        return "foo";
    }

    private String foo;
    //:: error: initialization.fields.uninitialized
    public TestCenoactionFabsentNonfinal() {
        try {
            this.foo = getFoo();
        } catch (Exception t) {
            // no action on exception
        }
    }
}

class TestCenoactionFnoactionNonfinal {
    static String getFoo() {
        return "foo";
    }

    private String foo;
    //:: error: initialization.fields.uninitialized
    public TestCenoactionFnoactionNonfinal() {
        try {
            this.foo = getFoo();
        } catch (Exception t) {
            // no action on exception
        } finally {
            // no action in finally clause
        }
    }
}

class TestCemethodFabsentNonfinal {
    static String getFoo() {
        return "foo";
    }

    private String foo;

    public TestCemethodFabsentNonfinal() {
        try {
            this.foo = getFoo();
        } catch (Exception t) {
            this.foo = getFoo();
        }
    }
}

class TestCemethodFnoactionNonfinal {
    static String getFoo() {
        return "foo";
    }

    private String foo;
    //:: error: initialization.fields.uninitialized
    public TestCemethodFnoactionNonfinal() {
        try {
            this.foo = getFoo();
        } catch (Exception t) {
            this.foo = getFoo();
        } finally {
            // no action in finally clause
        }
    }
}

class TestCestringFabsentNonfinal {
    static String getFoo() {
        return "foo";
    }

    private String foo;

    public TestCestringFabsentNonfinal() {
        try {
            this.foo = getFoo();
        } catch (Exception t) {
            this.foo = "foo";
        }
    }
}

class TestCestringFnoactionNonfinal {
    static String getFoo() {
        return "foo";
    }

    private String foo;
    //:: error: initialization.fields.uninitialized
    public TestCestringFnoactionNonfinal() {
        try {
            this.foo = getFoo();
        } catch (Exception t) {
            this.foo = "foo";
        } finally {
            // no action in finally clause
        }
    }
}