de.uka.ilkd.key.macros.scripts

Class ScriptTreeParser

java.lang.Object

de.uka.ilkd.key.macros.scripts.ScriptTreeParser

public class ScriptTreeParser
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ScriptTreeParser()

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args)
static ScriptNode	parse(java.io.Reader reader)

Methods inherited from class java.lang.Object

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

Constructor Detail

ScriptTreeParser

public ScriptTreeParser()

Method Detail

parse

public static ScriptNode parse(java.io.Reader reader)
                        throws java.io.IOException,
                               ScriptException

Throws:

java.io.IOException

ScriptException

main

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

Throws:

java.io.IOException

ScriptException