Searched refs:Semaphore (Results 1 - 4 of 4) 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 | 609 all(isinstance_fallback(x, "Semaphore") for x in s)) 767 class Semaphore(ASTObject): class in inherits:ASTObject 769 super(Semaphore, self).__init__(location)
|
/seL4-camkes-master/tools/cogent/regression/ |
H A D | memusage.py | 84 self.started = threading.Semaphore(0)
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage3.py | 32 Reference, Semaphore, BinarySemaphore, QueryObject, Setting, SourceLocation, Uses, Struct namespace 264 semaphores=[x for x in args if isinstance(x, Semaphore)], 684 return Semaphore(id, location)
|
Completed in 73 milliseconds