public class MediawikiImporter.wikiparserrecord
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) Document |
document |
(package private) java.lang.String |
hostport |
(package private) java.lang.String |
html |
(package private) java.lang.String |
source |
java.lang.String |
title |
(package private) AnchorURL |
url |
(package private) java.lang.String |
urlStub |
Constructor and Description |
---|
MediawikiImporter.wikiparserrecord(java.lang.String hostport,
java.lang.String urlStub,
java.lang.String title,
java.lang.StringBuilder sb) |
Modifier and Type | Method and Description |
---|---|
void |
genDocument() |
void |
genHTML() |
void |
writeXML(java.io.OutputStreamWriter os) |
public java.lang.String title
java.lang.String source
java.lang.String html
java.lang.String hostport
java.lang.String urlStub
AnchorURL url
Document document
public MediawikiImporter.wikiparserrecord(java.lang.String hostport, java.lang.String urlStub, java.lang.String title, java.lang.StringBuilder sb)
public void genHTML() throws java.io.IOException
java.io.IOException
public void genDocument() throws Parser.Failure
Parser.Failure
public void writeXML(java.io.OutputStreamWriter os) throws java.io.IOException
java.io.IOException