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

/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A Dliftedast.py34 self.claim_children()
51 def claim_children(self): member in class:LiftedAST
H A Dobjects.py167 self.claim_children()
169 def claim_children(self): member in class:Assembly
245 self.claim_children()
247 def claim_children(self): member in class:Composition
307 self.claim_children()
309 def claim_children(self): member in class:Configuration
376 self.claim_children()
378 def claim_children(self): member in class:Connection
645 self.claim_children()
647 def claim_children(sel member in class:Component
842 def claim_children(self): member in class:Group
864 def claim_children(self): member in class:Procedure
884 def claim_children(self): member in class:Method
[all...]
H A Dbase.py115 def claim_children(self): member in class:ASTObject
/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage6.py71 assembly.composition.claim_children()
72 assembly.configuration.claim_children()
H A Dstage5.py55 item.claim_children()
H A Dstage8.py129 assembly.claim_children()
H A Dstage7.py198 n.claim_children()
256 assembly.claim_children()

Completed in 102 milliseconds