public class MultiSourcePageSource extends JxpPageSource
| Modifier and Type | Field and Description |
|---|---|
private java.util.List |
_sources
the sources
|
| Constructor and Description |
|---|
MultiSourcePageSource()
Constructor
|
| Modifier and Type | Method and Description |
|---|---|
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
|
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 idJxpPageNotFoundException - if the page cannot be foundpublic final java.lang.StringBuffer getErrorSource(JxpPage page, int line, int col) throws java.io.IOException
getErrorSource in class JxpPageSourcepage - the pageline - the linecol - the columnjava.io.IOException - if there's IO problempublic final AstJxpDocument getJxpDocument(JxpPage page) throws JxpPageSourceException
getJxpDocument in class JxpPageSourcepage - the JxpPageJxpPageSourceException - if there's source exceptionpublic boolean hasJxpPage(java.lang.String id)
hasJxpPage in class JxpPageSourceid - the id