org.graffiti.plugins.ios.gml.gmlReader.gml
Class GmlList

java.lang.Object
  extended by org.graffiti.plugins.ios.gml.gmlReader.gml.GmlParsableItem
      extended by org.graffiti.plugins.ios.gml.gmlReader.gml.GmlValue
          extended by org.graffiti.plugins.ios.gml.gmlReader.gml.GmlList

public class GmlList
extends GmlValue

Class GmlList represents a list as declared in the GML manual. The empty list is represented as a null value.

Author:
ruediger

Constructor Summary
GmlList(int line, GmlValuable valuable, GmlList list)
          Constructs a new GmlList from a given head and a given tail.
 
Method Summary
 GmlValuable getHead()
          Returns the head of the list.
 GmlList getTail()
          Returns the tail of the list, null if the tail is the empty list.
 Object getValue()
          Returns the value of the list.
 
Methods inherited from class org.graffiti.plugins.ios.gml.gmlReader.gml.GmlValue
isInt, isReal, isString
 
Methods inherited from class org.graffiti.plugins.ios.gml.gmlReader.gml.GmlParsableItem
getLine
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GmlList

public GmlList(int line,
               GmlValuable valuable,
               GmlList list)
Constructs a new GmlList from a given head and a given tail.

Parameters:
line - the line in which the list was declared.
valuable - the head of the list.
list - the tail of the list.
Method Detail

getHead

public GmlValuable getHead()
Returns the head of the list.

Returns:
the head of the list.

getTail

public GmlList getTail()
Returns the tail of the list, null if the tail is the empty list.

Returns:
the tail of the list, null if the tail is the empty list.

getValue

public Object getValue()
Returns the value of the list.

Specified by:
getValue in class GmlValue
Returns:
the value of the list.


Generated at 2012-05-30 11:01:25 PM CEST