final class Mark
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
(package private) class |
Mark.IncludeState
Keep track of parser before parsing an included file.
|
Modifier and Type | Field and Description |
---|---|
(package private) java.lang.String |
baseDir |
(package private) int |
col |
private JspCompilationContext |
ctxt |
(package private) int |
cursor |
(package private) java.lang.String |
encoding |
(package private) int |
fileid |
(package private) java.lang.String |
fileName |
(package private) java.util.Stack<Mark.IncludeState> |
includeStack |
(package private) int |
line |
private JspReader |
reader |
(package private) char[] |
stream |
Constructor and Description |
---|
Mark(JspCompilationContext ctxt,
java.lang.String filename,
int line,
int col)
Constructor
|
Mark(JspReader reader,
char[] inStream,
int fileid,
java.lang.String name,
java.lang.String inBaseDir,
java.lang.String inEncoding)
Constructor
|
Mark(Mark other)
Constructor
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object other) |
int |
getColumnNumber() |
java.lang.String |
getFile() |
int |
getLineNumber() |
java.lang.String |
getPublicId() |
java.lang.String |
getSystemId() |
java.net.URL |
getURL()
Gets the URL of the resource with which this Mark is associated
|
boolean |
isGreater(Mark other) |
Mark |
popStream()
/* Restores this mark's state to a previously stored stream.
|
void |
pushStream(char[] inStream,
int inFileid,
java.lang.String name,
java.lang.String inBaseDir,
java.lang.String inEncoding)
Sets this mark's state to a new stream.
|
java.lang.String |
toShortString() |
java.lang.String |
toString() |
int cursor
int line
int col
int fileid
java.lang.String fileName
java.lang.String baseDir
char[] stream
java.util.Stack<Mark.IncludeState> includeStack
java.lang.String encoding
private JspReader reader
private JspCompilationContext ctxt
Mark(JspReader reader, char[] inStream, int fileid, java.lang.String name, java.lang.String inBaseDir, java.lang.String inEncoding)
reader
- JspReader this mark belongs toinStream
- current stream for this markfileid
- id of requested jsp filename
- JSP file nameinBaseDir
- base directory of requested jsp fileinEncoding
- encoding of current fileMark(Mark other)
Mark(JspCompilationContext ctxt, java.lang.String filename, int line, int col)
public void pushStream(char[] inStream, int inFileid, java.lang.String name, java.lang.String inBaseDir, java.lang.String inEncoding)
inStream
- new stream for markinFileid
- id of new file from which stream comes frominBaseDir
- directory of fileinEncoding
- encoding of new filepublic Mark popStream()
public int getLineNumber()
public int getColumnNumber()
public java.lang.String getSystemId()
public java.lang.String getPublicId()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String getFile()
public java.net.URL getURL() throws java.net.MalformedURLException
java.net.MalformedURLException
- if the resource pathname is incorrectpublic java.lang.String toShortString()
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public boolean isGreater(Mark other)
other
Mark, false otherwise.