if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = a method named method_name with parameters params
• value at class_name in map (Class Map at time t) = class_map
• value at "methods" in map class_map = methods_map

then Class Map at time (t + 1) = result of storing (result of storing (result of storing [ entry "params": params, [ entry "line": i, [ ] ] ] at key: method_name in map: methods_map) at key: "methods" in map: class_map) at key: class_name in map: (Class Map at time t)