sandmark.watermark.ct.encode.ir
Class List

java.lang.Object
  |
  +--sandmark.watermark.ct.encode.ir.IR
        |
        +--sandmark.watermark.ct.encode.ir.List

All Implemented Interfaces:

java.lang.Cloneable

public class List

extends IR

Nested Class Summary

(package private) class

List.Backwards

Field Summary

(package private) java.util.LinkedList

list

Fields inherited from class sandmark.watermark.ct.encode.ir.IR

graph

Constructor Summary

List()

List(IR r)

List(IR r1, IR r2)

List(IR r1, IR r2, IR r3)

List(IR r1, IR r2, IR r3, IR r4)

Method Summary

java.util.Iterator	backwards()
java.lang.Object	clone()
List	cons(IR r1)
List	cons(IR r1, IR r2)
List	cons(IR r1, IR r2, IR r3)
List	cons(List l1)
List	cons(List l1, List l2)
List	cons(List l1, List l2, List l3)
java.util.Iterator	iterator()
int	size()
List	snoc(IR r1)
java.lang.String	toString()

Methods inherited from class sandmark.watermark.ct.encode.ir.IR

copy, main, renderListSeparate, renderOps, toJava, toString

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

list

java.util.LinkedList list

Constructor Detail

List

public List()

List

public List(IR r)

List

public List(IR r1,
            IR r2)

List

public List(IR r1,
            IR r2,
            IR r3)

List

public List(IR r1,
            IR r2,
            IR r3,
            IR r4)

Method Detail

clone

public java.lang.Object clone()
                       throws java.lang.CloneNotSupportedException

Overrides:

clone in class java.lang.Object

java.lang.CloneNotSupportedException

cons

public List cons(IR r1)

snoc

public List snoc(IR r1)

cons

public List cons(IR r1,
                 IR r2)

cons

public List cons(IR r1,
                 IR r2,
                 IR r3)

cons

public List cons(List l1)

cons

public List cons(List l1,
                 List l2)

cons

public List cons(List l1,
                 List l2,
                 List l3)

size

public int size()

iterator

public java.util.Iterator iterator()

backwards

public java.util.Iterator backwards()

toString

public java.lang.String toString()

Overrides:

toString in class IR