MCPcopy Create free account
hub / github.com/Whiley/WhileyCompiler / parseRange

Method parseRange

src/main/java/wycc/util/testing/TestFile.java:378–387  ·  view source on GitHub ↗
(String text)

Source from the content-addressed store, hash-verified

376 }
377
378 private static Range parseRange(String text) {
379 String[] split = text.split(":");
380 int start = Integer.parseInt(split[0]);
381 if(split.length == 1) {
382 return new Range(start,start);
383 } else {
384 int end = Integer.parseInt(split[1]);
385 return new Range(start,end);
386 }
387 }
388
389 public static void main(String[] args) throws IOException {
390 FileInputStream fin = new FileInputStream("test.wytest");

Callers 2

parseActionMethod · 0.95
parseCoordinateMethod · 0.95

Calls

no outgoing calls

Tested by

no test coverage detected