Getters on if then else branchs. More...

Functions
expression *	instruction_if_then_else_get_condition (instruction *instr)
	Get a branch's condition. More...

instruction_list *	instruction_if_then_else_get_false_body (instruction *instr)
	Get a branch's true body. More...

bool	instruction_if_then_else_get_has_else (instruction *instr)
	Get a branch's if_then_else::has_else property. More...

instruction_list *	instruction_if_then_else_get_true_body (instruction *instr)
	Get a branch's true body. More...

Detailed Description

Getters on if then else branchs.

Function Documentation

expression * instruction_if_then_else_get_condition ( instruction * instr )

Parameters

instr Target instruction.

Precondition: instruction_get_type() returns INSTR_IF or INSTR_IF_ELSE if used on instr.

instruction_list * instruction_if_then_else_get_false_body ( instruction * instr )

Parameters

instr Target instruction.

Precondition: instruction_get_type() returns INSTR_IF or INSTR_IF_ELSE if used on instr.

bool instruction_if_then_else_get_has_else ( instruction * instr )

Parameters

instr Target instruction.

Return values

true	if there is a "false" body.
false	otherwise.

Precondition: instruction_get_type() returns INSTR_IF or INSTR_IF_ELSE if used on instr.

instruction_list * instruction_if_then_else_get_true_body ( instruction * instr )

Parameters

instr Target instruction.

Precondition: instruction_get_type() returns INSTR_IF or INSTR_IF_ELSE if used on instr.