4. Object Structures, Aliasing, and Encapsulation

More documents

Recommendations

Info

outside Ppackage Pinside P:S,confined:T,normalencapsulationerror:U,normalpackage Q13.05.13© A. Poetzsch-Heffter, TU Kaiserslautern32
Connection with type systems:• Each variable gets as extended type information:- the package to which it belongs (implicit)• Each object gets as extended type information:- the package to which it belongs (implicit)- information whether confined or normal• Encapsulation errors (analogous to type errors) occurif a variable v of package P references a confinedobject X of a package Q different from P. Invariant:If v references some confined X, then v and Xbelong to the same package.• Encapsulation errors are excluded by staticallycheckable rules (analogous to type conditions/rules).We consider an extension to Java by confined types:J. Vitek, B. Bokowski: Confined types in Java.Software: Practice & Experience, 31(6):507-532, 2001.Remark:The study of the encapsulation rules is of generalinterest for the development of OO-programs.13.05.13© A. Poetzsch-Heffter, TU Kaiserslautern33
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: 4.3.2 Type-based EncapsulationType
Page 35 and 36: Scenarios in which references are i
Page 37 and 38: Remark:• The behavior of anonymou
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?