Searched refs:type_name (Results 1 - 6 of 6) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/internal/ |
H A D | isinstancefallback.py | 16 def isinstance_fallback(x, type_name): 17 return x.__class__.__name__ == type_name
|
/seL4-camkes-master/tools/cogent/cogent/scripts/ |
H A D | generate_tactic_statistics.py | 70 [tactic_name, type_name] = data['tacticName'].split(':') 73 if not type_name in tactic_times[tactic_name]: 74 tactic_times[tactic_name][type_name] = [] 76 tactic_times[tactic_name][type_name].append(data['time'])
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
H A D | pack_unpack.c | 47 #define type_name(x) type_names[json_typeof(x)] macro 369 type_name(root)); 471 set_error(s, "<validation>", "Expected array, got %s", type_name(root)); 548 type_name(root)); 585 type_name(root)); 600 type_name(root)); 615 type_name(root)); 630 type_name(root)); 645 type_name(root)); 675 type_name(roo [all...] |
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | util.py | 44 def __init__(self, coverage, pages, object, make_object, type_name, parent=None, child=None): 51 self.type_name = type_name
|
H A D | PageCollection.py | 66 self._vspace_root = vspace.make_object('%s_%s' % (vspace.type_name, self.name)) 120 level.type_name, self.name, object_counter))
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage3.py | 712 def _lift_type(location, type_name): 713 if isinstance(type_name, Reference): 714 return type_name 716 return normalise_type(type_name)
|
Completed in 104 milliseconds