| Methods Summary |
|---|
| public int | addMapElement(MapElement value)
return this.addValue(MAP_ELEMENT, value);
|
| public MapElement | getMapElement(int index)
return (MapElement)this.getValue(MAP_ELEMENT, index);
|
| public MapElement[] | getMapElement()
return (MapElement[])this.getValues(MAP_ELEMENT);
|
| public int | removeMapElement(MapElement value)
return this.removeValue(MAP_ELEMENT, value);
|
| public void | setMapElement(int index, MapElement value)
// This attribute is an array, possibly empty
this.setValue(MAP_ELEMENT, index, value);
|
| public void | setMapElement(MapElement[] value)
this.setValue(MAP_ELEMENT, value);
|
| public int | sizeMapElement()
return this.size(MAP_ELEMENT);
|
| public boolean | verify()
return true;
|
