EntryBlock

public final class EntryBlock extends Block

Special Block at the entry of a Unit.

Constructors

EntryBlock

public EntryBlock(SymbolTable symbolTable)

Creation, with the given “symbolTable” attached.

Methods

cite

public void cite()

Prints a short reference to this EntryBlock onto TapEnv.curOutputStream().

headTree

public Tree headTree()
Returns

the head Tree, which is the Unit’s header tree.

initializedLocalZones

public TapIntList initializedLocalZones()
Returns

The list of zones that are considered initialized upon the Unit’s entry.

maxEntryRank

public int maxEntryRank()
Returns

the maximum rank of the entries for this EntryBlock. This is probably the same as the number of present entry arrows. This is useful for Units with many entries e.g. namespaces defined by parts.

setInitializedLocalZones

public void setInitializedLocalZones(TapIntList initializedLocalZones)

The list of zones that are considered initialized upon the Unit’s entry.

toString

public String toString()