public class JIPList extends JIPTerm
JIPTerm
,
Serialized FormModifier and Type | Field and Description |
---|---|
static JIPList |
NIL
Empty list or nil []
|
Modifier and Type | Method and Description |
---|---|
static JIPList |
append(JIPList head,
JIPList tail)
Returns a new JIPList object by appending list2 to list1
|
static JIPList |
create(JIPTerm head,
JIPTerm tail)
Creates a new List
|
JIPTerm |
getHead()
Returns the head of this JIPList object
|
JIPTerm |
getNth(int n)
Returns the nth term in this list.
|
JIPTerm |
getTail()
Returns the tail of this JIPList object
|
boolean |
isNIL()
Returns true if this list is [].
|
JIPList |
reverse()
Returns a new JIPList object by reversing this JIPList object
|
public static final JIPList NIL
public static final JIPList create(JIPTerm head, JIPTerm tail)
head
- the head of the Listtail
- the tail the ListJIPTerm
public static final JIPList append(JIPList head, JIPList tail)
head
- the list1 of the first listtail
- the list2 the second listpublic final JIPList reverse()
public final JIPTerm getHead()
JIPTerm
public final JIPTerm getTail()
public final JIPTerm getNth(int n)
n
- index ot the term to extractJIPTerm
public final boolean isNIL()