tree bd2dca0a52db40fd1afb4acf991652a5bde07a81
parent 27e542bd3c5430e4bf6fe265eb7e15eb4e401b77
author David Brazdil <dbrazdil@google.com> 1432116202 +0100
committer David Brazdil <dbrazdil@google.com> 1432118536 +0100

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