edu.toronto.cs.beans
Class XMLBeanModelCompiler

java.lang.Object
  extended by edu.toronto.cs.beans.XMLBeanModelCompiler
All Implemented Interfaces:
ModelCompiler

public class XMLBeanModelCompiler
extends java.lang.Object
implements ModelCompiler


Constructor Summary
XMLBeanModelCompiler()
           
 
Method Summary
 XKripkeStructure compile()
           
 java.io.File getXmlFile()
           
 void setXmlFile(java.io.File v)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

XMLBeanModelCompiler

public XMLBeanModelCompiler()
Method Detail

setXmlFile

public void setXmlFile(java.io.File v)

getXmlFile

public java.io.File getXmlFile()

compile

public XKripkeStructure compile()
Specified by:
compile in interface ModelCompiler