public class TableD
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
TableD.Descriptor |
Constructor and Description |
---|
TableD(java.lang.String name,
java.lang.String location) |
Modifier and Type | Method and Description |
---|---|
TableD.Descriptor |
addDescriptor(short x,
short y,
java.lang.String name,
java.util.List<java.lang.Short> seq) |
TableD.Descriptor |
getDescriptor(short id) |
java.util.Collection<TableD.Descriptor> |
getDescriptors() |
java.lang.String |
getLocation() |
java.lang.String |
getName() |
void |
show(java.util.Formatter out) |
public java.lang.String getName()
public java.lang.String getLocation()
public TableD.Descriptor addDescriptor(short x, short y, java.lang.String name, java.util.List<java.lang.Short> seq)
public TableD.Descriptor getDescriptor(short id)
public java.util.Collection<TableD.Descriptor> getDescriptors()
public void show(java.util.Formatter out)