package java;

import java.io.*;
import aioli.gfxobj.*;
import aioli.vtp.*;
import aioli.variable.*;

public final class genDtD {
  public final static void main(String[] theArgs) {
    try {
   
      PrintWriter ps;
      if (theArgs.length!=0) {
	FileOutputStream f = new FileOutputStream(theArgs[0]);
	ps = new PrintWriter(f,true);
      }else{
	PrintStream f = System.out;
	ps = new PrintWriter(f,true);
      }
      Formalism fm = FManager.getFormalism("java");
      fm.genDTD(ps);
    }
    catch (FileNotFoundException e) {
      System.err.println("exception: "+e);
    }
    catch (java.lang.Exception e) {
      System.err.println("exception: "+e);
    }
  }
}