Ejemplo n.º 1
0
 @Test
 public void libraryReference() {
   Helper.check(0, TestCanUsePureLibrary.class);
 }
Ejemplo n.º 2
0
 @Test
 public void covariantReturnTypeImmutable() {
   Helper.check(3, 2, BadBase.class, LeakyOverride.class, PureClass.class);
 }
Ejemplo n.º 3
0
 @Test
 public void runtimeResultNarrowing() {
   Helper.check(1, NarrowAtRuntime.class);
   Helper.check(1, BrokenRuntimeCheck.class);
 }
Ejemplo n.º 4
0
 @Test
 public void parentClassNotImmutable() {
   Helper.check(1, InnerClassAccess.class);
   Helper.check(0, FieldSetting.class);
 }
Ejemplo n.º 5
0
 @Test
 public void thisAllowedAsReturn() {
   Helper.check(0, ReturnThis.class);
 }
Ejemplo n.º 6
0
 @Test
 public void immutableOnlyReturned() {
   Helper.check(1, BadReturn.class);
 }
Ejemplo n.º 7
0
 @Test
 public void publicParametersImmutable() {
   Helper.check(1, PureNarrowingTest.class);
 }
Ejemplo n.º 8
0
 @Test
 public void publicFieldsImmutable() {
   Helper.check(1, TestCheckStatic.class);
   Helper.check(1, SomeMutableUnsharedClass.class);
 }
Ejemplo n.º 9
0
 @Test
 public void annotationInherited() {
   Helper.check(2, BasePure.class, InheritedPure.class);
 }
Ejemplo n.º 10
0
 @Test
 public void visitorExample() {
   Helper.check(1, VisitorExample.class);
 }