You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Given that class. In the generated model, the invocation of getData() in isEmpty() is considered as a call to a stub method getData().
The method getData() invoked in isEmpty() should be the one defined in the class, right ? OS : MacOS How I built the model with VerveineJ:
./verveinej.sh -o jexp.json -format json ../jexp/
The directory jexp has only one file: T.java
The text was updated successfully, but these errors were encountered:
LABSARI
changed the title
Invocation of a method within its class is considered as stub.
Invocation of a method within its class is considered as invocation of a stub method.
Sep 8, 2022
Given that class. In the generated model, the invocation of getData() in isEmpty() is considered as a call to a stub method getData().
The method getData() invoked in isEmpty() should be the one defined in the class, right ?
OS : MacOS
How I built the model with VerveineJ:
The directory jexp has only one file: T.java
The text was updated successfully, but these errors were encountered: