edu.toronto.cs.gclang.parser
Class GCLangCompiler

java.lang.Object
  extended by edu.toronto.cs.gclang.parser.GCLangCompiler
All Implemented Interfaces:
ModelCompiler

public class GCLangCompiler
extends java.lang.Object
implements ModelCompiler


Constructor Summary
GCLangCompiler()
           
 
Method Summary
 XKripkeStructure compile()
           
 IAlgebra getAlgebra()
           
 MvSet getInit()
           
 java.io.File getInputFile()
           
 java.lang.Class getMvSetFactoryClass()
           
 java.lang.String getProgName()
           
 MvRelation getTrans()
           
static void main(java.lang.String[] args)
           
 void setAlgebra(IAlgebra v)
           
 void setInputFile(java.io.File v)
           
 void setMvSetFactoryClass(java.lang.Class v)
           
 void setProgName(java.lang.String v)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GCLangCompiler

public GCLangCompiler()
Method Detail

setMvSetFactoryClass

public void setMvSetFactoryClass(java.lang.Class v)

getMvSetFactoryClass

public java.lang.Class getMvSetFactoryClass()

getAlgebra

public IAlgebra getAlgebra()

setAlgebra

public void setAlgebra(IAlgebra v)

getInputFile

public java.io.File getInputFile()

setInputFile

public void setInputFile(java.io.File v)

setProgName

public void setProgName(java.lang.String v)

getProgName

public java.lang.String getProgName()

getInit

public MvSet getInit()

getTrans

public MvRelation getTrans()

compile

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

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException
Throws:
java.io.IOException