Package org.checkerframework.checker.index.growonly
package org.checkerframework.checker.index.growonly
-
ClassesClassDescriptionThe type factory for the Grow-only Checker.A type-checker that enforces rules about mutable-length sequences.The visitor for the Grow-only Checker.