gov.nasa.jpf.util

Class Invocation

java.lang.Object

gov.nasa.jpf.util.Invocation

public class Invocation
extends java.lang.Object

a record that includes all information to perform a call

Constructor Summary

Constructors

Constructor and Description
Invocation(MethodInfo mi, java.lang.Object[] args, java.lang.Object[] attrs)

Method Summary

Modifier and Type	Method and Description
java.lang.Object[]	getArguments()
java.lang.String[]	getArgumentTypeNames()
java.lang.String	getArgumentValueLiteral(java.lang.Object a)
java.lang.Object[]	getAttrs()
java.lang.Object[]	getExplicitArguments()
MethodInfo	getMethodInfo()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Invocation

public Invocation(MethodInfo mi,
                  java.lang.Object[] args,
                  java.lang.Object[] attrs)

Method Detail

getMethodInfo

public MethodInfo getMethodInfo()

getExplicitArguments

public java.lang.Object[] getExplicitArguments()

getArgumentTypeNames

public java.lang.String[] getArgumentTypeNames()

getArgumentValueLiteral

public java.lang.String getArgumentValueLiteral(java.lang.Object a)

getArguments

public java.lang.Object[] getArguments()

getAttrs

public java.lang.Object[] getAttrs()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object