public FileTreeViewModel(FileTreeViewModel parent) { Contract.Requires(this is WorkspaceViewModel ^ parent != null); _parent = parent; }