IfInstruction.first_true_instruction()

first_true_instruction() → Instruction

The function returns the first instruction for the true-case scenario of the if-statement

Query Example

for the function:

function transfer(address _to, uint256 _amount) returns (bool success) 
     {
        if (_to == 0x0) throw;

        if (balances[msg.sender] >= _amount && _amount > 0 && balances[_to] + _amount > balances[_to]) 
        {
            balances[msg.sender] -= _amount;
            balances[_to] += _amount;
            Transfer(msg.sender, _to, _amount);
            return true;
         } 
         else 
         {
            return false;
         }
     }

The query (exec numbers are tuned here to match that exact if-statement)

from glider import *

def query():
  instructionlist = Instructions().if_instructions().exec(1,1)
  
  first_true = instructionlist[0].first_true_instruction()

  return [first_true]

Output

The next_instruction() is not used as it will always return an empty list of instructions. This is because no instruction can be run after a return statement, and the next_instruction() is non-recursive (intra-procedural).