Modifier and Type | Field and Description |
---|---|
KeYJavaType |
kjt |
int |
numMembers |
int |
numSelectedMembers |
String |
string |
IObserverFunction |
target |
public String string
public KeYJavaType kjt
public IObserverFunction target
public int numMembers
public int numSelectedMembers
public Entry(String string)