commit | c4de9436bbfe3a9c9adf48085b9344ad9a37c14b | [log] [tgz] |
---|---|---|
author | David Brazdil <dbrazdil@google.com> | Wed May 20 11:03:22 2015 +0100 |
committer | David Brazdil <dbrazdil@google.com> | Wed May 20 11:42:16 2015 +0100 |
tree | bd2dca0a52db40fd1afb4acf991652a5bde07a81 | |
parent | 27e542bd3c5430e4bf6fe265eb7e15eb4e401b77 [diff] |
ART: Immutable `variables` dictionary in Checker Python's lack of read-only references makes passing state information to other functions unsafe. This patch adds an immutable dictionary class to Checker and uses it when passing around current values of variables. Change-Id: I54f2eac54d4d59e16daa74364e6d91a6cc953f6f