Function Get first key from entries
Get first key from entries
Format:
Get first key from entries
Input:
Output:
Properties that reference this function:
Conditional properties that reference this function:
if the following are true:
- Get first key from (the element at index i of stack stmts) < j
- the element at index 0 of stack (value at (j - 1) in map control) = "if"
then result of executing a Python program where statements is stmts, line is i, tab isj, expression stack ises, values stack isvals, variables isvars, and control map iscontrol = result of executing a Python program where statements is stmts, line is i, tab is(j - 1), expression stack ises, values stack isvals, variables isvars, and control map iscontrol
(link)if Get first key from (the element at index i of stack stmts) > j, then result of executing a Python program where statements is stmts, line is i, tab isj, expression stack ises, values stack isvals, variables isvars, and control map iscontrol = result of executing a Python program where statements is stmts, line is (i + 1), tab isj, expression stack ises, values stack isvals, variables isvars, and control map iscontrol
(link)if the following are true:
- Get first key from (the element at index i of stack stmts) < j
- the element at index 0 of stack (value at (j - 1) in map control) = "while"
then result of executing a Python program where statements is stmts, line is i, tab isj, expression stack ises, values stack isvals, variables isvars, and control map iscontrol = result of executing a Python program where statements is stmts, line is (the element at index 1 of stack (value at (j - 1) in map control)), tab is(j - 1), expression stack ises, values stack isvals, variables isvars, and control map iscontrol
(link)
Comments
Please log in to add comments