Class RecordTypeBuilder


  • public class RecordTypeBuilder
    extends java.lang.Object
    A builder for record types.
    • Constructor Detail

      • RecordTypeBuilder

        public RecordTypeBuilder​(JSTypeRegistry registry)
    • Method Detail

      • addProperty

        public RecordTypeBuilder addProperty​(java.lang.String name,
                                             JSType type,
                                             Node propertyNode)
        Adds a property with the given name and type to the record type.
        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, or null if there's a duplicate.
      • build

        public JSType build()
        Creates a record.
        Returns:
        The record type.