Module dev.civl.abc

Package dev.civl.abc.ast.node.IF

Class Nodes

java.lang.Object

dev.civl.abc.ast.node.IF.Nodes

public class Nodes
extends Object

A factory class providing a static method to produce a new NodeFactory.

Constructor Summary

Constructors

Constructor	Description
Nodes()

Method Summary

Modifier and Type	Method	Description
static NodeFactory	newNodeFactory(Configuration configuration, TypeFactory typeFactory, ValueFactory valueFactory)	Create a new node factory that uses the given type factory and the given value factory.

Methods inherited from class java.lang.Object

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

Constructor Details

Nodes

public Nodes()

Method Details

newNodeFactory

public static NodeFactory newNodeFactory(Configuration configuration,
 TypeFactory typeFactory,
 ValueFactory valueFactory)

Create a new node factory that uses the given type factory and the given value factory.

Parameters:

configuration - the configuration associated with this translation task

typeFactory - the factory for producing types

valueFactory - the factory for producing values (constants)

Returns:

the new node factory