A Guide through the VyPR Analysis Environment

• Introduction
• Step 1: Selecting a Query
• Step 2: Selecting Function Calls
• Step 3: Selecting a Binding
• Step 4: Selecting a Sub-atom
• Step 5: Visualisation
• More Examples

On our way to determine the specific point in the code at which we want to observe the behaviour of a program run, we have selected the function, the calls of the function and a group of lines. We will base our analysis on this selection. However, this is not guaranteed to uniquely identify a statement in code that generated that generated data at runtime. Once a group of lines is selected, you then need to select a part of your query for which measurements were taken at runtime. Doing this will enable the web tool to show you the statements in code that were monitored at runtime to decide whether that part of your query held. The parts of your query that you select are called “atoms”. If an atom required data from multiple statements in code at runtime, you will be allowed to select individual parts of the atom, called the “sub-atoms”.