vocleditor.converter
Class Converter
java.lang.Object
vocleditor.converter.Converter
- All Implemented Interfaces:
- agg.xt_basis.GraTraEventListener, java.util.EventListener
public class Converter
- extends java.lang.Object
- implements agg.xt_basis.GraTraEventListener
Constructor Summary |
Converter(java.io.File voclFile)
|
Method Summary |
void |
convert()
Imports a VOCL-GXL-Graph in a AGG GraphGrammar
and transforms it to an OCL String |
java.lang.String |
getOCLString()
|
void |
graTraEventOccurred(agg.xt_basis.GraTraEvent event)
Listener to AGG Events |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Converter
public Converter(java.io.File voclFile)
graTraEventOccurred
public void graTraEventOccurred(agg.xt_basis.GraTraEvent event)
- Listener to AGG Events
- Specified by:
graTraEventOccurred
in interface agg.xt_basis.GraTraEventListener
convert
public void convert()
throws java.io.IOException,
javax.xml.transform.TransformerException
- Imports a VOCL-GXL-Graph in a AGG GraphGrammar
and transforms it to an OCL String
- Throws:
java.io.IOException
javax.xml.transform.TransformerException
getOCLString
public java.lang.String getOCLString()