jp.kobe_u.sugar

Class XML2CSP

java.lang.Object

jp.kobe_u.sugar.XML2CSP

public class XML2CSP
extends java.lang.Object

XML2CSP converts files in XCSP 2 format into CSP format.

Constructor Summary

Constructors

Constructor and Description
XML2CSP(java.lang.String xmlFileName, java.lang.String cspFileName) Constructs a XCSP to CSP converter.

Method Summary

Modifier and Type	Method and Description
void	convert()
void	load()
static void	main(java.lang.String[] args) Main program of XML2CSP.

Methods inherited from class java.lang.Object

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

Constructor Detail

XML2CSP

public XML2CSP(java.lang.String xmlFileName,
               java.lang.String cspFileName)

Constructs a XCSP to CSP converter.

Parameters:

xmlFileName -

cspFileName -

Method Detail

convert

public void convert()
             throws java.io.IOException

Throws:

java.io.IOException

load

public void load()
          throws java.io.IOException,
                 javax.xml.parsers.ParserConfigurationException,
                 org.xml.sax.SAXException

Throws:

java.io.IOException

javax.xml.parsers.ParserConfigurationException

org.xml.sax.SAXException

main

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

Main program of XML2CSP.

Parameters:

args -