joeq.Compiler
Class CompilationState.StaticCompilation

java.lang.Object
  joeq.Compiler.CompilationState
      joeq.Compiler.CompilationState.StaticCompilation

All Implemented Interfaces:

CompilationConstants

Enclosing class:

CompilationState

public static class CompilationState.StaticCompilation
extends CompilationState

Nested Class Summary

Nested classes/interfaces inherited from class joeq.Compiler.CompilationState

CompilationState.BootstrapCompilation, CompilationState.DynamicCompilation, CompilationState.StaticCompilation

Field Summary

static boolean

ASSUME_CORRECT_EXCEPTIONS Assume jq_Method.getThrownExceptions() returns correct information

Fields inherited from class joeq.Compiler.CompilationState

DEFAULT, VerifyAssertions

Fields inherited from interface joeq.Compiler.CompilationConstants

MAYBE, NO, YES

Constructor Summary

CompilationState.StaticCompilation()

Method Summary

byte	declaresInterface(jq_Class klass, Collection interfaces)
jq_Type	findCommonSuperclass(jq_Type t1, jq_Type t2)
jq_Type	getOrCreateType(Utf8 desc)
List.jq_Class	getThrownExceptions(Quad q)
byte	implementsInterface(jq_Class klass, jq_Class inter)
byte	isSubtype(jq_Type t1, jq_Type t2)
boolean	needsDynamicLink(jq_Method method, jq_Member member)
boolean	needsDynamicLink(jq_Method method, jq_Type type)
jq_Member	resolve(jq_Member m)
jq_Member	tryResolve(jq_Member m)

Methods inherited from class java.lang.Object

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

Field Detail

ASSUME_CORRECT_EXCEPTIONS

public static boolean ASSUME_CORRECT_EXCEPTIONS

Assume jq_Method.getThrownExceptions() returns correct information

Constructor Detail

CompilationState.StaticCompilation

public CompilationState.StaticCompilation()

Method Detail

needsDynamicLink

public boolean needsDynamicLink(jq_Method method,
                                jq_Member member)

Specified by:

needsDynamicLink in class CompilationState

needsDynamicLink

public boolean needsDynamicLink(jq_Method method,
                                jq_Type type)

Specified by:

needsDynamicLink in class CompilationState

tryResolve

public jq_Member tryResolve(jq_Member m)

Specified by:

tryResolve in class CompilationState

resolve

public jq_Member resolve(jq_Member m)

Specified by:

resolve in class CompilationState

isSubtype

public byte isSubtype(jq_Type t1,
                      jq_Type t2)

Specified by:

isSubtype in class CompilationState

findCommonSuperclass

public jq_Type findCommonSuperclass(jq_Type t1,
                                    jq_Type t2)

Specified by:

findCommonSuperclass in class CompilationState

declaresInterface

public byte declaresInterface(jq_Class klass,
                              Collection interfaces)

Specified by:

declaresInterface in class CompilationState

implementsInterface

public byte implementsInterface(jq_Class klass,
                                jq_Class inter)

Specified by:

implementsInterface in class CompilationState

getOrCreateType

public jq_Type getOrCreateType(Utf8 desc)

Specified by:

getOrCreateType in class CompilationState

getThrownExceptions

public List.jq_Class getThrownExceptions(Quad q)

Overrides:

getThrownExceptions in class CompilationState