static class RecordTypeBuilder.RecordProperty
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private Node |
propertyNode |
private JSType |
type |
Constructor and Description |
---|
RecordProperty(JSType type,
Node propertyNode) |
Modifier and Type | Method and Description |
---|---|
Node |
getPropertyNode() |
JSType |
getType() |