at.dms.kjc.sir.lowering.partition
Class WorkList

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractList<E>
          java.util.AbstractSequentialList<E>
              java.util.LinkedList
                  at.dms.kjc.sir.lowering.partition.WorkList

All Implemented Interfaces:

Serializable, Cloneable, Iterable, Collection, List, Queue

public class WorkList
extends LinkedList

A wrapper for a linked list to save ourself a lot of casting with work entries.

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

WorkList(Collection c)

Method Summary

SIRContainer	getContainer(int i) Gets container at position
SIRFilter	getFilter(int i) Gets filter at position
int	getWork(int i) Gets total work at position
void	writeToFile(String filename) Write the contents of this to filename

Methods inherited from class java.util.LinkedList

add, add, addAll, addAll, addFirst, addLast, clear, clone, contains, element, get, getFirst, getLast, indexOf, lastIndexOf, listIterator, offer, peek, poll, remove, remove, remove, removeFirst, removeLast, set, size, toArray, toArray

Methods inherited from class java.util.AbstractSequentialList

iterator

Methods inherited from class java.util.AbstractList

equals, hashCode, listIterator, removeRange, subList

Methods inherited from class java.util.AbstractCollection

containsAll, isEmpty, removeAll, retainAll, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.List

containsAll, equals, hashCode, isEmpty, iterator, listIterator, removeAll, retainAll, subList

Constructor Detail

WorkList

public WorkList(Collection c)

Method Detail

getWork

public int getWork(int i)

Gets total work at position

i

.

getFilter

public SIRFilter getFilter(int i)

Gets filter at position

i

.

getContainer

public SIRContainer getContainer(int i)

Gets container at position

i

.

writeToFile

public void writeToFile(String filename)

Write the contents of this to filename

filename

.