Function is stmt an if statement
is stmt an if statement
Format:
is stmt an if statement
Input:
Output:
Properties that reference this function:
if expr:
an if statement = True (Python statement is if statement)Conditional properties that reference this function:
if is (value at j in map (the element at index i of stack stmts)) an if statement = True, then result of executing a Python program where statements is stmts, line is i, tab isj, expression stack is[ ], values stack isvals, variables isvars, and control map iscontrol = result of executing a Python program where statements is stmts, line is i, tab isj, expression stack is[ [ get expression from (value at j in map (the element at index i of stack stmts)), [ ] ], [ ] ], values stack is[ [ ], [ ] ], variables isvars, and control map iscontrol
(link)if is (value at j in map (the element at index i of stack stmts)) an if statement = True, then result of executing a Python program where statements is stmts, line is i, tab isj, expression stack is[ [ ], [ ] ], values stack is[ [ True, [ ] ], [ ] ], variables isvars, and control map iscontrol = result of executing a Python program where statements is stmts, line is (i + 1), tab is(j + 1), expression stack is[ ], values stack is[ ], variables isvars, and control map is(result of storing (pair ("if", True)) at key: j in map: control)
(link)if is (value at j in map (the element at index i of stack stmts)) an if statement = True, then result of executing a Python program where statements is stmts, line is i, tab isj, expression stack is[ [ ], [ ] ], values stack is[ [ False, [ ] ], [ ] ], variables isvars, and control map iscontrol = result of executing a Python program where statements is stmts, line is (i + 1), tab isj, expression stack is[ ], values stack is[ ], variables isvars, and control map is(result of storing (pair ("if", False)) at key: j in map: control)
(link)
Comments
Please log in to add comments