Searched refs:FILE_KEY (Results 1 – 1 of 1) sorted by relevance
41 public static final String FILE_KEY = "file:"; field in ScopedException85 .append(FILE_KEY).append(scopedError.getFilePath()).append("\n"); in createEncodedMessage()111 int fileStart = output.indexOf(FILE_KEY, msgStart + MSG_KEY.length()); in createFromOutput()116 int locStart = output.indexOf(LOCATION_KEY, fileStart + FILE_KEY.length()); in createFromOutput()118 file = output.substring(fileStart + FILE_KEY.length()); in createFromOutput()120 file = output.substring(fileStart + FILE_KEY.length(), locStart); in createFromOutput()