Uses of Class
com.google.javascript.rhino.jstype.RecordTypeBuilder
Packages that use RecordTypeBuilder
-
Uses of RecordTypeBuilder in com.google.javascript.rhino.jstype
Methods in com.google.javascript.rhino.jstype that return RecordTypeBuilderModifier and TypeMethodDescriptionRecordTypeBuilder.addProperty(String name, JSType type, Node propertyNode) Adds a property with the given name and type to the record type.