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

Class StaticInvocation

java.lang.Object

de.uzl.its.swat.symbolic.invoke.StaticInvocation

public final class StaticInvocation
extends Object

Constructor Summary

Constructors

Constructor	Description
StaticInvocation()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

StaticInvocation

public StaticInvocation()

Method Details

invokeMethod

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