/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage5.py | 20 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 D | stage10.py | 45 if len(assembly.composition.instances) == 0: 46 raise ParseError('no instances declared in assembly', assembly.location)
|
H A D | stage6.py | 64 assembly.composition.instances.extend(a.composition.instances)
|
H A D | stage7.py | 105 # 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 D | stage3.py | 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)], 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 D | teststage7.py | 69 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 D | teststage5.py | 63 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 D | teststage4.py | 80 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 D | teststage6.py | 86 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 D | testvisualcamkes.py | 30 print ASTModel.find_instance(graph.ast.assembly.instances, "echo") is not None
|
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | __main__.py | 231 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 D | objects.py | 177 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 D | install-sh | 415 # 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 D | install-sh | 422 # 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 D | install-sh | 422 # 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 D | macros.py | 484 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 D | Graph_Widget.py | 32 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 D | objects.tex | 262 object types whose instances (also simply called \emph{objects}) can be invoked by applications. The interface to these
|