public class Slot
extends java.lang.Object
A Slot
represents a placeholder in a record type. A slot has a label, which
is simply a string a type handle that constraints the
type of the value it can hold. Note that this class does not hold actual slot values.
Rather, it is a descriptor of a record slot instances. A RecordType
is defined
simply as a set of Slot
s.
Constructor and Description |
---|
Slot() |
Slot(java.lang.String label,
HGHandle valueType) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object other) |
java.lang.String |
getLabel() |
HGHandle |
getValueType() |
int |
hashCode() |
void |
setLabel(java.lang.String label) |
void |
setValueType(HGHandle valueType) |
java.lang.String |
toString() |
public Slot()
public Slot(java.lang.String label, HGHandle valueType)
public java.lang.String getLabel()
public void setLabel(java.lang.String label)
label
- The label to set.public HGHandle getValueType()
public void setValueType(HGHandle valueType)
valueType
- The valueType to set.public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object