/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | liftedast.py | 25 child_fields = ('items',) 29 def __init__(self, items): 30 assert items is None or isinstance(items, (list, tuple)) 32 self._items = list(items or []) 37 def items(self): member in class:LiftedAST 39 @items.setter 40 def items(self, value): member in class:LiftedAST 43 raise TypeError('you cannot change the items in a frozen lifted ' 48 self.items [all...] |
H A D | base.py | 126 # PERF: Field `f` in both items references the exact same 143 return camkes_hash((k, v) for k, v in self.__dict__.items()
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage6.py | 58 self.assertLen(ast.items, 2) 59 A, assembly = ast.items 79 self.assertLen(ast.items, 2) 80 A, ass = ast.items 114 self.assertLen(ast.items, 2) 115 A, ass = ast.items 144 self.assertLen(ast.items, 1) 145 A = ast.items[0]
|
H A D | teststage7.py | 65 self.assertLen(ast.items, 3) 66 _, _, assembly = ast.items 85 self.assertLen(ast.items, 3) 86 Foo, Bar, assembly = ast.items 112 self.assertLen(ast.items, 4) 113 Foo, Bar, Baz, assembly = ast.items 140 self.assertLen(ast.items, 3) 141 Foo, Bar, assembly = ast.items 167 self.assertLen(ast.items, 3) 168 Foo, Bar, assembly = ast.items [all...] |
H A D | teststage4.py | 57 self.assertLen(ast.items, 0) 64 self.assertLen(ast.items, 1) 65 component = ast.items[0] 74 self.assertLen(ast.items, 2) 75 Foo, assembly = ast.items 89 self.assertLen(ast.items, 2) 90 Foo, assembly = ast.items 111 self.assertLen(ast.items, 3) 112 FooProc, FooComp, assembly = ast.items 133 self.assertLen(ast.items, [all...] |
H A D | teststage5.py | 59 self.assertLen(ast.items, 3) 60 comp = ast.items[2] 88 self.assertLen(ast.items, 2) 89 comp = ast.items[1] 131 self.assertLen(ast.items, 4) 132 _, _, A, comp = ast.items 195 self.assertLen(ast.items, 4) 196 _, _, A, comp = ast.items 249 self.assertLen(ast.items, 3) 250 P, Foo, Bar = ast.items [all...] |
H A D | teststage3.py | 60 self.assertLen(content.items, 1) 61 comp = content.items[0] 75 self.assertLen(content.items, 1) 76 conf = content.items[0] 92 self.assertLen(content.items, 1) 93 conf = content.items[0] 112 self.assertLen(content.items, 1) 113 conf = content.items[0] 129 self.assertLen(content.items, 1) 130 conf = content.items[ [all...] |
H A D | teststage8.py | 86 self.assertLen(ast.items, 6) 87 C, P, Foo, Bar, Baz, assembly = ast.items
|
H A D | teststage10.py | 83 self.assertLen(ast.items, 5) 84 C, P, Foo, Baz, assembly = ast.items
|
/seL4-camkes-master/tools/seL4/misc/ |
H A D | style.py | 40 regexmap = {k: re.compile(v) for k, v in STYLE_MAP.items()} 41 filemap = {k: [] for k, v in STYLE_MAP.items()} 50 for k, regex in regexmap.items(): 58 for k, files in filemap.items():
|
/seL4-camkes-master/projects/camkes-tool/cdl-refine-tests/ |
H A D | run_tests | 149 ', '.join([repr(cmdline)] + ['%s=%s' % x for x in kwargs.items()])) 274 [('app', test_apps)] + list(test_options.items()) 278 for k, v in build_opts.items(): 281 return sum(count for (opt_name, opt_val), count in counts.items() 307 ['-D%s=%s' % opt for opt in sorted(app_build_config.items())] + 308 ['-D%s=%s' % opt for opt in sorted(this_build_config.items())] 348 for k, vals in sorted(test_options.items())])): 354 for k, v in sorted(this_build_config.items()): 382 for (k, v), tests in per_opt_counts.items():
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage6.py | 61 for a in [x for x in ast.items if isinstance(x, Assembly) and
|
H A D | stage4.py | 40 All items in the AST should have been lifted into `ASTObject`s. 127 for assembly in (x for x in ast_lifted.items if isinstance(x, Assembly)): 139 for assembly in (x for x in ast_lifted.items if isinstance(x, Assembly)): 142 for assembly in (x for x in ast_lifted.items if isinstance(x, Assembly)):
|
H A D | query.py | 102 for (key, value) in list(query_dict.items()):
|
H A D | stage7.py | 156 for k, v in alias.items():
|
/seL4-camkes-master/kernel/tools/hardware/utils/ |
H A D | rule.py | 63 for (k, v) in other_group.labels.items(): 84 for (k, v) in self.labels.items(): 162 for (i, rule) in self.regions.items(): 188 for name, rule in self.interrupts.items():
|
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | Context.py | 64 return dict(list(__builtins__.items()) + list(ObjectType.__members__.items()) + list(ObjectRights.__members__.items()) + list(ARMIRQMode.__members__.items()) + list({ 276 }.items()) + list(kwargs.items())) 621 for label, objs in obj_space.labels.items()
|
/seL4-camkes-master/kernel/tools/ |
H A D | lex.py | 172 for key, ritem in self.lexstatere.items(): 185 for key, ef in self.lexstateerrorf.items(): 216 for key, lre in self.lexstatere.items(): 227 for key, ef in self.lexstateerrorf.items(): 259 for key, lre in lextab._lexstatere.items(): 269 for key, ef in lextab._lexstateerrorf.items(): 526 for f, i in lexre.groupindex.items(): 1014 for state, stype in stateinfo.items(): 1035 for s, stype in stateinfo.items():
|
/seL4-camkes-master/projects/seL4_libs/libsel4test/tools/ |
H A D | extract_results.py | 56 'attrs': ' '.join(['%s="%s"' % (x[0], x[1]) for x in list(tag.attrs.items())]),
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | user_doc.tex | 40 % to minimize space between list items
|
/seL4-camkes-master/projects/camkes-tool/examples/traversal/ |
H A D | visit.py | 91 for k, v in state['functions'].items():
|
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | Cap.py | 33 for (k, v) in kwargs.items():
|
H A D | PageCollection.py | 108 for page_counter, (page_vaddr, page) in enumerate(self._pages.items()):
|
/seL4-camkes-master/projects/camkes-tool/tools/ |
H A D | check_deps.py | 223 for k, v in sorted(DEPENDENCIES.items()):
|
/seL4-camkes-master/projects/capdl/cdl_utils/ |
H A D | capdl_linker.py | 59 for slot, v in cspace.cnode.slots.items():
|