top_left_banner  SimCon logo


fpt - Example Report: Symbol Lives

The same variable may be used to store two or more different and independent data during a program run. These independent objects are referred to as symbol lives. Please see the SHOW LIVES command in the fpt_reference manual, or the paper Farrimond B.T and Collins J. 2007, "Dimensional Inference Using Symbol Lives" for a detailed description. The report shows the separate lives of each numeric or logical variable.

The fpt command to generate the report is:

SHOW LIVES

Symbol Lives ============ ------------------------------------------------------------------------------- Symbol: FILE_NAME ================= Name Sub-prog/Struct Use/COMMON Address Type Size Value/Bounds ---- --------------- ---------- ------- ---- ---- ------------ FILE_NAME HTPRP Local CHARACTER *128 Lives ===== ------------------------------------------------------------------------------- Symbol: I ========= Name Sub-prog/Struct Use/COMMON Address Type Size Value/Bounds ---- --------------- ---------- ------- ---- ---- ------------ I HTPRP Local INTEGER *4 Lives ===== Life: 1 ------- Assignments: 1 Read accesses: 9 Units: Undetermined Assignments: ------------ Line: 58, File: l:\htprp\htprp.for DO I=1,LEN(FILE_NAME) Life: 2 ------- Assignments: 1 Read accesses: 2 Units: Undetermined Assignments: ------------ Line: 65, File: l:\htprp\htprp.for C I=INDEX(FILE_NAME,'.htprp ') Life: 3 ------- Assignments: 1 Read accesses: 4 Units: Undetermined Assignments: ------------ Line: 96, File: l:\htprp\htprp.for READ (LUN_CURRENT,'(Q,A)',END =1900)I,TEXT Life: 4 ------- Assignments: 1 Read accesses: 2 Units: Undetermined Assignments: ------------ Line: 138, File: l:\htprp\htprp.for DO I=LUN_CURRENT,LUN_INPUT+1,-1 Life: 5 ------- Assignments: 1 Read accesses: 3 Units: Undetermined Assignments: ------------ Line: 146, File: l:\htprp\htprp.for READ (LUN_CURRENT,'(Q,A)',END =4000)I,TEXT ------------------------------------------------------------------------------- Symbol: J ========= Name Sub-prog/Struct Use/COMMON Address Type Size Value/Bounds ---- --------------- ---------- ------- ---- ---- ------------ J HTPRP Local INTEGER *4 Lives ===== Life: 1 ------- Assignments: 1 Read accesses: 1 Units: Undetermined Assignments: ------------ Line: 108, File: l:\htprp\htprp.for READ (LUN_OUTPUT,'(Q,A)',END =2000)J,OLD_TEXT ------------------------------------------------------------------------------- Symbol: LUN_CURRENT =================== Name Sub-prog/Struct Use/COMMON Address Type Size Value/Bounds ---- --------------- ---------- ------- ---- ---- ------------ LUN_CURRENT HTPRP Local INTEGER *4 Lives ===== Life: 1 ------- Assignments: 3 Read accesses: 8 Units: Undetermined Assignments: ------------ Line: 90, File: l:\htprp\htprp.for LUN_CURRENT=LUN_INPUT Line: 127, File: l:\htprp\htprp.for LUN_CURRENT=LUN_CURRENT-1 Line: 100, File: l:\htprp\htprp.for LUN_CURRENT=LUN_CURRENT+1 Life: 2 ------- Assignments: 3 Read accesses: 7 Units: Undetermined Assignments: ------------ Line: 150, File: l:\htprp\htprp.for LUN_CURRENT=LUN_CURRENT+1 Line: 191, File: l:\htprp\htprp.for LUN_CURRENT=LUN_CURRENT-1 Line: 141, File: l:\htprp\htprp.for LUN_CURRENT=LUN_INPUT *******************************************************************************

Copyright ©1995 to 2024 Software Validation Ltd. All rights reserved.