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