Invocation (JPF API)

```
public class Invocation
extends Object
```
a record that includes all information to perform a call

Constructors
Constructor and Description
`Invocation(MethodInfo mi, Object[] args, Object[] attrs)`

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

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

public Object[] getExplicitArguments()

public String[] getArgumentTypeNames()

public String getArgumentValueLiteral(Object a)

Class Invocation