/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage10.py | 30 # only a single assembly remains. 42 assembly = ast_lifted.assembly 43 assert assembly is not None 45 if len(assembly.composition.instances) == 0: 46 raise ParseError('no instances declared in assembly', assembly.location)
|
H A D | stage6.py | 18 whose output it consumes. This parser's purpose is to combine multiple assembly 19 entities into a single top-level assembly. 39 Postcondition of the stage 6 parser. Only a single assembly should remain. 55 assembly = ast.assembly 57 if assembly is None: 58 raise ParseError('no assembly found in input specification') 62 not x is assembly]: 64 assembly.composition.instances.extend(a.composition.instances) 65 assembly [all...] |
H A D | stage8.py | 32 # only a single assembly remains. 40 ast_lifted.assembly.configuration.settings) 48 checking done when freeze is called on an assembly. 52 assembly = ast_lifted.assembly 54 for s in assembly.configuration.settings: 81 referents = [x for x in assembly.configuration.settings 87 attribute = assembly.get_attribute(instance_name, attribute_name) 93 attribute = assembly.get_attribute(setting.instance, setting.attribute) 128 assembly [all...] |
H A D | stage9.py | 95 candidates = add_connections(ast_lifted.assembly.connections) 99 ast_lifted.assembly.connections.remove(c) 100 ast_lifted.assembly.connections.append(conn_to_add)
|
H A D | stage7.py | 19 systems into a flat, top-level assembly. 34 # stage; that only a single assembly remains. 202 isinstance(item, Assembly), 'export statement in assembly block ' \ 228 action taken has been to augment the top-level assembly with 235 assembly = ast_lifted.assembly 237 # Hoist everything relevant from the assembly and its children. 238 instances, connections, aliases, settings = infer_all(assembly) 240 assembly.composition.instances = instances 244 assembly [all...] |
H A D | query.py | 28 # only a single assembly remains. 97 ast_lifted.assembly.configuration.settings) 114 assembly = ast_lifted.assembly 119 for s in assembly.configuration.settings: 151 assembly.configuration.settings = new_settings
|
H A D | stage4.py | 64 # in the assembly scope to allow cross-assembly references. 99 # the assembly scope. This permits (backwards) references 100 # from one assembly block to another. 125 # Note everything in all assemblies. This is to support cross-assembly 127 for assembly in (x for x in ast_lifted.items if isinstance(x, Assembly)): 128 [assembly_scope.register(y) for y in assembly.composition.children 139 for assembly in (x for x in ast_lifted.items if isinstance(x, Assembly)): 140 [scope.register(y) for y in assembly.composition.children 142 for assembly i [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage7.py | 60 assembly { 66 _, _, assembly = ast.items 68 self.assertIsInstance(assembly, Assembly) 69 self.assertLen(assembly.composition.instances, 0) 79 assembly { 86 Foo, Bar, assembly = ast.items 88 self.assertLen(assembly.composition.instances, 2) 89 b, f = assembly.composition.instances 106 assembly { 113 Foo, Bar, Baz, assembly [all...] |
H A D | teststage8.py | 74 assembly { 87 C, P, Foo, Bar, Baz, assembly = ast.items 89 self.assertLen(assembly.configuration.settings, 2) 91 s1, s2 = assembly.configuration.settings
|
H A D | teststage4.py | 72 'assembly { composition { component Foo foo; } }') 75 Foo, assembly = ast.items 78 self.assertIsInstance(assembly, Assembly) 80 self.assertLen(assembly.composition.instances, 1) 81 foo = assembly.composition.instances[0] 87 'assembly { composition { component foo foo; } }') 90 Foo, assembly = ast.items 93 self.assertIsInstance(assembly, Assembly) 95 self.assertLen(assembly.composition.instances, 1) 96 foo = assembly [all...] |
H A D | teststage10.py | 71 assembly { 84 C, P, Foo, Baz, assembly = ast.items 86 self.assertLen(assembly.configuration.settings, 1) 87 s = assembly.configuration.settings[0] 106 assembly { 143 assembly { 180 assembly { 269 assembly { 306 assembly { 323 conf = ast.assembly [all...] |
H A D | teststage6.py | 50 assembly { 59 A, assembly = ast.items 62 self.assertIsInstance(assembly, Assembly) 67 assembly ass { 72 assembly ass2 { 98 assembly ass { 105 assembly ass2 { 135 assembly A { 139 assembly B {
|
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | __main__.py | 218 # Locate the assembly. 219 assembly = ast.assembly 220 if assembly is None: 221 die('No assembly found') 231 for i in assembly.composition.instances: 233 value = assembly.configuration[i.name].get(a.name) 260 for i in assembly.composition.instances: 281 i = [x for x in assembly.composition.instances if x.name == key[1]][0] 284 c = [c for c in assembly [all...] |
H A D | Renderer.py | 90 def render(self, me, assembly, template, render_state, state_key, outfile_name, 92 context = new_context(me, assembly, render_state, state_key, outfile_name,
|
H A D | Context.py | 56 def new_context(entity, assembly, render_state, state_key, outfile_name, 141 # The AST assembly's configuration. 142 'configuration': assembly.configuration, 144 # The AST assembly's composition 145 'composition': assembly.composition,
|
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/ |
H A D | testvisualcamkes.py | 30 print ASTModel.find_instance(graph.ast.assembly.instances, "echo") is not None
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/gdb/ |
H A D | adl.h | 14 assembly { \
|
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | liftedast.py | 55 def assembly(self): member in class:LiftedAST
|
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/ |
H A D | Graph_Widget.py | 188 # Get assembly from the ast 189 ast_assembly = self.ast.assembly 231 # Create connection widgets for all connections in assembly 233 assert isinstance(self.ast.assembly, Assembly) 234 for connection in self.ast.assembly.connections: 833 assembly = self.ast.assembly 834 assert isinstance(assembly, Assembly) 835 location = assembly.location
|