org.evosuite.symbolic.vm

Class MethodFrame

java.lang.Object

org.evosuite.symbolic.vm.Frame

org.evosuite.symbolic.vm.MethodFrame

public final class MethodFrame
extends Frame

Frame for a method invocation

Author:

csallner@uta.edu (Christoph Csallner)

Field Summary

Fields inherited from class org.evosuite.symbolic.vm.Frame

operandStack

Method Summary

Modifier and Type	Method and Description
Member	getMember()
int	getNrFormalParameters() Without the "this" receiver instance parameter
int	getNrFormalParametersTotal()

Methods inherited from class org.evosuite.symbolic.vm.Frame

invokeInstrumentedCode, toString

Methods inherited from class java.lang.Object

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

Method Detail

getNrFormalParameters

public int getNrFormalParameters()

Description copied from class: Frame

Without the "this" receiver instance parameter

Specified by:

getNrFormalParameters in class Frame

getNrFormalParametersTotal

public int getNrFormalParametersTotal()

Specified by:

getNrFormalParametersTotal in class Frame

getMember

public Member getMember()

Specified by:

getMember in class Frame