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

/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A Dobjects.py419 if self.type.from_hardware and not f.get_end_type().hardware:
424 if not self.type.from_hardware and f.get_end_type().hardware:
457 if self.type.to_hardware and not t.get_end_type().hardware:
462 if not self.type.to_hardware and t.get_end_type().hardware:
984 def get_end_type(self): member in class:ConnectionEnd

Completed in 77 milliseconds