1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/results.py Sat Sep 03 22:38:21 2016 +0200
1.3 @@ -0,0 +1,158 @@
1.4 +#!/usr/bin/env python
1.5 +
1.6 +"""
1.7 +Result abstractions.
1.8 +
1.9 +Copyright (C) 2016 Paul Boddie <paul@boddie.org.uk>
1.10 +
1.11 +This program is free software; you can redistribute it and/or modify it under
1.12 +the terms of the GNU General Public License as published by the Free Software
1.13 +Foundation; either version 3 of the License, or (at your option) any later
1.14 +version.
1.15 +
1.16 +This program is distributed in the hope that it will be useful, but WITHOUT
1.17 +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
1.18 +FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
1.19 +details.
1.20 +
1.21 +You should have received a copy of the GNU General Public License along with
1.22 +this program. If not, see <http://www.gnu.org/licenses/>.
1.23 +"""
1.24 +
1.25 +# Classes representing inspection and translation observations.
1.26 +
1.27 +class Result:
1.28 +
1.29 + "An abstract expression result."
1.30 +
1.31 + def is_name(self):
1.32 + return False
1.33 + def get_origin(self):
1.34 + return None
1.35 +
1.36 +class AccessRef(Result):
1.37 +
1.38 + """
1.39 + A reference to an attribute access that is generally only returned from a
1.40 + processed access for possible initialiser resolution for assignments.
1.41 + """
1.42 +
1.43 + def __init__(self, original_name, attrnames, number):
1.44 + self.original_name = original_name
1.45 + self.attrnames = attrnames
1.46 + self.number = number
1.47 +
1.48 + def reference(self):
1.49 + return None
1.50 +
1.51 + def __repr__(self):
1.52 + return "AccessRef(%r, %r, %r)" % (self.original_name, self.attrnames, self.number)
1.53 +
1.54 +class InvocationRef(Result):
1.55 +
1.56 + "An invocation of a name reference."
1.57 +
1.58 + def __init__(self, name_ref):
1.59 + self.name_ref = name_ref
1.60 +
1.61 + def __repr__(self):
1.62 + return "InvocationRef(%r)" % self.name_ref
1.63 +
1.64 +class NameRef(Result):
1.65 +
1.66 + "A reference to a name."
1.67 +
1.68 + def __init__(self, name, expr=None):
1.69 + self.name = name
1.70 + self.expr = expr
1.71 +
1.72 + def is_name(self):
1.73 + return True
1.74 +
1.75 + def reference(self):
1.76 + return None
1.77 +
1.78 + def final(self):
1.79 + return None
1.80 +
1.81 + def __repr__(self):
1.82 + return "NameRef(%r, %r)" % (self.name, self.expr)
1.83 +
1.84 +class LocalNameRef(NameRef):
1.85 +
1.86 + "A reference to a local name."
1.87 +
1.88 + def __init__(self, name, number):
1.89 + NameRef.__init__(self, name)
1.90 + self.number = number
1.91 +
1.92 + def __repr__(self):
1.93 + return "LocalNameRef(%r, %r)" % (self.name, self.number)
1.94 +
1.95 +class ResolvedNameRef(NameRef):
1.96 +
1.97 + "A resolved name-based reference."
1.98 +
1.99 + def __init__(self, name, ref, expr=None):
1.100 + NameRef.__init__(self, name, expr)
1.101 + self.ref = ref
1.102 +
1.103 + def reference(self):
1.104 + return self.ref
1.105 +
1.106 + def get_name(self):
1.107 + return self.ref and self.ref.get_name() or None
1.108 +
1.109 + def get_origin(self):
1.110 + return self.ref and self.ref.get_origin() or None
1.111 +
1.112 + def static(self):
1.113 + return self.ref and self.ref.static() or None
1.114 +
1.115 + def final(self):
1.116 + return self.ref and self.ref.final() or None
1.117 +
1.118 + def has_kind(self, kinds):
1.119 + return self.ref and self.ref.has_kind(kinds)
1.120 +
1.121 + def __repr__(self):
1.122 + return "ResolvedNameRef(%r, %r, %r)" % (self.name, self.ref, self.expr)
1.123 +
1.124 +class ConstantValueRef(ResolvedNameRef):
1.125 +
1.126 + "A constant reference representing a single literal value."
1.127 +
1.128 + def __init__(self, name, ref, value, number=None):
1.129 + ResolvedNameRef.__init__(self, name, ref)
1.130 + self.value = value
1.131 + self.number = number
1.132 +
1.133 + def __repr__(self):
1.134 + return "ConstantValueRef(%r, %r, %r, %r)" % (self.name, self.ref, self.value, self.number)
1.135 +
1.136 +class InstanceRef(Result):
1.137 +
1.138 + "An instance reference."
1.139 +
1.140 + def __init__(self, ref):
1.141 + self.ref = ref
1.142 +
1.143 + def reference(self):
1.144 + return self.ref
1.145 +
1.146 + def __repr__(self):
1.147 + return "InstanceRef(%r)" % self.ref
1.148 +
1.149 +class LiteralSequenceRef(ResolvedNameRef):
1.150 +
1.151 + "A reference representing a sequence of values."
1.152 +
1.153 + def __init__(self, name, ref, node, items=None):
1.154 + ResolvedNameRef.__init__(self, name, ref)
1.155 + self.node = node
1.156 + self.items = items
1.157 +
1.158 + def __repr__(self):
1.159 + return "LiteralSequenceRef(%r, %r, %r, %r)" % (self.name, self.ref, self.node, self.items)
1.160 +
1.161 +# vim: tabstop=4 expandtab shiftwidth=4