public DocumentKey(ProjectKey project, DocumentId id, string filePath, string name) { Project = project; Id = id; FilePath = filePath; Name = name; }
public static DocumentKey ToDocumentKey(ProjectKey projectKey, TextDocumentState state) => new(projectKey, state.Id, state.FilePath, state.Name);
public static DocumentKey ToDocumentKey(Document document) => ToDocumentKey(ProjectKey.ToProjectKey(document.Project), document.State);