gov.nasa.jpf.vm

Class BootstrapMethodInfo

java.lang.Object

gov.nasa.jpf.vm.BootstrapMethodInfo

public class BootstrapMethodInfo
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
BootstrapMethodInfo(int lambdaRefKind, ClassInfo enclosingClass, MethodInfo lambdaBody, java.lang.String samDescriptor)

Method Summary

Modifier and Type	Method and Description
MethodInfo	getLambdaBody()
int	getLambdaRefKind()
java.lang.String	getSamDescriptor()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

BootstrapMethodInfo

public BootstrapMethodInfo(int lambdaRefKind,
                           ClassInfo enclosingClass,
                           MethodInfo lambdaBody,
                           java.lang.String samDescriptor)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getLambdaBody

public MethodInfo getLambdaBody()

getSamDescriptor

public java.lang.String getSamDescriptor()

getLambdaRefKind

public int getLambdaRefKind()