public DocumentReference (IFile file, DocumentConstructor dctor, bool isNew) { if (file == null) throw new ArgumentNullException ("file"); if (dctor == null) throw new ArgumentNullException ("dctor"); File = file; IsNew = isNew; this.dctor = dctor; }