Uploaded image for project: 'Commons BCEL'
  1. Commons BCEL
  2. BCEL-44

StructuralVerifier can't find protected fields of super classes

    XMLWordPrintableJSON

Details

    • Bug
    • Status: Resolved
    • Major
    • Resolution: Fixed
    • None
    • 5.2
    • Verifier
    • None

    Description

      The InstConstraintVisitor didn't find a protected field of the super class, like:

      abstract Town {
        protected int size;
      }
      
      class NewYork extends Town {
        public int getSize() {
          return size;
        }
      }
      

      Attachments

        1. InstConstraintVisitor.java.diff
          1 kB
          Stephan Michels

        Activity

          People

            issues@commons.apache.org Apache Commons Developers
            stephan Stephan Michels
            Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: