src/base/cp_annotate.cc

185             smMap[smi-1].first, smMap[smi-1].second.first,
186             smMap[smi-1].second.second);
281     if (!smStack[sid].size() || smMap[smib-1].second.first != sm) {
284                 sysi, frame, smMap[smib-1].second.first);
288                 smMap[smib-1].second.first);
294                 sm, sysi, smMap[smib-1].second.second, smStack[sid].back(),
295                 getSm(sysi, sm, smMap[smib-1].second.second));
296         assert(getSm(sysi, sm, smMap[smib-1].second.second) ==
384     int sti = getSt(smMap[smi-1].second.first, st);
416         int sti = getSt(smMap[smi-1].second.first, st);
865         state_machines[i->second] = i->first;
875             states[i->second] = i->first;
889         *osbin << ", (" << smMap[x].first << ", \"" << smMap[x].second.first <<
890             "\", " << smMap[x].second.second << ")";
900         systems[i2->second.second] = i2->second.first;
913         *osbin << ", (" << qMap[x].first << ", \"" << qMap[x].second.first <<
914             "\", " << qMap[x].second.second << ")";
1090         paramOut(os, csprintf("smtCache%d.int", x), i->second);
1100             paramOut(os, csprintf("stCache%d_%d.int", x, y), i->second);
1112             paramOut(os, csprintf("qCache%d_%d.id", x, y), idi->first.second);
1113             paramOut(os, csprintf("qCache%d_%d.int", x, y), idi->second);
1125             paramOut(os, csprintf("smCache%d_%d.id", x, y), idi->first.second);
1126             paramOut(os, csprintf("smCache%d_%d.int", x, y), idi->second);
1141         paramOut(os, csprintf("nameCache%d.str", x), ni->second.first);
1142         paramOut(os, csprintf("nameCache%d.int", x), ni->second.second);
1153         paramOut(os, csprintf("smStackId%d.frame", x), si->first.second);
1154         paramOut(os, csprintf("smStackId%d.count", x), si->second.size());
1155         for (y = 0; y < si->second.size(); y++)
1156             paramOut(os, csprintf("smStackId%d_%d", x, y), si->second[y]);
1167         paramOut(os, csprintf("lnMap%d.lsmi", x), li->second);
1178         paramOut(os, csprintf("swExpl%d.frame", x), swexpli->first.second);
1179         paramOut(os, csprintf("swExpl%d.swexpl", x), swexpli->second);
1190         paramOut(os, csprintf("lastState%d.sti", x), ii->second);
1197         paramOut(os, csprintf("smMap%d.smname", x), smMap[x].second.first);
1198         paramOut(os, csprintf("smMap%d.id", x), smMap[x].second.second);
1204         paramOut(os, csprintf("qMap%d.qname", x), qMap[x].second.first);
1205         paramOut(os, csprintf("qMap%d.id", x), qMap[x].second.second);
1353         paramIn(cp, csprintf("smMap%d.smname", x), smMap[x].second.first);
1354         paramIn(cp, csprintf("smMap%d.id", x), smMap[x].second.second);
1361         paramIn(cp, csprintf("qMap%d.qname", x), qMap[x].second.first);
1362         paramIn(cp, csprintf("qMap%d.id", x), qMap[x].second.second);