Package org.checkerframework.checker.modifiability.iterator

package org.checkerframework.checker.modifiability.iterator

Related Packages

Package	Description
org.checkerframework.checker.modifiability
org.checkerframework.checker.modifiability.grow
org.checkerframework.checker.modifiability.qual
org.checkerframework.checker.modifiability.replace
org.checkerframework.checker.modifiability.seqgrow
org.checkerframework.checker.modifiability.shrink

Classes

Class	Description
IteratorAnnotatedTypeFactory	The annotated type factory for the IteratorChecker.
IteratorChecker	A type-checker that checks whether a collection's iterator preserves the collection's modifiability.
IteratorVisitor	Visitor for the IteratorChecker.