changeset 244:76d904123853

Renamed get to input
author Sigurd Meldgaard <stm@daimi.au.dk>
date Wed, 06 Jan 2010 10:28:44 +0100
parents d6200b882b17
children 6b8310448378
files pysmcl/range_analysis.py pysmcl/secret_annotator.py
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/pysmcl/range_analysis.py	Wed Jan 06 10:28:32 2010 +0100
+++ b/pysmcl/range_analysis.py	Wed Jan 06 10:28:44 2010 +0100
@@ -367,7 +367,7 @@
             return Bottom()
         if node.func.id == "output":
             return self.visit(node.args[0])
-        if node.func.id == "get":
+        if node.func.id == "input":
             return self.visit(node.args[2]).combine(self.visit(node.args[3]))
         if node.func.id == "range":
             if(len(node.args) > 1):
--- a/pysmcl/secret_annotator.py	Wed Jan 06 10:28:32 2010 +0100
+++ b/pysmcl/secret_annotator.py	Wed Jan 06 10:28:44 2010 +0100
@@ -4,7 +4,7 @@
 non_compromising_functions = set(["len", "output", "result",
                                   "invariant", "precondition"])
 
-secret_functions = set(["get"])
+secret_functions = set(["input"])
 
 annotated_functions = {}