Searched refs:connections (Results 1 - 14 of 14) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage9.py19 Combine n-1 connections according to the following rule:
20 1. If an interface is in multiple connections, and in each connection it is
21 on the same end (to or from), all the connections can be combined into a single connection.
22 2. If an interface is in multiple connections and the condition in 1 does not
39 def add_connections(connections):
41 for connection in connections:
51 # is a set of connections to remove from the ast, and
66 for connections in multi:
67 if len(connections) == 1:
69 name = ".".join(sorted([c.name for c in connections]))
[all...]
H A Dstage7.py115 # Final connections and settings we'll return.
116 connections = []
119 # In the context of connections, we may need to adjust their ends based on
133 # We'll accumulate indirect child connections here.
165 for c in item.composition.connections + child_connections:
199 connections.append(n)
218 return immediate_instances + child_instances, connections, aliases, \
238 instances, connections, aliases, settings = infer_all(assembly)
242 # Replace the connections. Now we take into account the interface
244 assembly.composition.connections
[all...]
H A Dstage6.py65 assembly.composition.connections.extend(a.composition.connections)
H A Dstage3.py281 connections=composition_defn.connections,
286 connections=composition_defn.connections,
293 connections=[x for x in args if isinstance(x, Connection)],
H A Dstage4.py71 # failure silently pass. This is to support connections
143 for c in assembly.composition.connections:
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/
H A Dcross_vm_connection.h12 * components on a seL4-based system. The module exports registered cross vm connections to a Linux VM such that
56 * @function cross_vm_connections_init_common(vm, connection_base_addr, connections, num_connections, pci, alloc_irq)
57 * Install a set of cross vm connections into a guest VM (for either x86 or ARM VM platforms)
61 * @param {crossvm_handle_t *} connections The set of crossvm connections to be initialised and installed in the guest
62 * @param {int} num_connection The number of connections passed in through the 'connections' parameter
63 * @param {vmm_pci_space_t *} pci A handle to the VM's host PCI device. The connections are advertised through the
65 * @param {alloc_free_interrupt_fn} alloc_irq A function that is used to allocated an irq number for the crossvm connections
68 int cross_vm_connections_init_common(vm_t *vm, uintptr_t connection_base_addr, crossvm_handle_t *connections,
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dcross_vm_connection.c260 static int initialise_connections(vm_t *vm, uintptr_t connection_base_addr, crossvm_handle_t *connections, argument
269 crossvm_dataport_handle_t *dataport = connections[i].dataport;
284 err = register_consume_event(vm, &connections[i], &info[i]);
286 ZF_LOGE("Failed to register connections consume event");
289 info[i].connection = connections[i];
290 if (connections[i].connection_name == NULL) {
291 connections[i].connection_name = "connector";
293 strncpy(info[i].event_registers + EVENT_BAR_DEVICE_NAME_REGISTER, connections[i].connection_name,
301 int cross_vm_connections_init_common(vm_t *vm, uintptr_t connection_base_addr, crossvm_handle_t *connections, argument
311 int err = initialise_connections(vm, connection_base_addr, connections, num_connection
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dmacros.py304 for connection in composition.connections:
487 3. Internal connections (from an instance label to itself) to
490 These instances and connections usually share cap rights in
521 # 3. Internal connections
522 for conn in composition.connections:
541 Given that this object exists across multiple connections, we enumerate all connections
542 in the composition to find all the connections that contain the component instance that
544 selected connections. Badges are allocated by starting at 1 and then left shifting for
567 for c in composition.connections
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/
H A Dteststage7.py298 self.assertLen(assembly.composition.connections, 1)
299 c = assembly.composition.connections[0]
350 self.assertLen(assembly.composition.connections, 1)
351 c = assembly.composition.connections[0]
403 self.assertLen(assembly.composition.connections, 1)
404 con = assembly.composition.connections[0]
H A Dteststage5.py151 self.assertLen(comp.connections, 2)
152 c, c2 = comp.connections
215 self.assertLen(comp.connections, 2)
216 c, c2 = comp.connections
H A Dteststage4.py293 self.assertLen(comp.connections, 2)
294 c, c2 = comp.connections
330 connections in your spec, these come out clumped together by type in
331 the AST. This is usually not an issue as connections can reference
380 self.assertLen(comp.connections, 2)
381 c, c2 = comp.connections
/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A Dobjects.py213 def connections(self): member in class:Assembly
214 return self.composition.connections
224 @ast_property("connections", lambda c: isinstance(c, (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,
242 self.connections = list(connections or [])
249 [self.adopt(c) for c in self.connections]
264 for conn in self.connections
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A D__main__.py284 c = [c for c in assembly.composition.connections if c.name == key[1]][0]
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DGraph_Widget.py231 # Create connection widgets for all connections in assembly
232 # Instead of syncing connections, ConnectionWidgets are considered disposable. Just delete all and remake them
234 for connection in self.ast.assembly.connections:
315 new_widget.setZValue(5) # Foreground of connections
407 Remove all connections from scene. Effectively deleting all existing connections
417 del self.connection_widgets[:] # Delete all connections widgets from internal list
502 # For all (not hidden) connections), connect the source and destination widgets with minimum length of 2 inches

Completed in 106 milliseconds