97 |
/** |
/** |
98 |
* The parser calls this method after it finishes parsing the document. |
* The parser calls this method after it finishes parsing the document. |
99 |
*/ |
*/ |
100 |
public void flush() |
public void flush() throws BadLocationException |
|
throws BadLocationException |
|
101 |
{ |
{ |
102 |
|
// TODO: What to do here, if anything? |
103 |
} |
} |
104 |
|
|
105 |
/** |
/** |
109 |
*/ |
*/ |
110 |
public void handleComment(char[] comment, int position) |
public void handleComment(char[] comment, int position) |
111 |
{ |
{ |
112 |
|
// TODO: What to do here, if anything? |
113 |
} |
} |
114 |
|
|
115 |
/** |
/** |
120 |
*/ |
*/ |
121 |
public void handleEndOfLineString(String end_of_line) |
public void handleEndOfLineString(String end_of_line) |
122 |
{ |
{ |
123 |
|
// TODO: What to do here, if anything? |
124 |
} |
} |
125 |
|
|
126 |
/** |
/** |
132 |
*/ |
*/ |
133 |
public void handleEndTag(HTML.Tag tag, int position) |
public void handleEndTag(HTML.Tag tag, int position) |
134 |
{ |
{ |
135 |
|
// TODO: What to do here, if anything? |
136 |
} |
} |
137 |
|
|
138 |
/** |
/** |
143 |
*/ |
*/ |
144 |
public void handleError(String message, int position) |
public void handleError(String message, int position) |
145 |
{ |
{ |
146 |
|
// TODO: What to do here, if anything? |
147 |
} |
} |
148 |
|
|
149 |
/** |
/** |
154 |
* @param position The tag position in the text being parsed. |
* @param position The tag position in the text being parsed. |
155 |
*/ |
*/ |
156 |
public void handleSimpleTag(HTML.Tag tag, MutableAttributeSet attributes, |
public void handleSimpleTag(HTML.Tag tag, MutableAttributeSet attributes, |
157 |
int position |
int position) |
|
) |
|
158 |
{ |
{ |
159 |
|
// TODO: What to do here, if anything? |
160 |
} |
} |
161 |
|
|
162 |
/** |
/** |
170 |
int position |
int position |
171 |
) |
) |
172 |
{ |
{ |
173 |
|
// TODO: What to do here, if anything? |
174 |
} |
} |
175 |
|
|
176 |
/** |
/** |
180 |
*/ |
*/ |
181 |
public void handleText(char[] text, int position) |
public void handleText(char[] text, int position) |
182 |
{ |
{ |
183 |
|
// TODO: What to do here, if anything? |
184 |
} |
} |
185 |
} |
} |
186 |
|
|