readTracefile function

Tracefile readTracefile(
  1. List<String> lines
)

Reads a new Tracefile from lines.

Implementation

Tracefile readTracefile(List<String> lines) {
  final tracefile = Tracefile();
  final parser = Parser(tracefile);
  lines.forEach(parser.parseLine);
  return tracefile;
}