public class SugarMain extends Object
Modifier and Type | Field and Description |
---|---|
static int |
debug |
Constructor and Description |
---|
SugarMain() |
Modifier and Type | Method and Description |
---|---|
void |
decode(String outFileName,
String mapFileName) |
void |
decodePB(String outFileName,
String mapFileName) |
void |
encode(String cspFileName,
String satFileName,
String mapFileName) |
void |
encodePB(String cspFileName,
String pbFileName,
String mapFileName) |
static void |
init() |
static void |
main(String[] args) |
void |
outputCSP(String inputFileName,
String outputFileName,
String format,
String outputHook) |
List<Expression> |
parse(String cspFileName) |
static void |
setDefaultOptions() |
void |
translate(String cspFileName) |
public List<Expression> parse(String cspFileName) throws SugarException, IOException
SugarException
IOException
public void translate(String cspFileName) throws SugarException, IOException
SugarException
IOException
public void encode(String cspFileName, String satFileName, String mapFileName) throws SugarException, IOException
SugarException
IOException
public void decode(String outFileName, String mapFileName) throws SugarException, IOException
SugarException
IOException
public void encodePB(String cspFileName, String pbFileName, String mapFileName) throws SugarException, IOException
SugarException
IOException
public void decodePB(String outFileName, String mapFileName) throws SugarException, IOException
SugarException
IOException
public void outputCSP(String inputFileName, String outputFileName, String format, String outputHook) throws SugarException, IOException, ClassNotFoundException, InstantiationException, IllegalAccessException
public static void setDefaultOptions()
public static void init()
public static void main(String[] args)
args
-