edu.uiowa.cs.clc.kind2.lustre

Class ProgramBuilder

java.lang.Object

edu.uiowa.cs.clc.kind2.lustre.ProgramBuilder

public class ProgramBuilder
extends java.lang.Object

This class provides helper functions for constructing a lustre program.

Constructor Summary

Constructors

Constructor and Description
ProgramBuilder() Constructor

Method Summary

Modifier and Type	Method and Description
void	addContract(ContractBuilder contractBuilder) add a contract
void	addFunction(ComponentBuilder componentBuilder) add a function
void	addNode(ComponentBuilder componentBuilder) add a node
Program	build() construct a lustre program
IdExpr	createConst(java.lang.String name, Expr expr) define a global constant
IdExpr	createConst(java.lang.String name, Type type) define a global symbolic constant
IdExpr	createConst(java.lang.String name, Type type, Expr expr) define a global constant
Type	defineType(java.lang.String name) define a type
Type	defineType(java.lang.String name, Type type) define a type
void	importFunction(ImportedComponentBuilder importedComponentBuilder) import a function
void	importNode(ImportedComponentBuilder importedComponentBuilder) import a node
void	setMain(java.lang.String main) set the main node/function

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ProgramBuilder

public ProgramBuilder()

Constructor

Method Detail

defineType

public Type defineType(java.lang.String name)

define a type

Parameters:

name - name of the type to define

Returns:

the defined type

defineType

public Type defineType(java.lang.String name,
                       Type type)

define a type

Parameters:

name - name of the type to define

type - the type to define

Returns:

the defined type

createConst

public IdExpr createConst(java.lang.String name,
                          Type type)

define a global symbolic constant

Parameters:

name - name of the global constant

type - type of the global constant

Returns:

an id-expr for the global constant

createConst

public IdExpr createConst(java.lang.String name,
                          Expr expr)

define a global constant

Parameters:

name - name of the global constant

expr - definition of the global constant

Returns:

an id-expr for the global constant

createConst

public IdExpr createConst(java.lang.String name,
                          Type type,
                          Expr expr)

define a global constant

Parameters:

name - name of the global constant

type - type of the global constant

expr - definition of the global constant

Returns:

an id-expr for the global constant

addContract

public void addContract(ContractBuilder contractBuilder)

add a contract

Parameters:

contractBuilder - builder for the contract to add

importFunction

public void importFunction(ImportedComponentBuilder importedComponentBuilder)

import a function

Parameters:

importedComponentBuilder - a builder for the function to import

addFunction

public void addFunction(ComponentBuilder componentBuilder)

add a function

Parameters:

componentBuilder - a builder for the function to add

importNode

public void importNode(ImportedComponentBuilder importedComponentBuilder)

import a node

Parameters:

importedComponentBuilder - a builder for the node to import

addNode

public void addNode(ComponentBuilder componentBuilder)

add a node

Parameters:

componentBuilder - a builder for the node to add

setMain

public void setMain(java.lang.String main)

set the main node/function

Parameters:

main - name of the main node/function

build

public Program build()

construct a lustre program

Returns:

constructed lustre program