public String Dump() { String str = ""; Int32 depth = 0; foreach (Scope scope in this._scopes) { str += scope.Dump(depth, " "); depth++; } return str; }