ó
¿œ^c@s±dZd
dl
mZ
def
d„ƒYZdef
d„ƒYZddd„ƒYZd	ef
d
„ƒYZ	def
d„ƒYZ
d
„Zedkr­eeƒ

ee
ƒ

ndS(s6Support Eiffel-style preconditions and postconditions.iÿÿÿÿ(
tFunctionTypetEiffelBaseMetaClasscBs eZ
d„Zed
„ƒ
ZRS(cCs,|j|ƒ

t
t|ƒj||
||ƒS(
N(tconvert_methodstsuperR
t__new__(tmetatnametbasestdict((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyRs



cCsßg}xo|
jƒD]a\}}|j
d
ƒ
s=|j
dƒ
rUt|tƒstt‚
qt|tƒr|j|ƒ

qqWx`|D]X}|
jd|ƒ
}|
jd|ƒ
}|s·|r|j|
|||ƒ|
|<qqWdS(síReplace functions in dict with EiffelMethod wrappers.

        The dict is modified in place.

        If a method ends in _pre or _post, it is removed from the dict
        regardless of whether there is a corresponding method.
        t_pret_posts%s_pres%s_postN(t	iteritemstendswitht
isinstancetfunctiontAssertionErrortappendtgettmake_eiffel_method(tclsRtmethodst
kt
vt
mtpretpost((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyRs











(t__name__t
__module__RtclassmethodR(((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyR
s	tEiffelMetaClass1cBseZ
ed„ƒ
ZRS(
cs1‡‡
‡fd
†}ˆjr-ˆj|_n|S(Nc
sKˆrˆ||
|Ž

nˆ||
|Ž
}ˆ
rGˆ
|||
|Ž
n|S(
N((tselftargstkwargst
x(tfuncRR(s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pytmethod's





(
t__doc__(R"RRR#((R"RRs2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyR%s	
(RRtstaticmethodR(((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyR"stEiffelMethodWrapperc
BseZ
d„Zd
„ZRS(cCs|
|_||_
dS(
N(t_instt_descr(Rtinsttdescr((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyt__init__6s
	
c
Os|jj
|j|
|ƒS(
N(R(t
callmethodR'(RRR ((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyt__call__:s
(RRR+R-(((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyR&4s	tEiffelDescriptorc
Bs#eZ
d„Zd
„Zd„ZRS(cCs7|
|_||_
||_|
j|_|
j|_dS(
N(t_funcR	R
RR$(RR"RR((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyR+?s

	
	
	
cCs
t|
|ƒS(
N(
R&(RtobjR((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyt__get__Gs
cCsZ|jr|j|
||Ž

n|j
|
||Ž
}|jrV|j|
|||Ž
n|S(
N(R	R/R
(RR)RR R!((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyR,Js
	


	

(RRR+R1R,(((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyR.=s		tEiffelMetaClass2c
BseZ
eZRS((RRR.R(((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyR2Rsc
s
d
d‡
f
d†ƒY}
d|
f
d„ƒY}d|f
‡f
d†ƒY‰|ƒ}|jdƒ

|j
dƒ

y|j
dƒ

Wntk
r’


n
XtsŸt‚
ˆƒ}y|j
dƒ

Wntk
rÌ


n
XtsÙt‚
y|j
d	ƒ

Wntk
rý


n
Xts

t‚
|j
d
ƒ

dS(NtEiffelc
seZ
ˆZRS((RRt
__metaclass__((
t	metaclass(s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyR3Xs
tTestc
Bs,eZ
d„Zd
„Zd„Zd„ZRS(cSs|
d
S(sMake it a little largeri
((Rtarg((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyR]scSs|
d
S(sMake it a little largeri
((RR7((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pytm2ascSs|
d
kst‚
dS(Ni(
R(RR7((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pytm2_prees
cSs|
|kst‚
dS(
N(
R(RtresultR7((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pytm2_posths
(RRRR8R9R;(((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyR6[s			tSubcs eZ
d„Z‡f
d
†ZRS(cSs|
d
S(Ni((RR7((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyR8ls
cs/tˆ|ƒj
|
|ƒ
|
d
ks+t‚
dS(Nid(RR;R(RtResultR7(
R<(s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyR;ns

(RRR8R;((
R<(s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyR<ks
	i
ii
i((RR8RtFalse(R5R3R6t
tt
s((R<R5s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyt_testWs.
	








	










t__main__N((
R$ttypesRRttypeR
RR&tobjectR.R2RAR(((s2/usr/lib64/python2.7/Demo/newmetaclasses/Eiffel.pyt<module>
s		4