com.google.javascript.rhino.jstype

Class RecordTypeBuilder.RecordProperty

java.lang.Object

com.google.javascript.rhino.jstype.RecordTypeBuilder.RecordProperty

Enclosing class:

RecordTypeBuilder

static class RecordTypeBuilder.RecordProperty
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private Node	propertyNode
private JSType	type

Constructor Summary

Constructors

Constructor and Description
RecordProperty(JSType type, Node propertyNode)

Method Summary

Modifier and Type	Method and Description
Node	getPropertyNode()
JSType	getType()

Methods inherited from class java.lang.Object

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

Field Detail

type

private final JSType type

propertyNode

private final Node propertyNode

Constructor Detail

RecordProperty

RecordProperty(JSType type,
               Node propertyNode)

Method Detail

getType

public JSType getType()

getPropertyNode

public Node getPropertyNode()