com.google.javascript.rhino.jstype

Class RecordTypeBuilder

java.lang.Object

com.google.javascript.rhino.jstype.RecordTypeBuilder

public class RecordTypeBuilder
extends Object

A builder for record types.

Constructor Summary

Constructors

Constructor and Description
RecordTypeBuilder(JSTypeRegistry registry)

Method Summary

Modifier and Type	Method and Description
RecordTypeBuilder	addProperty(String name, JSType type, Node propertyNode) Adds a property with the given name and type to the record type.
JSType	build() Creates a record.

Methods inherited from class java.lang.Object

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

Constructor Detail

RecordTypeBuilder

public RecordTypeBuilder(JSTypeRegistry registry)

Method Detail

addProperty

public RecordTypeBuilder addProperty(String name,
                                     JSType type,
                                     Node propertyNode)

Adds a property with the given name and type to the record type. If you add a property that has already been added, then build() will fail.

Parameters:

name - the name of the new property

type - the JSType of the new property

propertyNode - the node that holds this property definition

Returns:

The builder itself for chaining purposes.

build

public JSType build()

Creates a record. Fails if any duplicate property names were added.

Returns:

The record type.