gov.nasa.jpf.util

Class ImmutableList<E>

java.lang.Object

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

All Implemented Interfaces:

java.lang.Iterable<E>

public class ImmutableList<E>
extends java.lang.Object
implements java.lang.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

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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 java.util.Iterator<E> iterator()

Specified by:

iterator in interface java.lang.Iterable<E>

contains

public boolean contains(E object)