LOGO
Đặc t hình thc
Nguyn Th Minh Tuyn
1
Gii thiu v ESC/Java2
Th thut và cm by
Ni dung slide này được dch t các slide ca David Cok, Joe Kiniry, Eric Poll
Đặc t hình thc
Ni dung
1.Đặc t tha kế
2.Aliasing
3.Object invariants
4.Gi thuyết không nht quán
5.Exposed references
6.\old
7.Viết đặc t thế nào
2
Nguyn Th Minh Tuyn
Đặc t hình thc
Ni dung
1.Đặc t tha kế
2.Aliasing
3.Object invariants
4.Gi thuyết không nht quán
5.Exposed references
6.\old
7.Viết đặc t thế nào
3
Nguyn Th Minh Tuyn
Đặc t hình thc
Behavioural subtyping
vGi s rng Child m rng t Parent
§Behavioural subtyping = các đối tượng t lp con
Child ng x ging các đối tượng t lp cha Parent.
§Nguyên tc: mã ngun s ng x như mong đợi nếu
ta khai báo mt đối tượng Child trong đó mt đối
tượng Parent đã được cài đặt như mong đợi.
4
Nguyn Th Minh Tuyn
Đặc t hình thc
Behavioural subtyping
vMt s ràng buc bi behavioural
subtyping:
§Bt biến trong lp con mnh hơn bt biến trong lp
cha.
§Đối vi mi phương thc:
Điu kin trước trong lp con yếu hơn điu kin trước
trong lp cha
Điu kin sau trong lp con mnh hơn điu kin sau
trong lp cha.
vJML đạt được behavioural subtyping
bng kế tha đặc t: bt c lp con
nào cũng kế tha đặc t t lp cha
ca nó.
5
Nguyn Th Minh Tuyn