Searched refs:type_name (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/internal/
H A Disinstancefallback.py16 def isinstance_fallback(x, type_name):
17 return x.__class__.__name__ == type_name
/seL4-camkes-master/tools/cogent/cogent/scripts/
H A Dgenerate_tactic_statistics.py70 [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 Dpack_unpack.c47 #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 Dutil.py44 def __init__(self, coverage, pages, object, make_object, type_name, parent=None, child=None):
51 self.type_name = type_name
H A DPageCollection.py66 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 Dstage3.py712 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