/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)
|