Searched refs:dot2k (Results 1 – 5 of 5) sorted by relevance
12 from dot2.dot2k import dot2k28 monitor=dot2k(params.dot_file, params.monitor_type)
22 $(INSTALL) dot2k.py -D -m 644 $(DESTDIR)$(PYLIB)/dot2/dot2k.py23 $(INSTALL) dot2k -D -m 755 $(DESTDIR)$(bindir)/
15 class dot2k(Dot2c): class
43 is automated by the dot2k tool and the rv/da_monitor.h header file that46 dot2k chapter49 The dot2k utility leverages dot2c by converting an automaton model in56 $ dot2k -d wip.dot -t per_cpu90 the 'type' argument is the data type used by dot2k on the representation of137 dot2k, the developer's work should be limited to the instrumentation145 [2] dot2k appends the monitor's name suffix to the events enums to
4 The RV monitor file created by dot2k, with the name "$MODEL_NAME.c"115 dot2k automatically creates two special functions::142 is used to connect the wip model events to the relative kernel event. dot2k automatically