CFG_Standard_Block

class CFG_Standard_Block (abstract, logical)

CFG_Standard_Block = neither entry nor exit. Note that subclasses distinguish how a block ends, and the Physical edge of the block is associated with that end.

Direct parents:

• inherits CFG_Block

Ancestor classes and implemented interfaces:

CFG_Block, Execution_Node, Logical_IR_Root

Direct child classes:

• subclass CFG_Single_Successor_Block

• subclass CFG_Catch_Block

• subclass CFG_Call_Block

• subclass CFG_Branch_Block

• subclass CFG_Unknown_Successor_Block

• subclass CFG_General_Suspend_Block

Field	Kind	Type	Description
Code	syntactic	list of class Instruction
Helpers	syntactic	list of class Helper_Variable
Start_Role	attribute	enum Cfg_Block_Start_Role	Provides an explanation why a new block was started. The Start_Physical edge provides details specific to the role. More details are documented on the individual role enumerators.
Start_Physical	semantic to physical	class Physical_IR_Root	Physical edge related to the block start; see Start_Role for the interpretation of this edge.
Parent (from Logical_IR_Root)	semantic	class Logical_IR_Root
Physical (from Logical_IR_Root)	semantic to physical	class Physical_IR_Root