public void w(int depthModifier, string line) { string toWrite = ""; if (manager.Flag(DebugFlag.LineNumbers)) { toWrite += "[" + lineNum + "] "; } toWrite += depth + getExtraDepth(depthModifier) + line; writeInternal(toWrite); lineNum++; }