Variable CoveredFile.moduleName

The module name

struct CoveredFile
{
  // ...
  string moduleName ;
  // ...
}