Function Reversing a List

reverse x

Format:

reverse of x

Input:

list x -

Output:

list - None

Properties that reference this function:

reverse of s = result of dumping s to [ ] (Reverse by Dumping)
reverse of xs = reverse of remaining stack xs and already reversed stack [ ] (Reverse List (4))
result of appending y to xs = reverse of [ y, reverse of xs ] (Appending to a List Property)
remaining elements after [ x, xs ] is popped at index 0 and visited stack is ys = reverse of (result of dumping xs to ys) (Pop Index End)
stack after popping a value from stack xs at index idx = reverse of (stack after popping a value from stack xs at index idx in traversed elements: [ ]) (Pop At List)
output of function store_compute where input key is key, value is value, map is [ ], and processed map is kvs = reverse of [ entry key: value, kvs ] (Set Key Value Add)
output of function delete_entry where input key is key, map is [ ], and processed is kvs = reverse of kvs (Delete Key Property 4)
get subtower map[ ] = reverse of result (Get Subtower List)
output of the merge_stacks function where input stacks are [ ] and [ ], and merged stack is result = reverse of result (merge stacks finished)

Conditional properties that reference this function:

  • if the following are true:
    • Expression Stack at time t = [ [ ], [ [ Python list elements, ys ], rest ] ]
    • Value Stack at time t = [ values, [ next_level, other_levels ] ]

    then Python Object Store at time (t + 1) = result of appending (Python list (reverse of values)) to (Python Object Store at time t)

    (link)
  • if the following are true:
    • Expression Stack at time t = [ [ ], [ [ Python dictionary entries, ys ], rest ] ]
    • Value Stack at time t = [ values, [ next_level, other_levels ] ]

    then Python Object Store at time (t + 1) = result of appending (Python dictionary (reverse of values)) to (Python Object Store at time t)

    (link)
  • if the following are true:
    • Expression Stack at time t = [ [ ], [ [ obj_name.method_name(args), ys ], rest ] ]
    • value at obj_name in map (Variables Map at time t) = Python reference index
    • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
    • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params
    • Parameters List at time t = None
    • Value Stack at time t = [ values, v_stack ]

    then Argument Values at time (t + 1) = [ Python reference index, reverse of values ]

    (link)
  • if the following are true:
    • Expression Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
    • Value Stack at time t = [ evaluated, stack ]
    • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is "__init__" = params
    • Parameters List at time t = None

    then Argument Values at time (t + 1) = reverse of evaluated

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • Value Stack at time t = [ values, stack ]
    • the expression at time t = function call with name: name and arguments: args

    then Argument Values at time (t + 1) = reverse of values

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • Value Stack at time t = [ values, stack ]
    • the expression at time t = Python list elements

    then Python Object Store at time (t + 1) = result of appending (Python list (reverse of values)) to (Python Object Store at time t)

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • the expression at time t = obj_name.method_name(args)
    • value at obj_name in map (Variables Map at time t) = Python reference index
    • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
    • Value Stack at time t = [ values, v_stack ]
    • definition of method method_name of class class_name in (Class Map at time t) = method_map

    then Argument Values at time (t + 1) = [ Python reference index, reverse of values ]

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • Value Stack at time t = [ values, stack ]
    • the expression at time t = Python dictionary elements

    then Python Object Store at time (t + 1) = result of appending (Python dictionary (reverse of values)) to (Python Object Store at time t)

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • Value Stack at time t = [ evaluated, stack ]
    • the expression at time t = Python constructor with name: class_name and arguments: args

    then Argument Values at time (t + 1) = reverse of evaluated

    (link)
  • if the following are true:
    • Expression Stack at time t = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
    • Value Stack at time t = [ values, v_rest ]
    • there is a function named name with parameters params at line line
    • Parameters List at time t = None

    then Argument Values at time (t + 1) = reverse of values

    (link)


Comments

Please log in to add comments