Package de.uzl.its.swat.instrument.svcomp

Class SVCompMethodAdapter

java.lang.Object

org.objectweb.asm.MethodVisitor

org.objectweb.asm.commons.LocalVariablesSorter

de.uzl.its.swat.instrument.svcomp.SVCompMethodAdapter

public class SVCompMethodAdapter
extends org.objectweb.asm.commons.LocalVariablesSorter

A visitor to visit a Java method

Field Summary

Fields inherited from class org.objectweb.asm.commons.LocalVariablesSorter

firstLocal, nextLocal

Fields inherited from class org.objectweb.asm.MethodVisitor

api, mv

Constructor Summary

Constructors

Constructor	Description
SVCompMethodAdapter(int access, org.objectweb.asm.MethodVisitor mv, String cname, String name, String desc)	Constructor that calls the super from the default MethodVisitor

Method Summary

Modifier and Type	Method	Description
void	visitLineNumber(int line, org.objectweb.asm.Label start)
void	visitMethodInsn(int opcode, String owner, String name, String descriptor, boolean isInterface)

Methods inherited from class org.objectweb.asm.commons.LocalVariablesSorter

newLocal, newLocalMapping, setLocalType, updateNewLocals, visitFrame, visitIincInsn, visitLocalVariable, visitLocalVariableAnnotation, visitMaxs, visitVarInsn

Methods inherited from class org.objectweb.asm.MethodVisitor

getDelegate, visitAnnotableParameterCount, visitAnnotation, visitAnnotationDefault, visitAttribute, visitCode, visitEnd, visitFieldInsn, visitInsn, visitInsnAnnotation, visitIntInsn, visitInvokeDynamicInsn, visitJumpInsn, visitLabel, visitLdcInsn, visitLookupSwitchInsn, visitMethodInsn, visitMultiANewArrayInsn, visitParameter, visitParameterAnnotation, visitTableSwitchInsn, visitTryCatchAnnotation, visitTryCatchBlock, visitTypeAnnotation, visitTypeInsn

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SVCompMethodAdapter

public SVCompMethodAdapter(int access,
 org.objectweb.asm.MethodVisitor mv,
 String cname,
 String name,
 String desc)

Constructor that calls the super from the default MethodVisitor

Parameters:

mv - Parent MethodVisitor

name - The method name

desc - A string description of the parameters of the method

Method Details

visitLineNumber

public void visitLineNumber(int line,
 org.objectweb.asm.Label start)

Overrides:

visitLineNumber in class org.objectweb.asm.MethodVisitor

visitMethodInsn

public void visitMethodInsn(int opcode,
 String owner,
 String name,
 String descriptor,
 boolean isInterface)

Overrides:

visitMethodInsn in class org.objectweb.asm.MethodVisitor