1.1 --- a/transresults.py Sat Mar 25 21:58:51 2017 +0100
1.2 +++ b/transresults.py Sat Mar 25 22:00:14 2017 +0100
1.3 @@ -178,11 +178,12 @@
1.4
1.5 "A translation result for an attribute access."
1.6
1.7 - def __init__(self, instructions, refs, location, context_identity):
1.8 + def __init__(self, instructions, refs, location, context_identity, context_identity_verified):
1.9 InstructionSequence.__init__(self, instructions)
1.10 self.refs = refs
1.11 self.location = location
1.12 self.context_identity = context_identity
1.13 + self.context_identity_verified = context_identity_verified
1.14
1.15 def references(self):
1.16 return self.refs
1.17 @@ -193,6 +194,9 @@
1.18 def context(self):
1.19 return self.context_identity
1.20
1.21 + def context_verified(self):
1.22 + return self.context_identity_verified and self.context() or None
1.23 +
1.24 def get_origin(self):
1.25 return self.refs and len(self.refs) == 1 and first(self.refs).get_origin()
1.26