fmrisc.ProofNavigator.Proving.CVCL

Class CVCLPrinter

java.lang.Object

fmrisc.ProofNavigator.Proving.CVCL.CVCLPrinter

public final class CVCLPrinter
extends java.lang.Object

Printing abstract syntax trees in CVLC syntax.

Method Summary

Methods

Modifier and Type	Method and Description
static void	print(AST tree, java.io.PrintWriter out) Print abstract syntax tree in CVCL syntax.
static java.lang.String	toString(AST tree) Convert abstract syntax tree to CVCL syntax.

Methods inherited from class java.lang.Object

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

Method Detail

toString

public static java.lang.String toString(AST tree)

Convert abstract syntax tree to CVCL syntax.

Parameters:

tree - the tree to be converted.

Returns:

the conversion result.

print

public static void print(AST tree,
         java.io.PrintWriter out)

Print abstract syntax tree in CVCL syntax.

Parameters:

tree - the tree to be printed.

out - the stream to which the tree is printed.