com.ibm.wala.util.warnings
Class WarningSet

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractSet<E>
          java.util.HashSet<Warning>
              com.ibm.wala.util.warnings.WarningSet

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<Warning>, java.util.Collection<Warning>, java.util.Set<Warning>

public class WarningSet
extends java.util.HashSet<Warning>

a Set of Warnings.

See Also:

Serialized Form

Nested Class Summary

static class

WarningSet.DescendingComparator This comparator reverses the "natural" notion of severity in Warnings.

Field Summary

static long

serialVersionUID

Constructor Summary

WarningSet()

Method Summary

boolean	add(Warning o)
void	dump(CallGraph cg, java.io.PrintStream out)
java.lang.String	toString()
java.lang.String	toString(CallGraph cg) This entrypoint will print paths for severe warnings.

Methods inherited from class java.util.HashSet

clear, clone, contains, isEmpty, iterator, remove, size

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

addAll, containsAll, retainAll, toArray, toArray

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Set

addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

Field Detail

serialVersionUID

public static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

WarningSet

public WarningSet()

Method Detail

add

public boolean add(Warning o)

Specified by:

add in interface java.util.Collection<Warning>

Specified by:

add in interface java.util.Set<Warning>

Overrides:

add in class java.util.HashSet<Warning>

toString

public java.lang.String toString()

Overrides:

toString in class java.util.AbstractCollection<Warning>

toString

public java.lang.String toString(CallGraph cg)

This entrypoint will print paths for severe warnings. NB: This implementation is slow.

dump

public void dump(CallGraph cg,
                 java.io.PrintStream out)