joeq.Compiler.BytecodeAnalysis
Class CallTargets.NoCallTarget

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractSet
          joeq.Compiler.BytecodeAnalysis.CallTargets
              joeq.Compiler.BytecodeAnalysis.CallTargets.NoCallTarget

All Implemented Interfaces:

Iterable, Collection, Set, CompilationConstants

Enclosing class:

CallTargets

public static class CallTargets.NoCallTarget
extends CallTargets

Nested Class Summary

Nested classes/interfaces inherited from class joeq.Compiler.BytecodeAnalysis.CallTargets

CallTargets.NoCallTarget, CallTargets.SingleCallTarget

Field Summary

static CallTargets.NoCallTarget

INSTANCE

Fields inherited from class joeq.Compiler.BytecodeAnalysis.CallTargets

TRACE, VerifyAssertions

Fields inherited from interface joeq.Compiler.CompilationConstants

MAYBE, NO, YES

Method Summary

boolean	isComplete()
Iterator	iterator()
int	size()
String	toString()
CallTargets	union(CallTargets s)

Methods inherited from class joeq.Compiler.BytecodeAnalysis.CallTargets

addAllSubclasses, getSpecialTargets, getStaticTargets, getTargets, getTargets, getTargets

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

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

Field Detail

INSTANCE

public static final CallTargets.NoCallTarget INSTANCE

Method Detail

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 CallTargets

isComplete

public boolean isComplete()

Specified by:

isComplete in class CallTargets

union

public CallTargets union(CallTargets s)

Specified by:

union in class CallTargets

size

public int size()

Specified by:

size in interface Collection

Specified by:

size in interface Set

Specified by:

size in class CallTargets

toString

public String toString()

Overrides:

toString in class AbstractCollection