From edf4f37cf88de3d0a5ffe6fb5476ba2196f99270 Mon Sep 17 00:00:00 2001 From: Josselin Date: Wed, 24 Oct 2018 16:02:01 +0100 Subject: [PATCH] Improve high_level_calls documentation --- slither/core/cfg/node.py | 5 ++++- slither/core/declarations/function.py | 5 ++++- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/slither/core/cfg/node.py b/slither/core/cfg/node.py index 9626a4a87..03aec416f 100644 --- a/slither/core/cfg/node.py +++ b/slither/core/cfg/node.py @@ -201,7 +201,10 @@ class Node(SourceMapping, ChildFunction): @property def high_level_calls(self): """ - list((Contract, Function)): List of high level calls (external calls). Include library calls + list((Contract, Function|Variable)): + List of high level calls (external calls). + A variable is called in case of call to a public state variable + Include library calls """ return list(self._high_level_calls) diff --git a/slither/core/declarations/function.py b/slither/core/declarations/function.py index c3551cd19..a16438f48 100644 --- a/slither/core/declarations/function.py +++ b/slither/core/declarations/function.py @@ -251,7 +251,10 @@ class Function(ChildContract, SourceMapping): @property def high_level_calls(self): """ - list((Contract, Function)): List of high level calls (external calls). Include library calls + list((Contract, Function|Variable)): + List of high level calls (external calls). + A variable is called in case of call to a public state variable + Include library calls """ return list(self._high_level_calls)