Class Verifier

java.lang.Object

com.strobel.reflection.emit.Verifier

final class Verifier
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static enum	Verifier.FrameType
private static final class	Verifier.GenericParameterResolver
private static final class	Verifier.GenericParameterScopeVerifier
(package private) static final class	Verifier.VerifierFrame

Field Summary

Fields

Modifier and Type	Field	Description
private static final Verifier.GenericParameterResolver	GENERIC_PARAMETER_RESOLVER
private static final String	VERIFY_LOCAL_VARIABLE_TYPES

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Verifier()

Method Summary

Modifier and Type	Method	Description
(package private) static String	typeVariableOutOfScopeError(Type<?> typeParameter, MemberInfo scope)
static void	verify(TypeBuilder<?> type)
static void	verify(FieldInfo field, MethodBuilder scope)
static void	verify(MethodBase method, MethodBuilder scope)

Methods inherited from class Object

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

Field Details

VERIFY_LOCAL_VARIABLE_TYPES

private static final String VERIFY_LOCAL_VARIABLE_TYPES

See Also:

• Constant Field Values

GENERIC_PARAMETER_RESOLVER

private static final Verifier.GenericParameterResolver GENERIC_PARAMETER_RESOLVER

Constructor Details

Verifier

private Verifier()

Method Details

verify

public static void verify(MethodBase method,
 MethodBuilder scope)

verify

public static void verify(FieldInfo field,
 MethodBuilder scope)

verify

public static void verify(TypeBuilder<?> type)

typeVariableOutOfScopeError

static String typeVariableOutOfScopeError(Type<?> typeParameter,
 MemberInfo scope)