| /seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
| H A D | __init__.py | 23 Composition, Configuration, Connection, ConnectionEnd, Connector, \
26 BinarySemaphore, Setting, Uses, Struct, QueryObject namespace
|
| H A D | objects.py | 154 @ast_property("composition", lambda x: isinstance(x, Reference) or isinstance_fallback(x, "Composition"))
230 class Composition(MapLike): class in inherits:MapLike
239 super(Composition, self).__init__(location)
294 super(Composition, self).freeze()
612 @ast_property("composition", Composition)
|
| /seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
| H A D | stage5.py | 28 from camkes.ast import Composition, Group, Instance, Reference, TraversalAction namespace
51 if isinstance(item, Composition):
|
| H A D | stage6.py | 27 from camkes.ast import Assembly, Composition, Configuration, Group, \
28 TraversalAction namespace
|
| H A D | stage3.py | 29 Composition, Configuration, Connection, ConnectionEnd, Connector, \
174 compositions = [x for x in args if isinstance(x, Composition)]
248 compositions = [x for x in args if isinstance(x, Composition)]
280 return Composition(id, instances=composition_defn.instances,
285 return Composition(instances=composition_defn.instances,
292 return Composition(instances=[x for x in args if isinstance(x, Instance)],
300 if isinstance(arg, Composition):
303 return Reference(arg.name, Composition, location)
32 Reference, Semaphore, BinarySemaphore, QueryObject, Setting, SourceLocation, Uses, Struct namespace
|
| H A D | stage7.py | 29 Component, Composition, Configuration, Consumes, Dataport, Emits, \
30 Instance, Interface, Provides, Setting, Uses namespace
|
| /seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
| H A D | teststage5.py | 26 from camkes.ast import Component, Composition, Connection, ConnectionEnd, \
62 self.assertIsInstance(comp, Composition)
91 self.assertIsInstance(comp, Composition)
142 self.assertIsInstance(comp, Composition)
206 self.assertIsInstance(comp, Composition)
255 self.assertIsInstance(comp, Composition)
27 Export, Instance, Provides, Uses namespace
|
| H A D | teststage4.py | 27 Composition, Connection, ConnectionEnd, Connector, Group, Instance, \
280 self.assertIsInstance(comp, Composition)
367 self.assertIsInstance(comp, Composition)
28 LiftedAST, Procedure, Provides, Setting, Uses namespace
|
| /seL4-camkes-master/projects/camkes-tool/tools/ |
| H A D | camkes_scope.py | 29 from camkes.ast import Assembly, Component, Composition, Configuration, Connection, Instance, Reference, Setting namespace
94 elif isinstance(content, Composition):
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | macros.py | 22 from camkes.ast import Composition, Instance, Parameter, Struct namespace
285 assert isinstance(composition, Composition)
|