// ========================================================================
runtime = Runtime.getRuntime();
tmpTime = System.currentTimeMillis();
tmpMem = runtime.freeMemory();
TypePropagation typer = new TypePropagation(this);
for(Pair<Path.Entry<?>,Path.Root> p : delta) {
Path.Entry<?> f = p.first();
if (f.contentType() == WyalFile.ContentType) {
Path.Entry<WyalFile> sf = (Path.Entry<WyalFile>) f;
WyalFile wf = sf.read();
typer.apply(wf);
}
}
logger.logTimedMessage("Typed " + count + " source file(s).",
System.currentTimeMillis() - tmpTime, tmpMem - runtime.freeMemory());