Function Parameters List at time s

function parameters that are defined in the function definition

Format:

Parameters List at time s

Input:

Output:

Conditional properties that reference this function:

• if the following are true:

  • expression state at time t = "call_function_begin"
  • the expression at time t = function call with name: name and arguments: args
  • there is a function named name with parameters params at line line

  then Parameters List at time (t + 1) = params

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ var, frest ]

  then the line at time (t + 1) = the line at time t

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ var, frest ]

  then the tab at time (t + 1) = the tab at time t

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ var, frest ]
  • Argument Values at time t = [ value, vrest ]

  then Function Variables Map at time (t + 1) = result of storing value at key: var in map: (Function Variables Map at time t)

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ var, frest ]
  • Argument Values at time t = [ value, vrest ]

  then Parameters List at time (t + 1) = frest

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ var, frest ]
  • Argument Values at time t = [ value, vrest ]

  then Argument Values at time (t + 1) = vrest

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ var, frest ]
  • Argument Values at time t = [ value, vrest ]

  then expression state at time (t + 1) = "call_build_args"

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ var, frest ]
  • Argument Values at time t = [ value, vrest ]

  then Variables Map at time (t + 1) = Variables Map at time t

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ var, frest ]
  • Argument Values at time t = [ value, vrest ]

  then stack at time (t + 1) = stack at time t

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ var, frest ]
  • Argument Values at time t = [ value, vrest ]

  then Python Object Store at time (t + 1) = Python Object Store at time t

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ var, frest ]
  • Argument Values at time t = [ value, vrest ]

  then Control Map at time (t + 1) = Control Map at time t

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]

  then expression state at time (t + 1) = "not_expr"

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]

  then Python Object Store at time (t + 1) = Python Object Store at time t

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]

  then Variables Map at time (t + 1) = Function Variables Map at time t

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]

  then the tab at time (t + 1) = 1

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]

  then stack at time (t + 1) = [ program context with variables: (Variables Map at time t) and expression state: (expression state with parent stack: (parent stack at time t) arguments: (arguments stack at time t) values: (Value Stack at time t) line: (the line at time t) tab: (the tab at time t)) and control map: (Control Map at time t), stack at time t ]

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • the expression at time t = function call with name: name and arguments: args
  • there is a function named name with parameters params at line line

  then the line at time (t + 1) = line + 1

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • the expression at time t = function call with name: name and arguments: args
  • there is a function named name with parameters params at line line

  then Control Map at time (t + 1) = [ entry 0: (pair ("function", name)), [ ] ]

  (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 ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params

  then Parameters List at time (t + 1) = params

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • 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 ]
  • line number of method method_name of class class_name in (Class Map at time t) = line

  then the line at time (t + 1) = line + 1

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • 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 ]
  • line number of method method_name of class class_name in (Class Map at time t) = line

  then the tab at time (t + 1) = 2

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • 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 ]
  • line number of method method_name of class class_name in (Class Map at time t) = line

  then Control Map at time (t + 1) = [ entry 0: (pair ("class", class_name)), [ entry 1: (pair ("method", method_name)), [ ] ] ]

  (link)

• if the following are true:

  • expression state at time t = "call_function_begin"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is "__init__" = params

  then Parameters List at time (t + 1) = params

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ self, p_rest ]

  then Function Variables Map at time (t + 1) = [ entry self: (Python reference (length of stack (Python Object Store at time t))), [ ] ]

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ self, p_rest ]

  then Python Object Store at time (t + 1) = result of appending (Python object: [ entry "__class_name__": class_name, [ ] ]) to (Python Object Store at time t)

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ self, p_rest ]

  then Parameters List at time (t + 1) = p_rest

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ self, p_rest ]

  then Argument Values at time (t + 1) = Argument Values at time t

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ self, p_rest ]

  then expression state at time (t + 1) = "call_build_args"

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ self, p_rest ]

  then Variables Map at time (t + 1) = Variables Map at time t

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ self, p_rest ]

  then stack at time (t + 1) = stack at time t

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ self, p_rest ]

  then Control Map at time (t + 1) = Control Map at time t

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • line number of method "__init__" of class class_name in (Class Map at time t) = line

  then the line at time (t + 1) = line + 1

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • line number of method "__init__" of class class_name in (Class Map at time t) = line

  then the tab at time (t + 1) = 2

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • line number of method "__init__" of class class_name in (Class Map at time t) = line

  then Control Map at time (t + 1) = [ entry 0: (pair ("class", class_name)), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

  (link)

Comments

Please log in to add comments