Package jadex.bdiv3.testcases.semiautomatic

Class AABDI

  • Direct Known Subclasses:
    ABDI
    public abstract class AABDI
extends java.lang.Object

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected int num1  

    • Constructor Summary

      Constructors 
      Constructor Description
      AABDI()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int getNum1()
      Get the num1.
      void incNum1()  
      void setNum1​(int num1)
      Set the num1.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • num1

        protected int num1

    • Constructor Detail

      • AABDI

        public AABDI()

    • Method Detail

      • getNum1

        public int getNum1()
        Get the num1.
        Returns:
        The num1.

      • setNum1

        public void setNum1​(int num1)
        Set the num1.
        Parameters:
        num1 - The num1 to set.

      • incNum1

        public void incNum1()