public class SugarMain
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
debug |
Constructor and Description |
---|
SugarMain() |
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) |
public java.util.List<Expression> parse(java.lang.String cspFileName) throws SugarException, java.io.IOException
SugarException
java.io.IOException
public void translate(java.lang.String cspFileName) throws SugarException, java.io.IOException
SugarException
java.io.IOException
public void encode(java.lang.String cspFileName, java.lang.String satFileName, java.lang.String mapFileName) throws SugarException, java.io.IOException
SugarException
java.io.IOException
public void decode(java.lang.String outFileName, java.lang.String mapFileName) throws SugarException, java.io.IOException
SugarException
java.io.IOException
public void encodeHybrid(java.lang.String cspFileName, java.lang.String pbFileName, java.lang.String mapFileName) throws SugarException, java.io.IOException
SugarException
java.io.IOException
public void decodeHybrid(java.lang.String outFileName, java.lang.String mapFileName) throws SugarException, java.io.IOException
SugarException
java.io.IOException
public void encodePB(java.lang.String cspFileName, java.lang.String pbFileName, java.lang.String mapFileName) throws SugarException, java.io.IOException
SugarException
java.io.IOException
public void decodePB(java.lang.String outFileName, java.lang.String mapFileName) throws SugarException, java.io.IOException
SugarException
java.io.IOException
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
SugarException
java.io.IOException
java.lang.ClassNotFoundException
java.lang.InstantiationException
java.lang.IllegalAccessException
public static void setDefaultOptions()
public static void init()
public static void main(java.lang.String[] args)
args
-