Class ABDI


  • public class ABDI
    extends AABDI
    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected IInternalAccess agent  
      protected int num2  
      • Fields inherited from class jadex.bdiv3.testcases.semiautomatic.AABDI

        num1
    • Constructor Summary

      Constructors 
      Constructor Description
      ABDI()  
    • Constructor Detail

      • ABDI

        public ABDI()
    • Method Detail

      • body

        public IFuture<java.lang.Void> body()
      • getNum2

        public int getNum2()
        Get the num2.
        Returns:
        The num2.
      • setNum2

        public void setNum2​(int num2)
        Set the num2.
        Parameters:
        num2 - The num2 to set.
      • incNum2

        public void incNum2()