org.checkerframework.common.accumulation

Classes

• AccumulationAnnotatedTypeFactory
• AccumulationChecker
• AccumulationTransfer
• AccumulationVisitor

Enums

• AccumulationChecker.AliasAnalysis