Holds information about the instruction and the nesting depth to which a label points. More...

Public Member Functions
	stl_label_locationt (size_t nesting_depth, bool jumps_permitted, bool fc_false_required)
	Constructs a new location with the specified properties.

Public Attributes
const size_t	nesting_depth
	The size of the nesting stack at the label location, used for checking scope violations.

const bool	jumps_permitted
	States if jumps to this location are permitted or if the location is invalid.

const bool	fc_false_required
	States if jump instructions to this location need to set the /FC bit to false.

Detailed Description

Holds information about the instruction and the nesting depth to which a label points.

Constructor & Destructor Documentation

statement_list_typecheckt::stl_label_locationt::stl_label_locationt	(	size_t	nesting_depth,
		bool	jumps_permitted,
		bool	fc_false_required
	)

Constructs a new location with the specified properties.

Parameters

nesting_depth	Scope of the label.
jumps_permitted	States whether jumps to the label are possible in general.
fc_false_required	States whether a jump instruction to this label needs to set the /FC bit.