bastion.py 5.37 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43
"""Bastionification utility.

A bastion (for another object -- the 'original') is an object that has
the same methods as the original but does not give access to its
instance variables.  Bastions have a number of uses, but the most
obvious one is to provide code executing in restricted mode with a
safe interface to an object implemented in unrestricted mode.

The bastionification routine has an optional second argument which is
a filter function.  Only those methods for which the filter method
(called with the method name as argument) returns true are accessible.
The default filter method returns true unless the method name begins
with an underscore.

There are a number of possible implementations of bastions.  We use a
'lazy' approach where the bastion's __getattr__() discipline does all
the work for a particular method the first time it is used.  This is
usually fastest, especially if the user doesn't call all available
methods.  The retrieved methods are stored as instance variables of
the bastion, so the overhead is only occurred on the first use of each
method.

Detail: the bastion class has a __repr__() discipline which includes
the repr() of the original object.  This is precomputed when the
bastion is created.

"""


from types import MethodType


class BastionClass:

    """Helper class used by the Bastion() function.

    You could subclass this and pass the subclass as the bastionclass
    argument to the Bastion() function, as long as the constructor has
    the same signature (a get() function and a name for the object).

    """

    def __init__(self, get, name):
Guido van Rossum's avatar
Guido van Rossum committed
44
        """Constructor.
45

Guido van Rossum's avatar
Guido van Rossum committed
46
        Arguments:
47

Guido van Rossum's avatar
Guido van Rossum committed
48 49 50
        get - a function that gets the attribute value (by name)
        name - a human-readable name for the original object
               (suggestion: use repr(object))
51

Guido van Rossum's avatar
Guido van Rossum committed
52 53 54
        """
        self._get_ = get
        self._name_ = name
55 56

    def __repr__(self):
Guido van Rossum's avatar
Guido van Rossum committed
57
        """Return a representation string.
58

Guido van Rossum's avatar
Guido van Rossum committed
59 60 61
        This includes the name passed in to the constructor, so that
        if you print the bastion during debugging, at least you have
        some idea of what it is.
62

Guido van Rossum's avatar
Guido van Rossum committed
63 64
        """
        return "<Bastion for %s>" % self._name_
65 66

    def __getattr__(self, name):
Guido van Rossum's avatar
Guido van Rossum committed
67
        """Get an as-yet undefined attribute value.
68

Guido van Rossum's avatar
Guido van Rossum committed
69 70 71 72
        This calls the get() function that was passed to the
        constructor.  The result is stored as an instance variable so
        that the next time the same attribute is requested,
        __getattr__() won't be invoked.
73

Guido van Rossum's avatar
Guido van Rossum committed
74 75
        If the get() function raises an exception, this is simply
        passed on -- exceptions are not cached.
76

Guido van Rossum's avatar
Guido van Rossum committed
77 78 79 80
        """
        attribute = self._get_(name)
        self.__dict__[name] = attribute
        return attribute
81 82 83


def Bastion(object, filter = lambda name: name[:1] != '_',
Guido van Rossum's avatar
Guido van Rossum committed
84
            name=None, bastionclass=BastionClass):
85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111
    """Create a bastion for an object, using an optional filter.

    See the Bastion module's documentation for background.

    Arguments:

    object - the original object
    filter - a predicate that decides whether a function name is OK;
             by default all names are OK that don't start with '_'
    name - the name of the object; default repr(object)
    bastionclass - class used to create the bastion; default BastionClass

    """

    # Note: we define *two* ad-hoc functions here, get1 and get2.
    # Both are intended to be called in the same way: get(name).
    # It is clear that the real work (getting the attribute
    # from the object and calling the filter) is done in get1.
    # Why can't we pass get1 to the bastion?  Because the user
    # would be able to override the filter argument!  With get2,
    # overriding the default argument is no security loophole:
    # all it does is call it.
    # Also notice that we can't place the object and filter as
    # instance variables on the bastion object itself, since
    # the user has full access to all instance variables!

    def get1(name, object=object, filter=filter):
Guido van Rossum's avatar
Guido van Rossum committed
112 113 114 115 116 117
        """Internal function for Bastion().  See source comments."""
        if filter(name):
            attribute = getattr(object, name)
            if type(attribute) == MethodType:
                return attribute
        raise AttributeError, name
118 119

    def get2(name, get1=get1):
Guido van Rossum's avatar
Guido van Rossum committed
120 121
        """Internal function for Bastion().  See source comments."""
        return get1(name)
122 123

    if name is None:
Guido van Rossum's avatar
Guido van Rossum committed
124
        name = `object`
125 126 127 128 129 130
    return bastionclass(get2, name)


def _test():
    """Test the Bastion() function."""
    class Original:
Guido van Rossum's avatar
Guido van Rossum committed
131 132 133 134 135 136 137 138
        def __init__(self):
            self.sum = 0
        def add(self, n):
            self._add(n)
        def _add(self, n):
            self.sum = self.sum + n
        def total(self):
            return self.sum
139 140
    o = Original()
    b = Bastion(o)
141
    testcode = """if 1:
142 143 144 145
    b.add(81)
    b.add(18)
    print "b.total() =", b.total()
    try:
Guido van Rossum's avatar
Guido van Rossum committed
146
        print "b.sum =", b.sum,
147
    except:
Guido van Rossum's avatar
Guido van Rossum committed
148
        print "inaccessible"
149
    else:
Guido van Rossum's avatar
Guido van Rossum committed
150
        print "accessible"
151
    try:
Guido van Rossum's avatar
Guido van Rossum committed
152
        print "b._add =", b._add,
153
    except:
Guido van Rossum's avatar
Guido van Rossum committed
154
        print "inaccessible"
155
    else:
Guido van Rossum's avatar
Guido van Rossum committed
156
        print "accessible"
157
    try:
Guido van Rossum's avatar
Guido van Rossum committed
158
        print "b._get_.func_defaults =", b._get_.func_defaults,
159
    except:
Guido van Rossum's avatar
Guido van Rossum committed
160
        print "inaccessible"
161
    else:
Guido van Rossum's avatar
Guido van Rossum committed
162
        print "accessible"
163 164 165 166 167 168 169 170
    \n"""
    exec testcode
    print '='*20, "Using rexec:", '='*20
    import rexec
    r = rexec.RExec()
    m = r.add_module('__main__')
    m.b = b
    r.r_exec(testcode)
171 172 173 174


if __name__ == '__main__':
    _test()