accrue.analysis.defuse

Class DefUseLibrarySignature.Join

java.lang.Object

accrue.analysis.interprocvarcontext.LibrarySignature<VarContext<DefUseAbsVal>,DefUseAbsVal>

accrue.analysis.defuse.DefUseLibrarySignature

accrue.analysis.defuse.DefUseLibrarySignature.Join

Enclosing class:

DefUseLibrarySignature

public static final class DefUseLibrarySignature.Join
extends DefUseLibrarySignature

Nested Class Summary

Nested classes/interfaces inherited from class accrue.analysis.defuse.DefUseLibrarySignature

DefUseLibrarySignature.DEF_ARG, DefUseLibrarySignature.DEF_HIDDEN, DefUseLibrarySignature.Join, DefUseLibrarySignature.USE_DEF_HIDDEN, DefUseLibrarySignature.USE_DEF_USEARG_HIDDEN, DefUseLibrarySignature.USE_HIDDEN

Field Summary

Fields inherited from class accrue.analysis.defuse.DefUseLibrarySignature

arg_defs, arg_uses, CLOCK, global_defs, global_uses, HIDDEN, NEWALLOC, NOOP, receiver_defs, receiver_uses, returns_newalloc, USES_CLOCK, uses_defs

Constructor Summary

Constructors

Constructor and Description
DefUseLibrarySignature.Join(DefUseLibrarySignature left, DefUseLibrarySignature right)

Method Summary

Methods inherited from class accrue.analysis.defuse.DefUseLibrarySignature

addDefs, addExceptions, addResults, join, List, process, processDefs, processUses, PSEUDOLOC

Methods inherited from class accrue.analysis.interprocvarcontext.LibrarySignature

makeFinalVarContext, process

Methods inherited from class java.lang.Object

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

Constructor Detail

DefUseLibrarySignature.Join

public DefUseLibrarySignature.Join(DefUseLibrarySignature left,
                           DefUseLibrarySignature right)