String line = (String) parser.next(); assert line != null : "File sent to Post constructor contains no lines."; assert line.startsWith("From:") || line.startsWith("Subject:") if (line.startsWith("From:")) fromHeader = line.substring(6); else subjectHeader = line.substring(9); line = (String) parser.next(); assert line != null : "File sent to Post constructor contains no lines."; assert line.startsWith("From:") || line.startsWith("Subject:") assert fromHeader != null && subjectHeader != null : "File set to Post constructor is missing expected headers."; line = (String) parser.next(); for (line = (String) parser.next(); line != null; line = (String) parser.next()) lines.add(line.split(" +"));
String line = (String) parser.next(); String[] a = line.split(" "); maximize = a[0].startsWith("max"); line = (String) parser.next(); if (line.indexOf("subject") != -1) line = (String) parser.next(); for (; line != null; line = (String) parser.next()) { a = line.substring(2).split(" "); int[] variables = new int[a.length / 2 - 1];
public City(String file){ LineByLine parser = new LineByLine(file) { public Object next() { return readLine(); } }; String line = null; while((line = (String) parser.next()) != null){ String[] definition = line.split("\\s+"); Integer index = new Integer(definition[0]); Neighborhood n = getNeighborhood(index); for(int i = 1; i < definition.length; i++){ n.addNeighbor(getNeighborhood(new Integer(definition[i]))); } } }