Searched defs:Consumes (Results 1 - 4 of 4) sorted by relevance
| /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
|
| /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 | 740 class Consumes(Interface): class in inherits:Interface
|
Completed in 42 milliseconds