def _roscpp_analysis(self, node):
self.log.debug("Parsing C++ files for node %s", node.id)
parser = CppAstParser(workspace = self.workspace)
for sf in node.source_files:
self.log.debug("Parsing C++ file %s", sf.path)
if parser.parse(sf.path) is None:
self.log.warning("no compile commands for " + sf.path)
node.source_tree = parser.global_scope
# ----- queries after parsing, since global scope is reused ---------------
self._query_comm_primitives(node, parser.global_scope)
self._query_nh_param_primitives(node, parser.global_scope)
self._query_param_primitives(node, parser.global_scope)
#LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
#OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
#THE SOFTWARE.
import sys
from bonsai.analysis import *
from bonsai.cpp.clang_parser import CppAstParser
# ----- Setup ------------------------------------------------------------------
if len(sys.argv) < 2:
print "Please provide a file to be analysed."
sys.exit(1)
CppAstParser.set_library_path()
parser = CppAstParser(workspace="examples/cpp")
for i in xrange(1, len(sys.argv)):
if parser.parse(sys.argv[i]) is None:
print "No compile commands for file", sys.argv[i]
sys.exit(1)
# ----- Printing Program -------------------------------------------------------
print parser.global_scope.pretty_str()
print "\n----------------------------------\n"
# ----- Performing Queries -----------------------------------------------------
print "# QUERY FOR VARIABLE 'a'"
for cppobj in (CodeQuery(
parser.global_scope).all_references.where_name("a").get()):
print "[{}:{}]".format(cppobj.line, cppobj.column), cppobj.pretty_str()
print "[type]", cppobj.result
print "[canon. type]", cppobj.canonical_type
print "[reference]", cppobj.reference or "unknown"
value = resolve_reference(cppobj)
if not value is None and value != cppobj:
def launch(self):
self.parse_arg()
if self.args.node:
#FIND WORKSPACE:
#Fixme: the env variable ROS_PACKAGE_PATH is not the best way to extract the workspace path
ros_pkg_path = os.environ.get("ROS_PACKAGE_PATH")
ws = ros_pkg_path[:ros_pkg_path.find("/src:")]
#FIND PACKAGE PATH
pkg = Package(self.args.package_name)
rospack = rospkg.RosPack()
pkg.path = rospack.get_path(self.args.package_name)
#BONSAI PARSER
parser = CppAstParser(workspace=ws)
parser.set_library_path("/usr/lib/llvm-3.8/lib")
parser.set_standard_includes(
"/usr/lib/llvm-3.8/lib/clang/3.8.0/include")
db_dir = os.path.join(ws, "build")
if os.path.isfile(os.path.join(db_dir, "compile_commands.json")):
parser.set_database(db_dir)
#HAROS NODE EXTRACTOR
analysis = NodeExtractor(pkg,
env=dict(os.environ),
ws=ws,
node_cache=False,
parse_nodes=True)
node = Node(self.args.name, pkg, rosname=RosName(self.args.name))
srcdir = pkg.path[len(ws):]
srcdir = os.path.join(ws, srcdir.split(os.sep, 1)[0])
bindir = os.path.join(ws, "build")
#HAROS CMAKE PARSER
parser = RosCMakeParser(srcdir, bindir, pkgs=[pkg])
parser.parse(os.path.join(pkg.path, "CMakeLists.txt"))
for target in parser.executables.itervalues():
if target.output_name == self.args.name:
for file_in in target.files:
full_path = file_in
relative_path = full_path.replace(
pkg.path + "/", "").rpartition("/")[0]
file_name = full_path.rsplit('/', 1)[-1]
source_file = SourceFile(file_name, relative_path, pkg)
node.source_files.append(source_file)
parser = CppAstParser(workspace=ws)
node.source_tree = parser.global_scope
model_str = ""
for sf in node.source_files:
if parser.parse(sf.path) is None:
print "File not found"
else:
# ROS MODEL EXTRACT PRIMITIVES
rosmodel = ros_model(self.args.package_name,
self.args.name, self.args.name)
self.extract_primitives(node, parser.global_scope,
analysis, rosmodel)
# SAVE ROS MODEL
model_str = rosmodel.save_model()
if self.args.output:
print model_str
else:
text_file = open(self.args.name + ".ros", "w")
text_file.write(model_str)
text_file.close()
#LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
#OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
#THE SOFTWARE.
import sys
from bonsai.analysis import *
from bonsai.cpp.clang_parser import CppAstParser
# ----- Setup ------------------------------------------------------------------
files = [
"examples/cpp/multi_def/file1.cpp", "examples/cpp/multi_def/file2.cpp"
]
CppAstParser.set_library_path()
parser = CppAstParser()
for filename in files:
if parser.parse(filename) is None:
print "No compile commands for file", filename
sys.exit(1)
# ----- Printing Program -------------------------------------------------------
print parser.global_scope.pretty_str()
print "\n----------------------------------\n"
# ----- Performing Queries -----------------------------------------------------
print "# QUERY FOR CALL 'add_ints'"
for cppobj in (CodeQuery(
parser.global_scope).all_calls.where_name("add_ints").get()):
print "[{}:{}]".format(cppobj.line, cppobj.column), cppobj.pretty_str()
print "[type]", cppobj.result
print "[reference]", cppobj.reference or "unknown"
print ""