|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.onemind.jxp.JxpPageSource
org.onemind.jxp.MultiSourcePageSource
public class MultiSourcePageSource
A PageSource containing multiple page sources
Field Summary | |
---|---|
private java.util.List |
_sources
the sources |
Constructor Summary | |
---|---|
MultiSourcePageSource()
Constructor |
Method Summary | |
---|---|
void |
addPageSource(JxpPageSource source)
Add a new page source |
java.lang.StringBuffer |
getErrorSource(JxpPage page,
int line,
int col)
Print the error source of this page on given line and column |
AstJxpDocument |
getJxpDocument(JxpPage page)
Get the jxp document for the JxpPage |
JxpPage |
getJxpPage(java.lang.String id)
Return a jxp page identified by the id |
java.util.List |
getPageSources()
Get the page sources |
boolean |
hasJxpPage(java.lang.String id)
Return whether the jxp page identified by the id exists |
void |
removePageSource(JxpPageSource source)
Remove the page source |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private java.util.List _sources
Constructor Detail |
---|
public MultiSourcePageSource()
Method Detail |
---|
public final void addPageSource(JxpPageSource source)
source
- the page sourcepublic final void removePageSource(JxpPageSource source)
source
- the sourcepublic final java.util.List getPageSources()
public final JxpPage getJxpPage(java.lang.String id) throws JxpPageNotFoundException
getJxpPage
in class JxpPageSource
id
- the id
JxpPageNotFoundException
- if the page cannot be foundpublic final java.lang.StringBuffer getErrorSource(JxpPage page, int line, int col) throws java.io.IOException
getErrorSource
in class JxpPageSource
page
- the pageline
- the linecol
- the column
java.io.IOException
- if there's IO problempublic final AstJxpDocument getJxpDocument(JxpPage page) throws JxpPageSourceException
getJxpDocument
in class JxpPageSource
page
- the JxpPage
JxpPageSourceException
- if there's source exceptionpublic boolean hasJxpPage(java.lang.String id)
hasJxpPage
in class JxpPageSource
id
- the id
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |