Function there is a function named name with parameters params at line line

there is a function named name with parameters params at line line

Format:

there is a function named name with parameters params at line line

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 = [ ]
  • 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:
  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = function definition where name: name and parameters: params

  then there is a function named name with parameters params at line line

  (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 Parameters List at time (t + 1) = params

  (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)
• 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 Function Variables Map at time (t + 1) = [ ]

  (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 Value Stack at time (t + 1) = v_rest

  (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 Expression Stack at time (t + 1) = Expression Stack at time t

  (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 Variables Map at time (t + 1) = Variables Map at time t

  (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 Control Map at time (t + 1) = Control Map at time t

  (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 Python Object Store at time (t + 1) = Python Object Store at time t

  (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 Context Stack at time (t + 1) = Context Stack at time t

  (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 the line at time (t + 1) = the line at time t

  (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 the tab at time (t + 1) = the tab at time t

  (link)
• if the following are true:
  • Parameters List at time t = [ ]
  • Expression Stack at time t = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
  • 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:
  • Parameters List at time t = [ ]
  • Expression Stack at time t = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
  • 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:
  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = function definition where name: name and parameters: params

  then there is a function named name with parameters params at line line

  (link)

Comments

Please log in to add comments