|
||||||||||
| 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 JxpPageSourceid - the id
JxpPageNotFoundException - if the page cannot be found
public final java.lang.StringBuffer getErrorSource(JxpPage page,
int line,
int col)
throws java.io.IOException
getErrorSource in class JxpPageSourcepage - the pageline - the linecol - the column
java.io.IOException - if there's IO problem
public final AstJxpDocument getJxpDocument(JxpPage page)
throws JxpPageSourceException
getJxpDocument in class JxpPageSourcepage - the JxpPage
JxpPageSourceException - if there's source exceptionpublic boolean hasJxpPage(java.lang.String id)
hasJxpPage in class JxpPageSourceid - the id
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||