Minsky
coverage.cc
Go to the documentation of this file.
1 /*
2  Temporarily in Minsky for development purposes, but will be moved to EcoLab
3 */
4 #include "coverage.h"
5 #include "minsky_epilogue.h"
6 
7 namespace minsky
8 {
9 #ifdef TCL_COV
10  // TCL coverage support
11  TCLTYPE(Coverage);
12 
13  string Coverage::key(const string& file, int line)
14  {
15  return file+":"+str(line);
16  }
17  void Coverage::add(const string& file, int line)
18  {
19  (*this)[key(file,line)]++;
20  }
21 #endif
22 
23 }
minsky_epilogue.h
minsky::Coverage::add
void add(const string &file, int line)
minsky::TCLTYPE
TCLTYPE(CSVDialog)
minsky
Creation and access to the minskyTCL_obj object, which has code to record whenever Minsky's state cha...
Definition: constMap.h:22
minsky::str
std::string str(T x)
utility function to create a string representation of a numeric type
Definition: str.h:33
minsky::Coverage::key
static string key(const string &file, int line)