Searched refs:get_root_location (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DGraph_Widget.py120 if os.path.isfile("%s.visualCAmkES.layout" % self.get_root_location()):
427 with open("%s.visualCAmkES.layout" % self.get_root_location(), 'r') as layout_file:
476 file_location = "%s.visualCAmkES.layout" % self.get_root_location()
748 directory=self.get_root_location(with_name=True),
826 def get_root_location(self, with_name=False): member in class:GraphWidget

Completed in 35 milliseconds