4. Object Structures, Aliasing, and Encapsulation

More documents

Recommendations

Info

Explanation:A type is called confined(confined, anonymous)- if it is declared with the keyword confined or- if it is an array type with a confined component type.A set of methods and constructors can be declaredas anonymous if the following properties hold:A1: The reference this can only be used foraccessing fields and calling anonymous methodsof the current instance or for object referencecomparison.A2: Anonymity of methods and constructors must bepreserved when overriding methods.A3: Constructors called from an anonymous constructormust be anonymous.A4: Native methods may not be declared anonymous.13.05.13© A. Poetzsch-Heffter, TU Kaiserslautern36
Remark:• The behavior of anonymous methods only dependson the actual parameters and the values of theinstance variables of the implicit parameter.• Anonymous methods cannot introduce new aliasesto the current receiver object.●Anonymous methods allow confined types to usemethods inherited from normal supertypes.Static Encapsulation Rules:The following rules guarantee the encapsulation:Confinement in declarations:C1: A confined class or interface must not bedeclared public and must not belong to theunnamed global package.C2: Subtypes of a confined type must be confined.13.05.13© A. Poetzsch-Heffter, TU Kaiserslautern37
Page 1 and 2: 4. Object Structures, Aliasing,and
Page 3 and 4: Examples:(Object structures)1. A ve
Page 5 and 6: Problems:• Structural integrity (
Page 7 and 8: Undesirable Aspects of Aliasing:1.
Page 9 and 10: Forms of Alias Creation:Capturing:
Page 11 and 12: General approaches to solve alias p
Page 13 and 14: Examples:1. Immutable class:(Immuta
Page 15 and 16: class NotImmutableList extends Immu
Page 17 and 18: 4. Immutable objects with varying I
Page 19 and 20: 4.3 Alias Control and Encapsulation
Page 21 and 22: Roles in Object Structures:• Inte
Page 23 and 24: 2. Representations (rep mode):• E
Page 25 and 26: Meaning of alias modes:• Alias mo
Page 27 and 28: Programming Discipline (simplified)
Page 29 and 30: Example:(Representation exposure)-
Page 31 and 32: 4.3.2 Type-based EncapsulationType
Page 33 and 34: Connection with type systems:• Ea
Page 35: Scenarios in which references are i
Page 39 and 40: Further Structuring Techniques:Diff
Page 41 and 42: Cluster:Let G be the undirected gra
Page 43 and 44: Ownership:Idea:• Introduce an own
Page 45: The ownership relation is a binary

4. Object Structures, Aliasing, and Encapsulation

Create successful ePaper yourself

Delete template?

Save as template?