net.sourceforge.czt.print.circus
Class UnicodeToLatex

java.lang.Object
  net.sourceforge.czt.print.circus.UnicodeToLatex

public final class UnicodeToLatex
extends java.lang.Object

Unicode to Latex transformation utilities for Standard Z. This class provides a unicode to latex command line tool and a static method for transforming unicode (provided via a Reader) to LaTex. The resulting LaTex is written to a Writer.

Author:

Petra Malik

Method Summary

static void	main(java.lang.String[] args)
static void	run(java.io.Reader in, java.io.Writer out) Transforms the input provided via a Reader and writes the result to the given Writer.
static void	run(java.lang.String infile, java.lang.String encoding, java.lang.String outfile) Reads the given input file using the specified encoding and writes to the given output file.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

main

public static void main(java.lang.String[] args)

run

public static void run(java.lang.String infile,
                       java.lang.String encoding,
                       java.lang.String outfile)
                throws java.lang.Exception

Reads the given input file using the specified encoding and writes to the given output file.

Parameters:

infile - the name of the input file.

encoding - the encoding used to read the input file.

outfile - the name of the output file.

Throws:

java.lang.Exception

run

public static void run(java.io.Reader in,
                       java.io.Writer out)
                throws java.lang.Exception

Transforms the input provided via a Reader and writes the result to the given Writer.

Parameters:

in - the reader containing the unicode specification.

out - the writer where the LaTex specification goes.

Throws:

java.lang.Exception