retrieve_file_info method
Implementation
List<String> retrieve_file_info() {
var frames = this.toString();
var index_of_filename = frames.indexOf(RegExp("[A-Za-z]+.spec.dart"));
var file_info = frames.substring(index_of_filename);
return file_info.split(':');
}