Class ABDI
- java.lang.Object
-
- jadex.bdiv3.testcases.semiautomatic.AABDI
-
- jadex.bdiv3.testcases.semiautomatic.ABDI
-
public class ABDI extends AABDI
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description class
ABDI.Cnt1Goal
class
ABDI.Cnt2Goal
-
Field Summary
Fields Modifier and Type Field Description protected IInternalAccess
agent
protected int
num2
-
Constructor Summary
Constructors Constructor Description ABDI()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description IFuture<java.lang.Void>
body()
int
getNum2()
Get the num2.void
incNum2()
void
setNum2(int num2)
Set the num2.
-
-
-
Field Detail
-
agent
protected IInternalAccess agent
-
num2
protected int num2
-
-
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()
-
-