public Properties(final BufferedReader r) { RW.readTag(r, "Roots:"); myRoots = (Set<String>) RW.readMany(r, RW.myStringReader, new HashSet<String>()); RW.readTag(r, "Sources:"); mySources = new HashMap<FileWrapper, FileWrapper>(); for (FileWrapper fw : (Set<FileWrapper>) RW.readMany(r, myFileWrapperReader, new HashSet<FileWrapper>())) { mySources.put(fw, fw); } RW.readTag(r, "Output:"); final String s = RW.readString(r); myOutput = s.equals("") ? null : s; myOutputStatus = RW.readStringAttribute(r, "OutputStatus:"); }
FileWrapper(final BufferedReader r) { myName = RW.readString(r); myModificationTime = RW.readLong(r); }
public GenericClasspathItemWrapper(final BufferedReader r) { myType = RW.readString(r); RW.readTag(r, "Classpath:"); myClassPath = (List<String>) RW.readMany(r, RW.myStringReader, new ArrayList<String>()); }