CtorFlow

Members

Functions

OR

void OR(CtorFlow ctorflow)

OR CSX bits to this

clone

CtorFlow clone()

Create a deep copy of this

orCSX

void orCSX(CSX csx)

Set CSX bits in flow analysis state

Variables

callSuper

CSX callSuper;

state of calling other constructors

fieldinit

FieldInit[] fieldinit;

state of field initializations

• mergeCallSuper
• mergeFieldInit

• CtorFlow
• FieldInit