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 JxpPageSource
id
- 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 JxpPageSource
page
- the pageline
- the linecol
- the columnjava.io.IOException
- if there's IO problempublic final AstJxpDocument getJxpDocument(JxpPage page) throws JxpPageSourceException
getJxpDocument
in class JxpPageSource
page
- the JxpPageJxpPageSourceException
- if there's source exceptionpublic boolean hasJxpPage(java.lang.String id)
hasJxpPage
in class JxpPageSource
id
- the id