org.formaria.editor.project
Class EditorPageManager

java.lang.Object
  org.formaria.aria.PageManager
      org.formaria.editor.project.EditorPageManager

public class EditorPageManager
extends PageManager

Extends the page manager to provide some extra editing facilities

Copyright (c) Formaria Ltd., 2002-2003

$Revision: 1.3 $

License: see License.txt

Field Summary

Fields inherited from class org.formaria.aria.PageManager

annotationProcessor, currentProject, packageName, pageDisplay, pageHistory, pageNameMap, pages, pageStates, secondaryLoaders, triggerValidations

Constructor Summary

EditorPageManager(Project project)

Method Summary

int	getNumSecondaryLoaders() Get the number of registered page loaders
PageLoader	getSecondaryLoader(int idx) Get a page loader
PageLoader	getSecondaryLoader(java.lang.String builderType) Get a page loader
int	getStatus() Get the error status
protected void	logPageCreationError(java.lang.String className, java.lang.String message, java.lang.Exception e) Log the page creation error message
void	setPageDisplay(PageDisplay pgDisplay) Set the interface to invoke when a page has been displayed.
void	setStatus(int status) Set the error status

Methods inherited from class org.formaria.aria.PageManager

addHistory, addSecondaryLoader, attachPage, cachePage, checkValidations, dumpPageNames, getCurrentPage, getNumTargets, getPage, getPreviousPage, getTarget, getTarget, loadFrames, loadPage, loadPage, loadPageAs, mapPageName, reset, restoreState, saveState, setPackageName, setTriggerValidations, showDialog, showPage, showPage, showPage, showPrevious, unloadPage

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EditorPageManager

public EditorPageManager(Project project)

Method Detail

logPageCreationError

protected void logPageCreationError(java.lang.String className,
                                    java.lang.String message,
                                    java.lang.Exception e)

Log the page creation error message

Overrides:

logPageCreationError in class PageManager

Parameters:

message - the error message

e - the exception

getNumSecondaryLoaders

public int getNumSecondaryLoaders()

Get the number of registered page loaders

getSecondaryLoader

public PageLoader getSecondaryLoader(int idx)

Get a page loader

Parameters:

idx - the index of the page loader, the EditorAriaBuilder is usually the first

Returns:

the page loader

getSecondaryLoader

public PageLoader getSecondaryLoader(java.lang.String builderType)

Get a page loader

Parameters:

builderType - the type of builder

Returns:

the page loader

setPageDisplay

public void setPageDisplay(PageDisplay pgDisplay)

Set the interface to invoke when a page has been displayed. Reads the startup parameters Frames and UsesFrames to control loading of the frame set. If Frames is not specified it defaults to "frames", and if UsesFrames is not specified it defaults to "true".

Overrides:

setPageDisplay in class PageManager

Parameters:

pgDisplay - The PageDisplay interface

getStatus

public int getStatus()

Get the error status

setStatus

public void setStatus(int status)

Set the error status