Module dev.civl.mc

Package dev.civl.mc.model.IF

Interface ModelBuilder

public interface ModelBuilder

Class to provide translation from an AST to a model.

Method Summary

Modifier and Type	Method	Description
Model	buildModel(dev.civl.gmc.GMCSection config, dev.civl.abc.program.IF.Program program, String name, boolean debugging, PrintStream debugOut)	Builds the model.
ModelFactory	factory()

Method Details

factory

ModelFactory factory()

Returns:

The model factory used by this model builder.

buildModel

Model buildModel(dev.civl.gmc.GMCSection config,
 dev.civl.abc.program.IF.Program program,
 String name,
 boolean debugging,
 PrintStream debugOut)
          throws dev.civl.gmc.CommandLineException

Builds the model.

Parameters:

config - The GMC configuration

program - The ABC program to translate

name - The name of the model

debugging -

debugOut -

Returns:

The model.

Throws:

dev.civl.gmc.CommandLineException - if an input variable initial value specified on the command line has a type which is not compatible with the type of the variable