diff -r 14522ec8cd08 -r 066e6c78a367 Debugger/DebuggerInterfacePython.py
--- a/Debugger/DebuggerInterfacePython.py Tue Nov 07 19:37:17 2017 +0100
+++ b/Debugger/DebuggerInterfacePython.py Wed Nov 08 19:05:55 2017 +0100
@@ -718,34 +718,52 @@
"threadID": tid,
})
- def remoteClientVariables(self, scope, filterList, framenr=0):
+ def remoteClientVariables(self, scope, filterList, framenr=0, maxSize=0):
"""
Public method to request the variables of the debugged program.
@param scope the scope of the variables (0 = local, 1 = global)
- @param filterList list of variable types to filter out (list of int)
- @param framenr framenumber of the variables to retrieve (int)
+ @type int
+ @param filterList list of variable types to filter out
+ @type list of int
+ @param framenr framenumber of the variables to retrieve
+ @type int
+ @param maxSize maximum size the formatted value of a variable will
+ be shown. If it is bigger than that, a 'too big' indication will
+ be given (@@TOO_BIG_TO_SHOW@@).
+ @type int
"""
self.__sendJsonCommand("RequestVariables", {
"frameNumber": framenr,
"scope": scope,
"filters": filterList,
+ "maxSize": maxSize,
})
- def remoteClientVariable(self, scope, filterList, var, framenr=0):
+ def remoteClientVariable(self, scope, filterList, var, framenr=0,
+ maxSize=0):
"""
Public method to request the variables of the debugged program.
@param scope the scope of the variables (0 = local, 1 = global)
- @param filterList list of variable types to filter out (list of int)
- @param var list encoded name of variable to retrieve (string)
- @param framenr framenumber of the variables to retrieve (int)
+ @type int
+ @param filterList list of variable types to filter out
+ @type list of int
+ @param var list encoded name of variable to retrieve
+ @type list of str
+ @param framenr framenumber of the variables to retrieve
+ @type int
+ @param maxSize maximum size the formatted value of a variable will
+ be shown. If it is bigger than that, a 'too big' indication will
+ be given (@@TOO_BIG_TO_SHOW@@).
+ @type int
"""
self.__sendJsonCommand("RequestVariable", {
"variable": var,
"frameNumber": framenr,
"scope": scope,
"filters": filterList,
+ "maxSize": maxSize,
})
def remoteClientSetFilter(self, scope, filterStr):
