at.ac.tuwien.dbai.alternation.compiler
Class atmCompile

java.lang.Object
  at.ac.tuwien.dbai.alternation.compiler.atmCompile

public class atmCompile
extends java.lang.Object

Gernerates Java code from an alternating algorithm

Author:

Wolfgang Dvorak

Field Summary

static java.lang.String

USAGE

Constructor Summary

atmCompile()

Method Summary

static void	compile(java.io.InputStream inputPath, java.lang.String outputPath)
static void	compile(java.lang.String inputPath, java.lang.String outputPath) Takes a .atm file and computes a java class
static void	compileExamples()
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

USAGE

public static final java.lang.String USAGE

See Also:

Constant Field Values

Constructor Detail

atmCompile

public atmCompile()

Method Detail

compile

public static void compile(java.io.InputStream inputPath,
                           java.lang.String outputPath)
                    throws java.io.IOException,
                           org.antlr.runtime.RecognitionException

Throws:

java.io.IOException

org.antlr.runtime.RecognitionException

compile

public static void compile(java.lang.String inputPath,
                           java.lang.String outputPath)
                    throws java.io.IOException,
                           org.antlr.runtime.RecognitionException

Takes a .atm file and computes a java class

Parameters:

inputPath - path to a .atm file

outputPath - path to save the output .java file

Throws:

java.io.IOException

org.antlr.runtime.RecognitionException

compileExamples

public static void compileExamples()
                            throws java.io.IOException,
                                   org.antlr.runtime.RecognitionException

Throws:

java.io.IOException

org.antlr.runtime.RecognitionException

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException,
                        org.antlr.runtime.RecognitionException

Throws:

java.io.IOException

org.antlr.runtime.RecognitionException