Searched refs:instances (Results 1 - 18 of 18) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage5.py20 instances.
53 [item.instances.extend(g.instances) for g in item.groups]
57 # Assign an address space to all instances in this group.
63 for i in item.instances:
H A Dstage10.py45 if len(assembly.composition.instances) == 0:
46 raise ParseError('no instances declared in assembly', assembly.location)
H A Dstage6.py64 assembly.composition.instances.extend(a.composition.instances)
H A Dstage7.py105 # Below we'll discover and then derive two types of instances: our
127 # As we go through the AST, we'll derive new instances. These will have
130 # old instances to new instances in order to adjust these references.
136 for i in item.composition.instances:
143 # Name-mangle the instances.
238 instances, connections, aliases, settings = infer_all(assembly)
240 assembly.composition.instances = instances
H A Dstage3.py280 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)],
485 return Group(id, group_defn.instances, location)
487 return Group(instances=group_defn.instances, location=location)
490 def _lift_group_defn(location, *instances):
491 return Group(instances
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/
H A Dteststage7.py69 self.assertLen(assembly.composition.instances, 0)
88 self.assertLen(assembly.composition.instances, 2)
89 b, f = assembly.composition.instances
115 self.assertLen(assembly.composition.instances, 3)
116 d, f, b = assembly.composition.instances
143 self.assertLen(assembly.composition.instances, 3)
144 b, f, g = assembly.composition.instances
170 self.assertLen(assembly.composition.instances, 2)
171 b, f = assembly.composition.instances
200 self.assertLen(assembly.composition.instances,
[all...]
H A Dteststage5.py63 self.assertLen(comp.instances, 2)
65 a, b = comp.instances
92 self.assertLen(comp.instances, 4)
95 for a in comp.instances:
108 self.assertLen(seen, 4, 'some expected instances not found')
144 # The group will have been collapsed, so we'll now have two instances.
146 self.assertLen(comp.instances, 2)
147 a1, a2 = comp.instances
208 # The group will have been collapsed, so we'll now have two instances.
210 self.assertLen(comp.instances,
[all...]
H A Dteststage4.py80 self.assertLen(assembly.composition.instances, 1)
81 foo = assembly.composition.instances[0]
95 self.assertLen(assembly.composition.instances, 1)
96 foo = assembly.composition.instances[0]
117 self.assertLen(assembly.composition.instances, 1)
118 foo = assembly.composition.instances[0]
139 self.assertLen(assembly.composition.instances, 1)
140 foo = assembly.composition.instances[0]
285 self.assertLen(g.instances, 1)
286 a2 = g.instances[
[all...]
H A Dteststage6.py86 self.assertLen(ass.composition.instances, 2)
87 a, b = ass.composition.instances
121 self.assertLen(ass.composition.instances, 2)
122 a, b = ass.composition.instances
/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/camkes/runner/
H A D__main__.py231 for i in assembly.composition.instances:
260 for i in assembly.composition.instances:
281 i = [x for x in assembly.composition.instances if x.name == key[1]][0]
/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A Dobjects.py177 for i in self.composition.instances:
197 instance_gen = (x for x in self.instances if x.name == instance_name)
209 def instances(self): member in class:Assembly
210 return self.composition.instances
222 @ast_property("instances", lambda i: isinstance(i, (list, tuple)) and
232 # `connections` and `exports` may reference members of `instances` and/or
235 child_fields = ('instances', 'groups', 'connections', 'exports')
237 def __init__(self, name=None, instances=None, connections=None,
241 self.instances = list(instances o
[all...]
/seL4-camkes-master/tools/riscv-pk/scripts/
H A Dinstall-sh415 # Don't fail if two instances are running concurrently.
429 # Don't fail if two instances are running concurrently.
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/
H A Dinstall-sh422 # Don't fail if two instances are running concurrently.
436 # Don't fail if two instances are running concurrently.
/seL4-camkes-master/tools/rumprun/tests/configure/build-aux/
H A Dinstall-sh422 # Don't fail if two instances are running concurrently.
436 # Don't fail if two instances are running concurrently.
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dmacros.py484 1. Grouped instances to the label of the group's composition.
488 their connected instances' labels.
490 These instances and connections usually share cap rights in
511 for c in composition.instances:
516 for c in composition.instances:
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DGraph_Widget.py32 GraphWidget - Manages the instances and connection widgets within a scene - and keeps it in sync with AST.
103 self._autolayout_button.setToolTip("Reposition instances using graphviz calculations")
193 instance_list_copy = list(ast_assembly.instances)
214 # For all new instances (instances without widget counterpart)
403 new_connection.setZValue(4) # Behind all instance widgets (but above hidden instances and connection)
489 # For all instances, add a node, with it's size.
530 # For all instances, apply new position to widgets.
/seL4-camkes-master/kernel/manual/parts/
H A Dobjects.tex262 object types whose instances (also simply called \emph{objects}) can be invoked by applications. The interface to these

Completed in 134 milliseconds