public abstract static class RecordTypeNode.Property extends Object
| Modifier and Type | Method and Description |
|---|---|
static RecordTypeNode.Property |
create(SourceLocation nameLocation,
String name,
TypeNode type) |
abstract String |
name() |
abstract SourceLocation |
nameLocation() |
String |
toString() |
abstract TypeNode |
type() |
public static RecordTypeNode.Property create(SourceLocation nameLocation, String name, TypeNode type)
public abstract SourceLocation nameLocation()
public abstract String name()
public abstract TypeNode type()