org.checkerframework.common.aliasing

Classes

• AliasingAnnotatedTypeFactory
• AliasingAnnotatedTypeFactory.AliasingTreeAnnotator
• AliasingChecker
• AliasingTransfer
• AliasingVisitor