4.

5 Predicates / V t
. Predicate l v t m t tnh cht ca nhng i
tng, hoc quan h gia chng
. Mt v t c s dng nh
ngha cc tnh cht ca bin/gi tr
4.5.1
Tn: Biu thc gi tr Bool (Boolean-valued expressions)
M T: Mt biu thc Boolean c gi tr nh gi gi tr hp l - c ngha l, hoc ng
hoc sai. Do , n c th c s dng nh mt v t.
C php: Predicate::=Expression
nh ngha: Tp B cha chnh xc hai gi tr - tng ng vi mt gi tr ng v mt gi tr
sai.

4.5.2
Tn: Cc v t nh ngha gi tr ban u
M t: c s dng xc nh rng mt i tng c xc nh l
trng thi ban u ca n.
C Php: Predicate::=Expression.INIT
Quy Tc: Tham s u tin phi l mt i tng xc nh v cc class ca cc i tng c
xc nh phi c INIT trong danh sch hin th. Trong trng hp cc loi i tng xc nh l mt kiu
a hnh hoc mt lp hp(union)* v khng iu kin hn na, Init phi c nhn thy trong tt c
cc class
nh ngha: Cho a A INIT nm trong list nhn thy c ca A

*Hp(union) l mt lp m tt c cc thnh vin d liu ca n c nh
x ti cng a ch bn trong i tng ca n (hn l lin tip nh trong
trng hp ca lp). V th kch thc i tng ca mt hp l kch thc
thnh vin d liu ln nht ca n.
Hp c s dng ch yu cho cc tnh hung m mt i tng c th
chim ly cc gi tr ca cc kiu khc nhng ch mt gi tr mt thi im.



4.6 Biu Thc / Expressions

4.6.1
Tn: Class names

M t: Mt tn lp c th c s dng nh mt biu thc i din cho cc thit lp ca tt c
th hin ging nhau ca i tng ca lp . Thit lp ny hoc l khng c g, khi lp khng
c trng thi ban u, hoc m c v hn(c rt nhiu trng thi ban u). Nu lp c thng
s chung chnh thc th lp ny phi c khi to bi hoc mt kiu khai bo trc hoc
mt tham s chnh thc chung ca mi trng lp trnh, trong cc biu thc xut hin. Mt
s hoc tt c cc tnh nng ca lp c th c i tn. i tn khng c nh hng n danh
tnh i tng i din bi cc biu thc - n ch nh hng n
tn c s dng truy cp cc tnh nng ca cc i tng c xc nh.

C php: Expression ::=ClassName[ActualParameters][RenameList]

Qui tc: s lng cc thng s thc t phi ph hp vi s lng cc thng s chung trong nh
ngha lp. Tn "c" trong danh sch i tn phi c
thuc tnh hoc hot ng ca lp c nh ngha, hoc cc bin ph tr ca cc ton t ca
n. Tn "c" cng phi khc nhau. Nu mt tn "mi" xut hin
hai ln trong mt danh sch i tn th cc tnh nng tng ng vi cc lin kt ca tn "c"
phi c vit tng thch. Nu mt tn "mi" ging nh ca mt
tnh nng hin c ca lp th tnh nng v tnh nng tng ng vi
cc lin kt tn "c" phi c vit tng thch.

nh ngha:


Ghi ch: Theo mc ch ca cc nh ngha trong chng ny, chng ta gi nh s tn ti
ca mt loi c s trong tt c cc loi lp l tp hp con. iu ny cho php chng ta vit
biu thc lin quan cc lp khc nhau hoc i tng xc nh ca cc lp khc nhau.

4.6.2
Tn: a hnh

M t:
a hnh c s dng xc nh cc thit lp ca i tng xc nh
thuc v mt lp nht nh hoc bt kz mt trong nhng lp con ca n (c xc nh hoc
trc khi hoc sau khi lp c a ra trong cc c im k thut). N ch c th c p
dng cho mt biu thc tn lp trong mi lp c cng cc thng s chung chnh thc
nh lp nht nh, v t nht l tt c cc tnh nng c th nhn thy ca lp nht nh.

C php:
Expression ::= Expression

Qui tc:
Biu thc phi l mt biu thc tn lp. Tt c cc lp con ca lp lin quan
phi c cc thng s chung chnh thc ging nh n v bao gm, cho mi tnh nng c th nhn
thy ca n, mt tnh nng c t tn ging nhau c th nhn thy. Hn na, cc tnh nng
th nhn thy c t tn ph bin ny phi c t tng thch v, trong
trng hp ca cc hot ng, c cc bin ph tr ging ht nhau

nh ngha:

nh ngha gi nh s tn ti ca mt loi c s trong tt c cc loi lp
l tp con nh tho lun trang 108.



4.6.3
Tn: Lp hp

M t: Lp hp c s dng xc nh cc thit lp ca bn sc i tng thuc hai hoc
nhiu lp.
C php:
::
Quy tc loi:
Cc biu thc phi l biu thc tn lp hoc l biu thc tn lp hp
nh ngha:
nh ngha gi nh s tn ti ca mt loi c s trong tt c cc loi lp
l tp con nh tho lun trang 108.


4.6.4
Tn: i tng ngn chn(Object containment)
M t: Cc k hiu(notation) i tng ngn chn cho php c t ca mt tp hp cc i
tng c bn cht ging nh ca mt biu thc tn lp cho nhng nh vy m danh tnh tuyn
b t thit lp ny l khc bit khi chng xy ra nh l thuc tnh ca cc i tng khc nhau. Bng
cch ny, cc khi nim v mt i tng l mt thnh phn ca i tng khc - v ch ca i
tng - c th c chp.
C Php:

Quy tc:
Biu thc phi l biu thc tn lp.
nh ngha:
Mt i tng khng th c cha trc tip trong hai i tng ring bit. Mt i tng
khng th trc tip hoc gin tip c cha chnh n.

4.6.5
Tn: Thuc tnh nng cp
M t: Thuc tnh nng cp c s dng truy cp vo cc thuc tnh c th nhn thy ca mt
i tng xc nh.
C php:
::
Quy tc:
Biu thc phi l mt i tng xc nh v nh danh phi l mt thuc tnh hin th ca lp ca i
tng c xc nh hoc khng i. Trong trng hp cc loi bn sc i tng l mt kiu a
hnh hoc mt lp hp v khng iu kin tip tc, nh danh phi l mt thuc tnh c th nhn
thy, l chung cho tt c cc lp hc ca cc loi hoc lin tc.
nh ngha:
Thuc tnh thng b hn ch bi cc Property ca trng ti ca lp

4.6.6
Tn: Self
M t:
Hng s self cho php cc c im k thut ca i tng tham kho n th vin, ti liu tham
kho ca chnh n
C php:

nh ngha: