Class ABDI
- java.lang.Object
- 
- jadex.bdiv3.testcases.semiautomatic.AABDI
- 
- jadex.bdiv3.testcases.semiautomatic.ABDI
 
 
- 
 public class ABDI extends AABDI 
- 
- 
Nested Class SummaryNested Classes Modifier and Type Class Description classABDI.Cnt1GoalclassABDI.Cnt2Goal
 - 
Field SummaryFields Modifier and Type Field Description protected IInternalAccessagentprotected intnum2
 - 
Constructor SummaryConstructors Constructor Description ABDI()
 - 
Method SummaryAll Methods Instance Methods Concrete Methods Modifier and Type Method Description IFuture<java.lang.Void>body()intgetNum2()Get the num2.voidincNum2()voidsetNum2(int num2)Set the num2.
 
- 
- 
- 
Field Detail- 
agentprotected IInternalAccess agent 
 - 
num2protected int num2 
 
- 
 - 
Method Detail- 
bodypublic IFuture<java.lang.Void> body() 
 - 
getNum2public int getNum2() Get the num2.- Returns:
- The num2.
 
 - 
setNum2public void setNum2(int num2) Set the num2.- Parameters:
- num2- The num2 to set.
 
 - 
incNum2public void incNum2() 
 
- 
 
-