Package de.uzl.its.swat.symbolic.invoke

Class InternalInvocation

java.lang.Object

de.uzl.its.swat.symbolic.invoke.InternalInvocation

public class InternalInvocation
extends Object

Constructor Summary

Constructors

Constructor	Description
InternalInvocation()

Method Summary

Modifier and Type	Method	Description
static Value<?,?>	invokeMethod(String name, Value<?,?>[] args, org.objectweb.asm.Type[] types, SymbolicTraceHandler symbolicStateHandler)

Methods inherited from class java.lang.Object

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

Constructor Details

InternalInvocation

public InternalInvocation()

Method Details

invokeMethod

public static Value<?,?> invokeMethod(String name,
 Value<?,?>[] args,
 org.objectweb.asm.Type[] types,
 SymbolicTraceHandler symbolicStateHandler)