blob: d0dddbfdefcac103c0e290fe844891cedac94751 [file] [log] [blame]
Guido van Rossum601d3321996-06-11 20:12:49 +00001"""Bastionification utility.
2
3A bastion (for another object -- the 'original') is an object that has
4the same methods as the original but does not give access to its
5instance variables. Bastions have a number of uses, but the most
6obvious one is to provide code executing in restricted mode with a
7safe interface to an object implemented in unrestricted mode.
8
9The bastionification routine has an optional second argument which is
10a filter function. Only those methods for which the filter method
11(called with the method name as argument) returns true are accessible.
12The default filter method returns true unless the method name begins
13with an underscore.
14
15There are a number of possible implementations of bastions. We use a
16'lazy' approach where the bastion's __getattr__() discipline does all
17the work for a particular method the first time it is used. This is
18usually fastest, especially if the user doesn't call all available
19methods. The retrieved methods are stored as instance variables of
20the bastion, so the overhead is only occurred on the first use of each
21method.
22
23Detail: the bastion class has a __repr__() discipline which includes
24the repr() of the original object. This is precomputed when the
25bastion is created.
26
27"""
Brett Cannon4c1f8812008-05-10 02:27:04 +000028from warnings import warnpy3k
29warnpy3k("the Bastion module has been removed in Python 3.0", stacklevel=2)
30del warnpy3k
Guido van Rossum601d3321996-06-11 20:12:49 +000031
Skip Montanaroe99d5ea2001-01-20 19:54:20 +000032__all__ = ["BastionClass", "Bastion"]
Guido van Rossum601d3321996-06-11 20:12:49 +000033
34from types import MethodType
35
36
37class BastionClass:
38
39 """Helper class used by the Bastion() function.
40
41 You could subclass this and pass the subclass as the bastionclass
42 argument to the Bastion() function, as long as the constructor has
43 the same signature (a get() function and a name for the object).
44
45 """
46
47 def __init__(self, get, name):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000048 """Constructor.
Guido van Rossum601d3321996-06-11 20:12:49 +000049
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000050 Arguments:
Guido van Rossum601d3321996-06-11 20:12:49 +000051
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000052 get - a function that gets the attribute value (by name)
53 name - a human-readable name for the original object
54 (suggestion: use repr(object))
Guido van Rossum601d3321996-06-11 20:12:49 +000055
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000056 """
57 self._get_ = get
58 self._name_ = name
Guido van Rossum601d3321996-06-11 20:12:49 +000059
60 def __repr__(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000061 """Return a representation string.
Guido van Rossum601d3321996-06-11 20:12:49 +000062
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000063 This includes the name passed in to the constructor, so that
64 if you print the bastion during debugging, at least you have
65 some idea of what it is.
Guido van Rossum601d3321996-06-11 20:12:49 +000066
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000067 """
68 return "<Bastion for %s>" % self._name_
Guido van Rossum601d3321996-06-11 20:12:49 +000069
70 def __getattr__(self, name):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000071 """Get an as-yet undefined attribute value.
Guido van Rossum601d3321996-06-11 20:12:49 +000072
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000073 This calls the get() function that was passed to the
74 constructor. The result is stored as an instance variable so
75 that the next time the same attribute is requested,
76 __getattr__() won't be invoked.
Guido van Rossum601d3321996-06-11 20:12:49 +000077
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000078 If the get() function raises an exception, this is simply
79 passed on -- exceptions are not cached.
Guido van Rossum601d3321996-06-11 20:12:49 +000080
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000081 """
82 attribute = self._get_(name)
83 self.__dict__[name] = attribute
84 return attribute
Guido van Rossum601d3321996-06-11 20:12:49 +000085
86
87def Bastion(object, filter = lambda name: name[:1] != '_',
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000088 name=None, bastionclass=BastionClass):
Guido van Rossum601d3321996-06-11 20:12:49 +000089 """Create a bastion for an object, using an optional filter.
90
91 See the Bastion module's documentation for background.
92
93 Arguments:
94
95 object - the original object
96 filter - a predicate that decides whether a function name is OK;
97 by default all names are OK that don't start with '_'
98 name - the name of the object; default repr(object)
99 bastionclass - class used to create the bastion; default BastionClass
100
101 """
102
Georg Brandle2d827d2007-04-12 07:01:19 +0000103 raise RuntimeError, "This code is not secure in Python 2.2 and later"
Guido van Rossum34a2e082003-01-06 15:43:34 +0000104
Guido van Rossum601d3321996-06-11 20:12:49 +0000105 # Note: we define *two* ad-hoc functions here, get1 and get2.
106 # Both are intended to be called in the same way: get(name).
107 # It is clear that the real work (getting the attribute
108 # from the object and calling the filter) is done in get1.
109 # Why can't we pass get1 to the bastion? Because the user
110 # would be able to override the filter argument! With get2,
111 # overriding the default argument is no security loophole:
112 # all it does is call it.
113 # Also notice that we can't place the object and filter as
114 # instance variables on the bastion object itself, since
115 # the user has full access to all instance variables!
116
117 def get1(name, object=object, filter=filter):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000118 """Internal function for Bastion(). See source comments."""
119 if filter(name):
120 attribute = getattr(object, name)
121 if type(attribute) == MethodType:
122 return attribute
123 raise AttributeError, name
Guido van Rossum601d3321996-06-11 20:12:49 +0000124
125 def get2(name, get1=get1):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000126 """Internal function for Bastion(). See source comments."""
127 return get1(name)
Guido van Rossum601d3321996-06-11 20:12:49 +0000128
129 if name is None:
Walter Dörwald70a6b492004-02-12 17:35:32 +0000130 name = repr(object)
Guido van Rossum601d3321996-06-11 20:12:49 +0000131 return bastionclass(get2, name)
132
133
134def _test():
135 """Test the Bastion() function."""
136 class Original:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000137 def __init__(self):
138 self.sum = 0
139 def add(self, n):
140 self._add(n)
141 def _add(self, n):
142 self.sum = self.sum + n
143 def total(self):
144 return self.sum
Guido van Rossum601d3321996-06-11 20:12:49 +0000145 o = Original()
146 b = Bastion(o)
Guido van Rossum6ba66d01996-08-20 20:21:52 +0000147 testcode = """if 1:
Guido van Rossum601d3321996-06-11 20:12:49 +0000148 b.add(81)
149 b.add(18)
150 print "b.total() =", b.total()
151 try:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000152 print "b.sum =", b.sum,
Guido van Rossum601d3321996-06-11 20:12:49 +0000153 except:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000154 print "inaccessible"
Guido van Rossum601d3321996-06-11 20:12:49 +0000155 else:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000156 print "accessible"
Guido van Rossum601d3321996-06-11 20:12:49 +0000157 try:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000158 print "b._add =", b._add,
Guido van Rossum601d3321996-06-11 20:12:49 +0000159 except:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000160 print "inaccessible"
Guido van Rossum601d3321996-06-11 20:12:49 +0000161 else:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000162 print "accessible"
Guido van Rossum6ba66d01996-08-20 20:21:52 +0000163 try:
Jeremy Hylton1a34c872001-01-19 03:30:22 +0000164 print "b._get_.func_defaults =", map(type, b._get_.func_defaults),
Guido van Rossum6ba66d01996-08-20 20:21:52 +0000165 except:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000166 print "inaccessible"
Guido van Rossum6ba66d01996-08-20 20:21:52 +0000167 else:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000168 print "accessible"
Guido van Rossum6ba66d01996-08-20 20:21:52 +0000169 \n"""
170 exec testcode
171 print '='*20, "Using rexec:", '='*20
172 import rexec
173 r = rexec.RExec()
174 m = r.add_module('__main__')
175 m.b = b
176 r.r_exec(testcode)
Guido van Rossum601d3321996-06-11 20:12:49 +0000177
178
179if __name__ == '__main__':
180 _test()