com.ibm.wala.cast.js.util
Class Generator

java.lang.Object
  extended by com.ibm.wala.cast.js.util.Generator

public class Generator
extends java.lang.Object


Nested Class Summary
static interface Generator.CallbackFactory
           
static class Generator.HTMLCallbackFactory
           
 
Field Summary
static Generator.CallbackFactory defaultCallbackFactory
           
static java.lang.String preamble
           
static java.lang.String temp
           
 
Constructor Summary
Generator()
           
Generator(boolean ignoreCharset, Generator.CallbackFactory factory)
           
 
Method Summary
 void generate(java.net.URL input, java.io.File outFile)
           
protected  void generatePreamble(java.io.FileWriter out, javax.swing.text.html.HTMLEditorKit.ParserCallback cb)
           
protected  void generateTrailer(java.io.FileWriter out, javax.swing.text.html.HTMLEditorKit.ParserCallback cb)
           
static void main(java.lang.String[] args)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

preamble

public static final java.lang.String preamble
See Also:
Constant Field Values

temp

public static final java.lang.String temp
See Also:
Constant Field Values

defaultCallbackFactory

public static final Generator.CallbackFactory defaultCallbackFactory
Constructor Detail

Generator

public Generator(boolean ignoreCharset,
                 Generator.CallbackFactory factory)

Generator

public Generator()
Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException
Throws:
java.io.IOException

generate

public void generate(java.net.URL input,
                     java.io.File outFile)
              throws java.io.IOException
Throws:
java.io.IOException

generatePreamble

protected void generatePreamble(java.io.FileWriter out,
                                javax.swing.text.html.HTMLEditorKit.ParserCallback cb)
                         throws java.io.IOException
Throws:
java.io.IOException

generateTrailer

protected void generateTrailer(java.io.FileWriter out,
                               javax.swing.text.html.HTMLEditorKit.ParserCallback cb)
                        throws java.io.IOException
Throws:
java.io.IOException