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

/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage8.py87 attribute = assembly.get_attribute(instance_name, attribute_name)
93 attribute = assembly.get_attribute(setting.instance, setting.attribute)
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dmacros.py580 if c.type.get_attribute("from_global_endpoint") and c.type.get_attribute("from_global_endpoint").default:
586 if c.type.get_attribute("to_global_endpoint") and c.type.get_attribute("to_global_endpoint").default:
632 if c.type.get_attribute("from_global_rpc_endpoint") and c.type.get_attribute("from_global_rpc_endpoint").default:
641 if c.type.get_attribute("to_global_rpc_endpoint") and c.type.get_attribute("to_global_rpc_endpoint").default:
/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A Dobjects.py193 def get_attribute(self, instance_name, attribute_name): member in class:Assembly
404 interface_checking_attrib = self.type.get_attribute("disable_interface_type_checking")
823 def get_attribute(self, attribute_name): member in class:Connector

Completed in 37 milliseconds