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

Class CharacterInvocation

java.lang.Object

de.uzl.its.swat.symbolic.invoke.CharacterInvocation

public class CharacterInvocation
extends Object

Constructor Summary

Constructors

Constructor	Description
CharacterInvocation()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

CharacterInvocation

public CharacterInvocation()

Method Details

invokeMethod

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