public class CheckpointAtEndOfMethod
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
protected java.util.List<Method> |
method |
| Constructor and Description |
|---|
CheckpointAtEndOfMethod() |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<Method> |
getMethod() |