public class RecordTypeBuilder extends Object
Constructor and Description |
---|
RecordTypeBuilder(JSTypeRegistry registry) |
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.
|
public RecordTypeBuilder(JSTypeRegistry registry)
public RecordTypeBuilder addProperty(String name, JSType type, Node propertyNode)
build()
will fail.name
- the name of the new propertytype
- the JSType of the new propertypropertyNode
- the node that holds this property definitionpublic JSType build()
Copyright © 2009–2023 Google. All rights reserved.