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

/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A D__init__.py25 Method, Mutex, Parameter, Procedure, Provides, Reference, Semaphore, \
26 BinarySemaphore, Setting, Uses, Struct, QueryObject namespace
H A Dobjects.py278 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 Dteststage5.py27 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 Dteststage4.py28 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 Dstage7.py30 Instance, Interface, Provides, Setting, Uses namespace
H A Dstage3.py31 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 DGraph_Widget.py280 assert isinstance(provide, Provides)

Completed in 40 milliseconds