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

/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A D__init__.py26 BinarySemaphore, Setting, Uses, Struct, QueryObject namespace
H A Dobjects.py411 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 Dteststage5.py27 Export, Instance, Provides, Uses namespace
140 self.assertIsInstance(b, Uses)
204 self.assertIsInstance(b, Uses)
H A Dteststage4.py28 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 Dstage7.py30 Instance, Interface, Provides, Setting, Uses namespace
H A Dstage3.py32 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 DGraph_Widget.py284 assert isinstance(use, Uses)

Completed in 97 milliseconds