Class BuildNonnullReturnDatabase

  • Direct Known Subclasses:
    NoteNonnullReturnValues

    public class BuildNonnullReturnDatabase
    extends java.lang.Object
    Build database of methods that return values guaranteed to be nonnull
    • Field Detail

      • VERBOSE_DEBUG

        public static final boolean VERBOSE_DEBUG
      • returnsReference

        protected int returnsReference
      • returnsNonNull

        protected int returnsNonNull
    • Constructor Detail

      • BuildNonnullReturnDatabase

        public BuildNonnullReturnDatabase()
    • Method Detail

      • visitClassContext

        public void visitClassContext​(ClassContext classContext)