readTracefile function

Tracefile readTracefile(
  1. List<String> lines
)

Reads a new Tracefile from lines.

Implementation

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