jp.kobe_u.sugar

Class SugarMain

java.lang.Object

jp.kobe_u.sugar.SugarMain

public class SugarMain
extends java.lang.Object

SugarMain main class.

Field Summary

Fields

Modifier and Type	Field and Description
static int	debug

Constructor Summary

Constructors

Constructor and Description
SugarMain()

Method Summary

Modifier and Type	Method and Description
void	decode(java.lang.String outFileName, java.lang.String mapFileName)
void	decodeHybrid(java.lang.String outFileName, java.lang.String mapFileName)
void	decodePB(java.lang.String outFileName, java.lang.String mapFileName)
void	encode(java.lang.String cspFileName, java.lang.String satFileName, java.lang.String mapFileName)
void	encodeHybrid(java.lang.String cspFileName, java.lang.String pbFileName, java.lang.String mapFileName)
void	encodePB(java.lang.String cspFileName, java.lang.String pbFileName, java.lang.String mapFileName)
static void	init()
static void	main(java.lang.String[] args)
void	outputCSP(java.lang.String inputFileName, java.lang.String outputFileName, java.lang.String format, java.lang.String outputHook)
java.util.List<Expression>	parse(java.lang.String cspFileName)
static void	setDefaultOptions()
void	translate(java.lang.String cspFileName)

Methods inherited from class java.lang.Object

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

Field Detail

debug

public static int debug

Constructor Detail

SugarMain

public SugarMain()

Method Detail

parse

public java.util.List<Expression> parse(java.lang.String cspFileName)
                                 throws SugarException,
                                        java.io.IOException

Throws:

SugarException

java.io.IOException

translate

public void translate(java.lang.String cspFileName)
               throws SugarException,
                      java.io.IOException

Throws:

SugarException

java.io.IOException

encode

public void encode(java.lang.String cspFileName,
                   java.lang.String satFileName,
                   java.lang.String mapFileName)
            throws SugarException,
                   java.io.IOException

Throws:

SugarException

java.io.IOException

decode

public void decode(java.lang.String outFileName,
                   java.lang.String mapFileName)
            throws SugarException,
                   java.io.IOException

Throws:

SugarException

java.io.IOException

encodeHybrid

public void encodeHybrid(java.lang.String cspFileName,
                         java.lang.String pbFileName,
                         java.lang.String mapFileName)
                  throws SugarException,
                         java.io.IOException

Throws:

SugarException

java.io.IOException

decodeHybrid

public void decodeHybrid(java.lang.String outFileName,
                         java.lang.String mapFileName)
                  throws SugarException,
                         java.io.IOException

Throws:

SugarException

java.io.IOException

encodePB

public void encodePB(java.lang.String cspFileName,
                     java.lang.String pbFileName,
                     java.lang.String mapFileName)
              throws SugarException,
                     java.io.IOException

Throws:

SugarException

java.io.IOException

decodePB

public void decodePB(java.lang.String outFileName,
                     java.lang.String mapFileName)
              throws SugarException,
                     java.io.IOException

Throws:

SugarException

java.io.IOException

outputCSP

public void outputCSP(java.lang.String inputFileName,
                      java.lang.String outputFileName,
                      java.lang.String format,
                      java.lang.String outputHook)
               throws SugarException,
                      java.io.IOException,
                      java.lang.ClassNotFoundException,
                      java.lang.InstantiationException,
                      java.lang.IllegalAccessException

Throws:

SugarException

java.io.IOException

java.lang.ClassNotFoundException

java.lang.InstantiationException

java.lang.IllegalAccessException

setDefaultOptions

public static void setDefaultOptions()

init

public static void init()

main

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

Parameters:

args -