paul@11 | 1 | #!/usr/bin/env python |
paul@11 | 2 | |
paul@11 | 3 | """ |
paul@11 | 4 | Result abstractions. |
paul@11 | 5 | |
paul@11 | 6 | Copyright (C) 2016 Paul Boddie <paul@boddie.org.uk> |
paul@11 | 7 | |
paul@11 | 8 | This program is free software; you can redistribute it and/or modify it under |
paul@11 | 9 | the terms of the GNU General Public License as published by the Free Software |
paul@11 | 10 | Foundation; either version 3 of the License, or (at your option) any later |
paul@11 | 11 | version. |
paul@11 | 12 | |
paul@11 | 13 | This program is distributed in the hope that it will be useful, but WITHOUT |
paul@11 | 14 | ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS |
paul@11 | 15 | FOR A PARTICULAR PURPOSE. See the GNU General Public License for more |
paul@11 | 16 | details. |
paul@11 | 17 | |
paul@11 | 18 | You should have received a copy of the GNU General Public License along with |
paul@11 | 19 | this program. If not, see <http://www.gnu.org/licenses/>. |
paul@11 | 20 | """ |
paul@11 | 21 | |
paul@11 | 22 | # Classes representing inspection and translation observations. |
paul@11 | 23 | |
paul@11 | 24 | class Result: |
paul@11 | 25 | |
paul@11 | 26 | "An abstract expression result." |
paul@11 | 27 | |
paul@11 | 28 | def is_name(self): |
paul@11 | 29 | return False |
paul@11 | 30 | def get_origin(self): |
paul@11 | 31 | return None |
paul@11 | 32 | |
paul@11 | 33 | class AccessRef(Result): |
paul@11 | 34 | |
paul@11 | 35 | """ |
paul@11 | 36 | A reference to an attribute access that is generally only returned from a |
paul@11 | 37 | processed access for possible initialiser resolution for assignments. |
paul@11 | 38 | """ |
paul@11 | 39 | |
paul@11 | 40 | def __init__(self, original_name, attrnames, number): |
paul@11 | 41 | self.original_name = original_name |
paul@11 | 42 | self.attrnames = attrnames |
paul@11 | 43 | self.number = number |
paul@11 | 44 | |
paul@11 | 45 | def reference(self): |
paul@11 | 46 | return None |
paul@11 | 47 | |
paul@11 | 48 | def __repr__(self): |
paul@11 | 49 | return "AccessRef(%r, %r, %r)" % (self.original_name, self.attrnames, self.number) |
paul@11 | 50 | |
paul@11 | 51 | class InvocationRef(Result): |
paul@11 | 52 | |
paul@11 | 53 | "An invocation of a name reference." |
paul@11 | 54 | |
paul@11 | 55 | def __init__(self, name_ref): |
paul@11 | 56 | self.name_ref = name_ref |
paul@11 | 57 | |
paul@11 | 58 | def __repr__(self): |
paul@11 | 59 | return "InvocationRef(%r)" % self.name_ref |
paul@11 | 60 | |
paul@11 | 61 | class NameRef(Result): |
paul@11 | 62 | |
paul@11 | 63 | "A reference to a name." |
paul@11 | 64 | |
paul@11 | 65 | def __init__(self, name, expr=None): |
paul@11 | 66 | self.name = name |
paul@11 | 67 | self.expr = expr |
paul@11 | 68 | |
paul@11 | 69 | def is_name(self): |
paul@11 | 70 | return True |
paul@11 | 71 | |
paul@11 | 72 | def reference(self): |
paul@11 | 73 | return None |
paul@11 | 74 | |
paul@11 | 75 | def final(self): |
paul@11 | 76 | return None |
paul@11 | 77 | |
paul@11 | 78 | def __repr__(self): |
paul@11 | 79 | return "NameRef(%r, %r)" % (self.name, self.expr) |
paul@11 | 80 | |
paul@11 | 81 | class LocalNameRef(NameRef): |
paul@11 | 82 | |
paul@11 | 83 | "A reference to a local name." |
paul@11 | 84 | |
paul@11 | 85 | def __init__(self, name, number): |
paul@11 | 86 | NameRef.__init__(self, name) |
paul@11 | 87 | self.number = number |
paul@11 | 88 | |
paul@11 | 89 | def __repr__(self): |
paul@11 | 90 | return "LocalNameRef(%r, %r)" % (self.name, self.number) |
paul@11 | 91 | |
paul@11 | 92 | class ResolvedNameRef(NameRef): |
paul@11 | 93 | |
paul@11 | 94 | "A resolved name-based reference." |
paul@11 | 95 | |
paul@11 | 96 | def __init__(self, name, ref, expr=None): |
paul@11 | 97 | NameRef.__init__(self, name, expr) |
paul@11 | 98 | self.ref = ref |
paul@11 | 99 | |
paul@11 | 100 | def reference(self): |
paul@11 | 101 | return self.ref |
paul@11 | 102 | |
paul@11 | 103 | def get_name(self): |
paul@11 | 104 | return self.ref and self.ref.get_name() or None |
paul@11 | 105 | |
paul@11 | 106 | def get_origin(self): |
paul@11 | 107 | return self.ref and self.ref.get_origin() or None |
paul@11 | 108 | |
paul@11 | 109 | def static(self): |
paul@11 | 110 | return self.ref and self.ref.static() or None |
paul@11 | 111 | |
paul@11 | 112 | def final(self): |
paul@11 | 113 | return self.ref and self.ref.final() or None |
paul@11 | 114 | |
paul@11 | 115 | def has_kind(self, kinds): |
paul@11 | 116 | return self.ref and self.ref.has_kind(kinds) |
paul@11 | 117 | |
paul@11 | 118 | def __repr__(self): |
paul@11 | 119 | return "ResolvedNameRef(%r, %r, %r)" % (self.name, self.ref, self.expr) |
paul@11 | 120 | |
paul@11 | 121 | class ConstantValueRef(ResolvedNameRef): |
paul@11 | 122 | |
paul@11 | 123 | "A constant reference representing a single literal value." |
paul@11 | 124 | |
paul@11 | 125 | def __init__(self, name, ref, value, number=None): |
paul@11 | 126 | ResolvedNameRef.__init__(self, name, ref) |
paul@11 | 127 | self.value = value |
paul@11 | 128 | self.number = number |
paul@11 | 129 | |
paul@11 | 130 | def __repr__(self): |
paul@11 | 131 | return "ConstantValueRef(%r, %r, %r, %r)" % (self.name, self.ref, self.value, self.number) |
paul@11 | 132 | |
paul@11 | 133 | class InstanceRef(Result): |
paul@11 | 134 | |
paul@11 | 135 | "An instance reference." |
paul@11 | 136 | |
paul@11 | 137 | def __init__(self, ref): |
paul@11 | 138 | self.ref = ref |
paul@11 | 139 | |
paul@11 | 140 | def reference(self): |
paul@11 | 141 | return self.ref |
paul@11 | 142 | |
paul@11 | 143 | def __repr__(self): |
paul@11 | 144 | return "InstanceRef(%r)" % self.ref |
paul@11 | 145 | |
paul@11 | 146 | class LiteralSequenceRef(ResolvedNameRef): |
paul@11 | 147 | |
paul@11 | 148 | "A reference representing a sequence of values." |
paul@11 | 149 | |
paul@11 | 150 | def __init__(self, name, ref, node, items=None): |
paul@11 | 151 | ResolvedNameRef.__init__(self, name, ref) |
paul@11 | 152 | self.node = node |
paul@11 | 153 | self.items = items |
paul@11 | 154 | |
paul@11 | 155 | def __repr__(self): |
paul@11 | 156 | return "LiteralSequenceRef(%r, %r, %r, %r)" % (self.name, self.ref, self.node, self.items) |
paul@11 | 157 | |
paul@11 | 158 | # vim: tabstop=4 expandtab shiftwidth=4 |