ujf.verimag.bip.cxxcodegen
Class CxxAtomTypeGenerator

java.lang.Object
  extended by ujf.verimag.bip.cxxcodegen.CxxAtomTypeGenerator

public class CxxAtomTypeGenerator
extends java.lang.Object


Field Summary
protected  CConstruct cBuilder
           
protected  CmodelFactory cFactory
           
 
Constructor Summary
CxxAtomTypeGenerator(CConstruct builder, CxxExpressionGenerator expGen, CxxStatementGenerator stmGen)
           
 
Method Summary
 void generateType(AtomType at, CModule cmodule, boolean multi)
           
 void setDebug(boolean debug)
           
 void setForVerification(boolean forVerification)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

cBuilder

protected CConstruct cBuilder

cFactory

protected CmodelFactory cFactory
Constructor Detail

CxxAtomTypeGenerator

public CxxAtomTypeGenerator(CConstruct builder,
                            CxxExpressionGenerator expGen,
                            CxxStatementGenerator stmGen)
Method Detail

setDebug

public void setDebug(boolean debug)

generateType

public void generateType(AtomType at,
                         CModule cmodule,
                         boolean multi)

setForVerification

public void setForVerification(boolean forVerification)