public class XML2CSP
extends java.lang.Object
Constructor and Description |
---|
XML2CSP(java.lang.String xmlFileName,
java.lang.String cspFileName)
Constructs a XCSP to CSP converter.
|
Modifier and Type | Method and Description |
---|---|
void |
convert() |
void |
load() |
static void |
main(java.lang.String[] args)
Main program of XML2CSP.
|
public XML2CSP(java.lang.String xmlFileName, java.lang.String cspFileName)
xmlFileName
- cspFileName
- public void convert() throws java.io.IOException
java.io.IOException
public void load() throws java.io.IOException, javax.xml.parsers.ParserConfigurationException, org.xml.sax.SAXException
java.io.IOException
javax.xml.parsers.ParserConfigurationException
org.xml.sax.SAXException
public static void main(java.lang.String[] args)
args
-