From d50efcaed96c505235a3239c18c35986217df873 Mon Sep 17 00:00:00 2001 From: Chinmay Date: Sun, 16 Aug 2020 21:23:43 -0700 Subject: Incorporates review comments --- python/function.py | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) (limited to 'python') diff --git a/python/function.py b/python/function.py index f1b478d5..4a80a83b 100644 --- a/python/function.py +++ b/python/function.py @@ -591,6 +591,12 @@ class PossibleValueSet(object): :param list(ValueRange) ranges: List of ValueRanges :rtype: PossibleValueSet + :Example: + + >>> v_1 = ValueRange(-5, -1, 1) + >>> v_2 = ValueRange(7, 10, 1) + >>> val = PossibleValueSet.signed_range_value([v_1, v_2]) + , ]> """ result = PossibleValueSet() result.value = 0 @@ -606,6 +612,12 @@ class PossibleValueSet(object): :param list(ValueRange) ranges: List of ValueRanges :rtype: PossibleValueSet + :Example: + + >>> v_1 = ValueRange(0, 5, 1) + >>> v_2 = ValueRange(7, 10, 1) + >>> val = PossibleValueSet.unsigned_range_value([v_1, v_2]) + , ]> """ result = PossibleValueSet() result.value = 0 @@ -2643,7 +2655,7 @@ class Function(object): def set_user_var_value(self, var, def_addr, value): """ - `set_user_var_value` allows the user to specify a PossibleValueSet value for a (MLIL) variable at its + `set_user_var_value` allows the user to specify a PossibleValueSet value for an MLIL variable at its definition site. ..warning:: Setting the variable value, triggers a reanalysis of the function and allows the dataflow @@ -2685,7 +2697,7 @@ class Function(object): def clear_user_var_value(self, var, def_addr): """ - Clears a perviously informed user variable value. + Clears a previously defined user variable value. :param Variable var: Variable for which the value was informed :param int def_addr: Address of the definition site of the variable -- cgit v1.3.1