public DocumentMetaInfo(final PrepToolsPluginExtension theWorkspaceAccessPluginExtension) {
setPageAndDocument(theWorkspaceAccessPluginExtension);
toolSpecific = theWorkspaceAccessPluginExtension.getToolSpecificMetaInfos(document);
setCurrentEditorPage(theWorkspaceAccessPluginExtension.getPageId());
url = theWorkspaceAccessPluginExtension.getEditorLocation();
}
/**
* This method normally shouldn't be called from outside. The only case is where the user
* accidentally closed the document which was still being processed and he wants to take up again
* where he left off.
*
* @param theWorkspaceAccessPluginExtension
*/
public void setPageAndDocument(final PrepToolsPluginExtension theWorkspaceAccessPluginExtension) {
page = theWorkspaceAccessPluginExtension.getPage();
setDocument(page.getDocument());
}
