Package pascal.taie.ir.exp

Class MethodHandle

java.lang.Object

pascal.taie.ir.exp.MethodHandle

All Implemented Interfaces:

Serializable, Exp, Literal, ReferenceLiteral, RValue

public class MethodHandle
extends Object
implements ReferenceLiteral

Representation of java.lang.invoke.MethodHandle instances. A method handle is a typed, directly executable reference to an underlying method, constructor, field or similar low-level operation. See https://docs.oracle.com/javase/7/docs/api/java/lang/invoke/MethodHandle.html for more details.

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	MethodHandle.Kind

Method Summary

Modifier and Type	Method	Description
<T> T	accept(ExpVisitor<T> visitor)
boolean	equals(Object o)
static MethodHandle	get(MethodHandle.Kind kind, MemberRef memberRef)
FieldRef	getFieldRef()
MethodHandle.Kind	getKind()
MethodRef	getMethodRef()
ClassType	getType()
int	hashCode()
boolean	isFieldRef()
boolean	isMethodRef()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface pascal.taie.ir.exp.Exp

getUses

Method Details

get

public static MethodHandle get(MethodHandle.Kind kind,
 MemberRef memberRef)

getKind

public MethodHandle.Kind getKind()

isMethodRef

public boolean isMethodRef()

getMethodRef

public MethodRef getMethodRef()

isFieldRef

public boolean isFieldRef()

getFieldRef

public FieldRef getFieldRef()

getType

public ClassType getType()

Specified by:

getType in interface Exp

Specified by:

getType in interface ReferenceLiteral

Returns:

type of this expression.

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

accept

public <T> T accept(ExpVisitor<T> visitor)

Specified by:

accept in interface Exp