public interface Marker
Basic interface that every marker has to implement. Marker should return list of shadows that are marks for particular method.
There is a list of already prepared markers that select various regions in scoped methods.
AfterInitBodyMarker
BasicBlockMarker
BodyMarker
BytcodeMarker
EmptyMarker
ExceptionHandlerMarker
InsnNodeMarker - experimental
NewObjMarker - experimental
PreciseBasicBlockMarker
StrictBytecodeMarker
TryClauseMarker
It's also possible to implement and use custom markers. This interface might be implemented directly or following abstract markers might be used.
AbstractMarker
AbstractDWRMarker
AbstractInsnMarker
Modifier and Type | Method and Description |
---|---|
java.util.List<Shadow> |
mark(org.objectweb.asm.tree.ClassNode classNode,
org.objectweb.asm.tree.MethodNode methodNode,
ch.usi.dag.disl.snippet.Snippet snippet)
Returns shadows for the marked method.
|
java.util.List<Shadow> mark(org.objectweb.asm.tree.ClassNode classNode, org.objectweb.asm.tree.MethodNode methodNode, ch.usi.dag.disl.snippet.Snippet snippet) throws ch.usi.dag.disl.exception.MarkerException
Returns shadows for the marked method.
classNode
- represents class being markedmethodNode
- represents method being markedsnippet
- snippet defining the markerch.usi.dag.disl.exception.MarkerException