joeq.Compiler.Analysis.IPA
Class PAResults.HeapLocationSet

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractSet
          joeq.Compiler.Analysis.IPA.PAResults.HeapLocationSet

All Implemented Interfaces:

Iterable, Collection, Set

Enclosing class:

PAResults

public class PAResults.HeapLocationSet
extends AbstractSet

Method Summary

Iterator	iterator()
int	size()

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

add, addAll, clear, contains, containsAll, isEmpty, remove, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Set

add, addAll, clear, contains, containsAll, isEmpty, remove, retainAll, toArray, toArray

Method Detail

size

public int size()

Specified by:

size in interface Collection

Specified by:

size in interface Set

Specified by:

size in class AbstractCollection

iterator

public Iterator iterator()

Specified by:

iterator in interface Iterable

Specified by:

iterator in interface Collection

Specified by:

iterator in interface Set

Specified by:

iterator in class AbstractCollection