Holds information about the properties of a jump instruction. More...

Public Member Functions
	stl_jump_locationt (size_t nesting_depth, bool sets_fc_false)
	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	sets_fc_false
	States if the jump instruction sets the /FC bit to false.

Detailed Description

Holds information about the properties of a jump instruction.

Constructor & Destructor Documentation

statement_list_typecheckt::stl_jump_locationt::stl_jump_locationt	(	size_t	nesting_depth,
		bool	sets_fc_false
	)

Constructs a new location with the specified properties.

Parameters

nesting_depth	Scope of the jump instruction.
sets_fc_false	States whether the jump instruction modifies the /FC bit.

const size_t statement_list_typecheckt::stl_jump_locationt::nesting_depth

The size of the nesting stack at the label location, used for checking scope violations.

const bool statement_list_typecheckt::stl_jump_locationt::sets_fc_false

States if the jump instruction sets the /FC bit to false.

The documentation for this struct was generated from the following files: