4. Object Structures, Aliasing, and Encapsulation

Preventing widening:C3: Widening of references from a confined type toan unconfined type is forbidden in assignments,method call arguments, return statements, andexplicit casts.C4: Methods invoked on a confined object musteither be non-native methods defined in aconfined class or be anonymous methods.C5: Constructors called from the constructors ofa confined class must either be defined by aconfined class or be anonymous constructors.Preventing transfer from the inside and outside:C6: Subtypes of java.lang.Throwable andjava.lang.Thread must not be confined.C7: The declared type of public and protectedfields in unconfined types must not beconfined.C8: The return type of public and protectedmethods in unconfined types must not beconfined.13.05.13© A. Poetzsch-Heffter, TU Kaiserslautern38