public class MapInfo
extends java.lang.Object
| Constructor and Description |
|---|
MapInfo(java.lang.String name,
int size) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
name()
Returns the name of the map.
|
int |
size()
Returns the number of entries in the map.
|