ujf.verimag.bip.cxxcodegen
Class CxxAtomTypeGenerator

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