if the following are true:

• definition of method method_name of class class_name in class_defs = method_map
• value at "line" in map method_map = line

then line number of method method_name of class class_name in class_defs = line