public Workspace ()
{
_documents = new List<Document>();
_activeDocument = null;
_references = new References ();
_serviceContainer = new ServiceContainer ();
}
public Workspace()
{
_documents = new Dictionary<object, Document>();
_activeDocument = null;
_references = new References ();
_serviceContainer = new ServiceContainer ();
}
public ActiveDocumentChangedEventArgs(Document newDocument, Document oldDocument)
{
_newDocument = newDocument;
_oldDocument = oldDocument;
}
protected virtual void OnActiveDocumentChanged(Document newDocument, Document oldDocument)
{
if (ActiveDocumentChanged != null)
ActiveDocumentChanged (this, new ActiveDocumentChangedEventArgs (newDocument, oldDocument));
}
public void Dispose()
{
_activeDocument = null;
_documents = null;
_references.Dispose ();
_references = null;
_serviceContainer.Dispose ();
_serviceContainer = null;
}
public Document CreateDocument(string file, object identifierKey)
{
Document doc = new Document (file, this);
_documents[identifierKey] = doc;
return doc;
}
public void CloseDocument(Document doc)
{
object key = null;
foreach (KeyValuePair<object, Document> kvp in _documents)
if (doc == kvp.Value)
key = kvp.Key;
if (key != null)
CloseDocument (key);
}
public void RemoveDocument (Document doc)
{
_documents.Remove (doc);
}
public void AddDocument (Document doc)
{
_documents.Add (doc);
}
public ActiveDocumentChangedEventArgs (Document newDocument, Document oldDocument)
{
if (newDocument == null)
throw new ArgumentNullException ("newDocument");
_newDocument = newDocument;
_oldDocument = oldDocument;
}
