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

/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DConnection_Property_Widget.py17 import Connection_Widget namespace
33 assert isinstance(value, Connection_Widget.ConnectionWidget)
H A DInstance_Property_Widget.py18 import Connection_Widget namespace
H A DInstance_Widget.py19 import Connection_Widget namespace
128 'Connection_Widget': connection})
136 dictionary['Connection_Widget'] = connection
142 if dictionary['Name'] == interface_name and dictionary['Connection_Widget'] is connection:
143 dictionary['Connection_Widget'] = None
160 self.uses.append({'Name': name, 'Interface_type': interface_type, 'Connection_Widget': connection})
169 dictionary['Connection_Widget'] = connection
175 if dictionary['Name'] == interface_name and dictionary['Connection_Widget'] is connection:
176 dictionary['Connection_Widget'] = None
193 self.emits.append({'Name': name, 'Interface_type': interface_type, 'Connection_Widget'
[all...]
H A DGraph_Widget.py25 from Connection_Widget import ConnectionWidget, DataportWidget, ProcedureWidget, EventWidget

Completed in 47 milliseconds