Searched refs:assembly (Results 1 - 19 of 19) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage10.py30 # 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 Dstage6.py18 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 Dstage8.py32 # 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 Dstage9.py95 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 Dstage7.py19 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 Dquery.py28 # 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 Dstage4.py64 # 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 Dteststage7.py60 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 Dteststage8.py74 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 Dteststage4.py72 '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 Dteststage10.py71 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 Dteststage6.py50 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__.py218 # 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 DRenderer.py90 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 DContext.py56 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 Dtestvisualcamkes.py30 print ASTModel.find_instance(graph.ast.assembly.instances, "echo") is not None
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/gdb/
H A Dadl.h14 assembly { \
/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A Dliftedast.py55 def assembly(self): member in class:LiftedAST
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DGraph_Widget.py188 # 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

Completed in 60 milliseconds