jp.kobe_u.sugar

Interface OutputInterface

All Known Implementing Classes:

Output, OutputSMT

public interface OutputInterface

Method Summary

Modifier and Type	Method and Description
void	output()
void	setCSP(CSP csp)
void	setFormat(java.lang.String format)
void	setOut(java.io.PrintWriter out)

Method Detail

setCSP

void setCSP(CSP csp)

setOut

void setOut(java.io.PrintWriter out)

setFormat

void setFormat(java.lang.String format)
        throws SugarException

Throws:

SugarException

output

void output()
     throws SugarException

Throws:

SugarException