All Packages Class Hierarchy This Package Previous Next Index
Class w3c.www.pics.PICSParser
java.lang.Object
|
+----w3c.www.pics.PICSParser
- public class PICSParser
- extends Object
-
PICSParser()
-
-
main(String[])
-
-
makeLabels(PushbackEnumeration)
-
-
makeLabelsForService(Symbol, URL, PushbackEnumeration)
-
-
makeOptions(PropertySet, Enumeration, Symbol, Symbol, Dictionary)
-
-
parse(InputStream)
-
PICSParser
public PICSParser()
parse
public Object parse(InputStream input) throws IOException, SExprParserException
makeLabels
protected Object makeLabels(PushbackEnumeration data) throws PICSParserException
makeLabelsForService
protected Object makeLabelsForService(Symbol version,
URL service,
PushbackEnumeration data) throws PICSParserException
makeOptions
protected PropertySet makeOptions(PropertySet options,
Enumeration data,
Symbol end,
Symbol alt_end,
Dictionary mappers) throws PICSParserException
main
public static void main(String args[]) throws IOException, SExprParserException
All Packages Class Hierarchy This Package Previous Next Index