Searched refs:Provides (Results 1 - 7 of 7) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | __init__.py | 25 Method, Mutex, Parameter, Procedure, Provides, Reference, Semaphore, \ 26 BinarySemaphore, Setting, Uses, Struct, QueryObject namespace
|
H A D | objects.py | 278 isinstance(inf, (Emits, Provides)): 449 isinstance(t.interface, Provides) and not \ 474 isinstance(t.interface, Provides): 595 all(isinstance_fallback(x, "Provides") for x in p)) 706 class Provides(Interface): class in inherits:Interface 710 super(Provides, self).__init__(location)
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage5.py | 27 Export, Instance, Provides, Uses namespace 137 self.assertIsInstance(a, Provides) 201 self.assertIsInstance(a, Provides) 264 self.assertIsInstance(e.source_interface, Provides) 266 self.assertIsInstance(e.destination, Provides)
|
H A D | teststage4.py | 28 LiftedAST, Procedure, Provides, Setting, Uses namespace 275 self.assertIsInstance(a, Provides) 362 self.assertIsInstance(a, Provides)
|
/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 | 31 LiftedAST, Method, Mutex, normalise_type, Parameter, Procedure, Provides, \ 257 provides=[x for x in args if isinstance(x, Provides)], 650 return Provides(Reference(ref.name, Procedure, ref.location), id2, location) 32 Reference, Semaphore, BinarySemaphore, QueryObject, Setting, SourceLocation, Uses, Struct namespace
|
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/ |
H A D | Graph_Widget.py | 280 assert isinstance(provide, Provides)
|
Completed in 40 milliseconds