Linux server.nvwebsoft.co.in 3.10.0-1160.114.2.el7.x86_64 #1 SMP Wed Mar 20 15:54:52 UTC 2024 x86_64
Apache
: 162.240.12.249 | : 52.15.244.11
202 Domain
8.1.31
nbspublicschool
www.github.com/MadExploits
Terminal
AUTO ROOT
Adminer
Backdoor Destroyer
Linux Exploit
Lock Shell
Lock File
Create User
CREATE RDP
PHP Mailer
BACKCONNECT
UNLOCK SHELL
HASH IDENTIFIER
CPANEL RESET
CREATE WP USER
README
+ Create Folder
+ Create File
/
usr /
lib64 /
python2.7 /
Demo /
metaclasses /
[ HOME SHELL ]
Name
Size
Permission
Action
Eiffel.py
3.39
KB
-rw-r--r--
Eiffel.pyc
4.52
KB
-rw-r--r--
Eiffel.pyo
4.42
KB
-rw-r--r--
Enum.py
4.32
KB
-rw-r--r--
Enum.pyc
6.03
KB
-rw-r--r--
Enum.pyo
6.03
KB
-rw-r--r--
Meta.py
2.86
KB
-rw-r--r--
Meta.pyc
4.47
KB
-rw-r--r--
Meta.pyo
4.47
KB
-rw-r--r--
Simple.py
1.16
KB
-rw-r--r--
Simple.pyc
2.68
KB
-rw-r--r--
Simple.pyo
2.68
KB
-rw-r--r--
Synch.py
7.75
KB
-rw-r--r--
Synch.pyc
8.26
KB
-rw-r--r--
Synch.pyo
8.12
KB
-rw-r--r--
Trace.py
4.04
KB
-rw-r--r--
Trace.pyc
6.03
KB
-rw-r--r--
Trace.pyo
6.03
KB
-rw-r--r--
index.html
20.09
KB
-rw-r--r--
meta-vladimir.txt
11.26
KB
-rw-r--r--
Delete
Unzip
Zip
${this.title}
Close
Code Editor : Eiffel.pyo
� V �Qc @ s� d Z d d l m Z m Z m Z d e f d � � YZ d e f d � � YZ d e f d � � YZ e d d i � Z d � Z e d k r� e � n d S( s� Support Eiffel-style preconditions and postconditions. For example, class C: def m1(self, arg): require arg > 0 return whatever ensure Result > arg can be written (clumsily, I agree) as: class C(Eiffel): def m1(self, arg): return whatever def m1_pre(self, arg): assert arg > 0 def m1_post(self, Result, arg): assert Result > arg Pre- and post-conditions for a method, being implemented as methods themselves, are inherited independently from the method. This gives much of the same effect of Eiffel, where pre- and post-conditions are inherited when a method is overridden by a derived class. However, when a derived class in Python needs to extend a pre- or post-condition, it must manually merge the base class' pre- or post-condition with that defined in the derived class', for example: class D(C): def m1(self, arg): return arg**2 def m1_post(self, Result, arg): C.m1_post(self, Result, arg) assert Result < 100 This gives derived classes more freedom but also more responsibility than in Eiffel, where the compiler automatically takes care of this. In Eiffel, pre-conditions combine using contravariance, meaning a derived class can only make a pre-condition weaker; in Python, this is up to the derived class. For example, a derived class that takes away the requirement that arg > 0 could write: def m1_pre(self, arg): pass but one could equally write a derived class that makes a stronger requirement: def m1_pre(self, arg): require arg > 50 It would be easy to modify the classes shown here so that pre- and post-conditions can be disabled (separately, on a per-class basis). A different design would have the pre- or post-condition testing functions return true for success and false for failure. This would make it possible to implement automatic combination of inherited and new pre-/post-conditions. All this is left as an exercise to the reader. i����( t MetaClasst MetaHelpert MetaMethodWrappert EiffelMethodWrapperc B s e Z d � Z d � Z RS( c C s� t j | | | � y t | | j d � | _ Wn t k rL d | _ n Xy t | | j d � | _ Wn t k r� d | _ n Xd S( Nt _pret _post( R t __init__t getattrt __name__t pret AttributeErrort Nonet post( t selft funct inst( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyR D s c O sh | j r t | j | | � n t | j | j f | | � } | j rd t | j | f | | � n | S( N( R t applyR R R ( R t argst kwt Result( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyt __call__S s ( R t __module__R R ( ( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyR B s t EiffelHelperc B s e Z e Z RS( ( R R R t __methodwrapper__( ( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyR [ s t EiffelMetaClassc B s e Z e Z RS( ( R R R t __helper__( ( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyR ^ s t Eiffelc C s0 d t f d � � Y} | � } | j d � d S( Nt Cc B s# e Z d � Z d � Z d � Z RS( c S s | d S( Ni ( ( R t arg( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyt m1f s c S s d S( N( ( R R ( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyt m1_preh s c S s d S( N( ( R R R ( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyt m1_postj s ( R R R R R ( ( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyR e s i ( R R ( R t x( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyt _testd s t __main__N( ( t __doc__t MetaR R R R R R R R! R ( ( ( s/ /usr/lib64/python2.7/Demo/metaclasses/Eiffel.pyt <module>> s
Close
