home *** CD-ROM | disk | FTP | other *** search
/ Computer Shopper 144 / DPCS0200.iso / Internet / Supanet / system / swing.jar / javax / swing / text / html / parser / ParserDelegator.class (.txt) < prev    next >
Encoding:
Java Class File  |  1998-11-05  |  2.4 KB  |  67 lines
  1. package javax.swing.text.html.parser;
  2.  
  3. import java.io.DataInputStream;
  4. import java.io.IOException;
  5. import java.io.InputStream;
  6. import java.io.Reader;
  7. import javax.swing.text.html.HTMLEditorKit;
  8.  
  9. public class ParserDelegator extends HTMLEditorKit.Parser {
  10.    private static DTD dtd = null;
  11.    // $FF: synthetic field
  12.    static Class class$javax$swing$text$html$parser$ParserDelegator;
  13.  
  14.    public ParserDelegator() {
  15.       if (dtd == null) {
  16.          setDefaultDTD();
  17.       }
  18.  
  19.    }
  20.  
  21.    // $FF: synthetic method
  22.    static Class class$(String var0) {
  23.       try {
  24.          return Class.forName(var0);
  25.       } catch (ClassNotFoundException var2) {
  26.          throw new NoClassDefFoundError(((Throwable)var2).getMessage());
  27.       }
  28.    }
  29.  
  30.    protected static DTD createDTD(DTD var0, String var1) {
  31.       Object var2 = null;
  32.       boolean var3 = true;
  33.  
  34.       try {
  35.          String var4 = var1 + ".bdtd";
  36.          InputStream var6 = (class$javax$swing$text$html$parser$ParserDelegator != null ? class$javax$swing$text$html$parser$ParserDelegator : (class$javax$swing$text$html$parser$ParserDelegator = class$("javax.swing.text.html.parser.ParserDelegator"))).getResourceAsStream(var4);
  37.          if (var6 != null) {
  38.             var0.read(new DataInputStream(var6));
  39.             DTD.putDTDHash(var1, var0);
  40.          }
  41.       } catch (Exception var5) {
  42.          System.out.println(var5);
  43.       }
  44.  
  45.       return var0;
  46.    }
  47.  
  48.    public void parse(Reader var1, HTMLEditorKit.ParserCallback var2, boolean var3) throws IOException {
  49.       (new DocumentParser(dtd)).parse(var1, var2, var3);
  50.    }
  51.  
  52.    protected static void setDefaultDTD() {
  53.       if (dtd == null) {
  54.          String var0 = "html32";
  55.  
  56.          try {
  57.             dtd = DTD.getDTD(var0);
  58.          } catch (IOException var1) {
  59.             System.out.println("Throw an exception: could not get default dtd: " + var0);
  60.          }
  61.  
  62.          dtd = createDTD(dtd, var0);
  63.       }
  64.  
  65.    }
  66. }
  67.