vocleditor.converter
Class Converter

java.lang.Object
  extended by 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
 

Constructor Detail

Converter

public Converter(java.io.File voclFile)
Method Detail

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()