org.checkerframework.framework.util

Class AnnotationMirrorSet

java.lang.Object

org.checkerframework.framework.util.AnnotationMirrorSet

All Implemented Interfaces:

java.lang.Iterable<javax.lang.model.element.AnnotationMirror>, java.util.Collection<javax.lang.model.element.AnnotationMirror>, java.util.Set<javax.lang.model.element.AnnotationMirror>

public class AnnotationMirrorSet
extends java.lang.Object
implements java.util.Set<javax.lang.model.element.AnnotationMirror>

The Set interface defines many methods with respect to the equals method. This implementation of Set violates those specifications, but fulfills the same property using AnnotationUtils.areSame(javax.lang.model.element.AnnotationMirror, javax.lang.model.element.AnnotationMirror) rather than equals.

For example, the specification for the contains(Object o) method says: "returns true if and only if this collection contains at least one element e such that (o == null ? e == null : o .equals(e))." The specification for contains(java.lang.Object) is "returns true if and only if this collection contains at least one element e such that (o == null ? e == null : AnnotationUtils.areSame(o, e))".

AnnotationMirror is an interface and not all implementing classes provide a correct equals method; therefore, the existing implementations of Set cannot be used.

Constructor Summary

Constructors

Constructor and Description
AnnotationMirrorSet()
AnnotationMirrorSet(java.util.Collection<? extends javax.lang.model.element.AnnotationMirror> values)

Method Summary

Modifier and Type	Method and Description
boolean	add(javax.lang.model.element.AnnotationMirror annotationMirror)
boolean	addAll(java.util.Collection<? extends javax.lang.model.element.AnnotationMirror> c)
void	clear()
boolean	contains(java.lang.Object o)
boolean	containsAll(java.util.Collection<?> c)
boolean	isEmpty()
java.util.Iterator<javax.lang.model.element.AnnotationMirror>	iterator()
boolean	remove(java.lang.Object o)
boolean	removeAll(java.util.Collection<?> c)
boolean	retainAll(java.util.Collection<?> c)
int	size()
java.lang.Object[]	toArray()
<T> T[]	toArray(T[] a)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Set

equals, hashCode, spliterator

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

AnnotationMirrorSet

public AnnotationMirrorSet()

AnnotationMirrorSet

public AnnotationMirrorSet(java.util.Collection<? extends javax.lang.model.element.AnnotationMirror> values)

Method Detail

size

public int size()

Specified by:

size in interface java.util.Collection<javax.lang.model.element.AnnotationMirror>

Specified by:

size in interface java.util.Set<javax.lang.model.element.AnnotationMirror>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Collection<javax.lang.model.element.AnnotationMirror>

Specified by:

isEmpty in interface java.util.Set<javax.lang.model.element.AnnotationMirror>

contains

public boolean contains(java.lang.Object o)

Specified by:

contains in interface java.util.Collection<javax.lang.model.element.AnnotationMirror>

Specified by:

contains in interface java.util.Set<javax.lang.model.element.AnnotationMirror>

iterator

public java.util.Iterator<javax.lang.model.element.AnnotationMirror> iterator()

Specified by:

iterator in interface java.lang.Iterable<javax.lang.model.element.AnnotationMirror>

Specified by:

iterator in interface java.util.Collection<javax.lang.model.element.AnnotationMirror>

Specified by:

iterator in interface java.util.Set<javax.lang.model.element.AnnotationMirror>

toArray

public java.lang.Object[] toArray()

Specified by:

toArray in interface java.util.Collection<javax.lang.model.element.AnnotationMirror>

Specified by:

toArray in interface java.util.Set<javax.lang.model.element.AnnotationMirror>

toArray

public <T> T[] toArray(T[] a)

Specified by:

toArray in interface java.util.Collection<javax.lang.model.element.AnnotationMirror>

Specified by:

toArray in interface java.util.Set<javax.lang.model.element.AnnotationMirror>

add

public boolean add(javax.lang.model.element.AnnotationMirror annotationMirror)

Specified by:

add in interface java.util.Collection<javax.lang.model.element.AnnotationMirror>

Specified by:

add in interface java.util.Set<javax.lang.model.element.AnnotationMirror>

remove

public boolean remove(java.lang.Object o)

Specified by:

remove in interface java.util.Collection<javax.lang.model.element.AnnotationMirror>

Specified by:

remove in interface java.util.Set<javax.lang.model.element.AnnotationMirror>

containsAll

public boolean containsAll(java.util.Collection<?> c)

Specified by:

containsAll in interface java.util.Collection<javax.lang.model.element.AnnotationMirror>

Specified by:

containsAll in interface java.util.Set<javax.lang.model.element.AnnotationMirror>

addAll

public boolean addAll(java.util.Collection<? extends javax.lang.model.element.AnnotationMirror> c)

Specified by:

addAll in interface java.util.Collection<javax.lang.model.element.AnnotationMirror>

Specified by:

addAll in interface java.util.Set<javax.lang.model.element.AnnotationMirror>

retainAll

public boolean retainAll(java.util.Collection<?> c)

Specified by:

retainAll in interface java.util.Collection<javax.lang.model.element.AnnotationMirror>

Specified by:

retainAll in interface java.util.Set<javax.lang.model.element.AnnotationMirror>

removeAll

public boolean removeAll(java.util.Collection<?> c)

Specified by:

removeAll in interface java.util.Collection<javax.lang.model.element.AnnotationMirror>

Specified by:

removeAll in interface java.util.Set<javax.lang.model.element.AnnotationMirror>

clear

public void clear()

Specified by:

clear in interface java.util.Collection<javax.lang.model.element.AnnotationMirror>

Specified by:

clear in interface java.util.Set<javax.lang.model.element.AnnotationMirror>