gov.nasa.jpf.util

Class ImmutableList<E>

java.lang.Object

gov.nasa.jpf.util.ImmutableList<E>

All Implemented Interfaces:

Iterable<E>

public class ImmutableList<E>
extends Object
implements Iterable<E>

utility class for JPF internal linked lists that are tail-immutable

Field Summary

Fields

Modifier and Type	Field and Description
E	head
ImmutableList<E>	tail

Constructor Summary

Constructors

Constructor and Description
ImmutableList(E data, ImmutableList<E> tail)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	contains(E object)
Iterator<E>	iterator()

Methods inherited from class java.lang.Object

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

Field Detail

head

public final E head

tail

public final ImmutableList<E> tail

Constructor Detail

ImmutableList

public ImmutableList(E data,
             ImmutableList<E> tail)

Method Detail

iterator

public Iterator<E> iterator()

Specified by:

iterator in interface Iterable<E>

contains

public boolean contains(E object)