Searched refs:Uses (Results 1 - 7 of 7) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | __init__.py | 26 BinarySemaphore, Setting, Uses, Struct, QueryObject namespace
|
H A D | objects.py | 411 isinstance(f.interface, Uses) and not \ 436 isinstance(f.interface, Uses): 597 all(isinstance_fallback(x, "Uses") for x in u)) 718 class Uses(Interface): class in inherits:Interface 722 super(Uses, self).__init__(location)
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage5.py | 27 Export, Instance, Provides, Uses namespace 140 self.assertIsInstance(b, Uses) 204 self.assertIsInstance(b, Uses)
|
H A D | teststage4.py | 28 LiftedAST, Procedure, Provides, Setting, Uses namespace 278 self.assertIsInstance(b, Uses) 365 self.assertIsInstance(b, Uses)
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage7.py | 30 Instance, Interface, Provides, Setting, Uses namespace
|
H A D | stage3.py | 32 Reference, Semaphore, BinarySemaphore, QueryObject, Setting, SourceLocation, Uses, Struct namespace 258 uses=[x for x in args if isinstance(x, Uses)], 742 return Uses(Reference(type.name, Procedure, type.location), name, optional, location)
|
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/ |
H A D | Graph_Widget.py | 284 assert isinstance(use, Uses)
|
Completed in 97 milliseconds