[Statistic] Show analysis statistic on request.

Author: kaniandr

package.json

@@ -109,6 +109,11 @@
         "title": "TSAR Close session",
         "icon": "icons/close.svg"
       },
+      {
+        "command": "tsar.statistic",
+        "title": "Show project statistic",
+        "icon": "icons/analyze.svg"
+      },
       {
         "command": "tsar.analysis.check",
         "title": "TSAR Check User-defined Properties"
@@ -211,6 +216,11 @@
           "when": "view == tsar.loopTree && viewItem == project",
           "group": "inline"
         },
+        {
+          "command": "tsar.statistic",
+          "when": "view == tsar.loopTree && viewItem == project",
+          "group": "inline"
+        },
         {
           "command": "tsar.func.analyze",
           "when": "view == tsar.loopTree && viewItem == function",

src/calleeFunc.ts

@@ -205,6 +205,7 @@ export class CalleeFuncProvider extends ProjectWebviewProvider {
     let nodes = '';
     let edges = '';
     let edgeNumber = 0; // use to set id of a new edge
+    let numberOfCallees = 0, numberOfCalls = 0;
     let stmtNodes = []; // nodes for statements like goto, break, etc.
     info.CallGraph.forEach((callees, caller) => {
        let callerID = `${caller.ID}`;
@@ -217,6 +218,7 @@ export class CalleeFuncProvider extends ProjectWebviewProvider {
          }
          nodes += ',color: "darkorange"';
        } else {
+        ++numberOfCallees;
         let f = caller as msg.Function;
         nodes += `{id: '${callerID}', label: '${f.Name}'`;
         if (!f.User)
@@ -238,26 +240,31 @@ export class CalleeFuncProvider extends ProjectWebviewProvider {
          }
          edges += `{id: ${edgeNumber}, from: '${callerID}', to: '${calleeID}'`;
          // Add property to Go To a corresponding statement in a source code from webview.
-         if (callee.StartLocation.length > 0 &&
-             (!isFunction(caller) || caller.User)) {
-          edges += `,location: [`;
-          for (let loc of callee.StartLocation) {
-            let resolvedLoc = resolveLocation(project, loc);
-            let goto = encodeURI('command:tsar.open-project?' +
-              JSON.stringify(project.uri.with({
-                query: JSON.stringify(resolvedLoc)
-              })));
-            edges += `
-              {
-                Goto: '${goto}',
-                Filename: '${path.basename(resolvedLoc.Path)}',
-                Line: ${loc.Line},
-                Column: ${loc.Column}
-              },`;
-           }
-          // Remove last comma.
-          edges = edges.substr(0, edges.length - 1);
-          edges += ']';
+         if (!isFunction(caller) || caller.User) {
+          if (callee.StartLocation.length > 0) {
+            edges += `,location: [`;
+            for (let loc of callee.StartLocation) {
+              if (numberOfCalls >= 0)
+                ++numberOfCalls;
+              let resolvedLoc = resolveLocation(project, loc);
+              let goto = encodeURI('command:tsar.open-project?' +
+                JSON.stringify(project.uri.with({
+                  query: JSON.stringify(resolvedLoc)
+                })));
+              edges += `
+                {
+                  Goto: '${goto}',
+                  Filename: '${path.basename(resolvedLoc.Path)}',
+                  Line: ${loc.Line},
+                  Column: ${loc.Column}
+                },`;
+            }
+            // Remove last comma.
+            edges = edges.substr(0, edges.length - 1);
+            edges += ']';
+          } else {
+            numberOfCalls = -1;
+          }
         }
         edges += '},';
        }
@@ -294,6 +301,9 @@ export class CalleeFuncProvider extends ProjectWebviewProvider {
           <div class="container-fluid pt-4" style="height:100%">
             <h3>${this._title().replace('{0}', gotoTarget)}</h3>
             <h5>${subtitle}</h5>
+            <p>A total number of callees is ${numberOfCallees}.</p>
+            <p>A total number of calls from user-defined functions is
+               ${numberOfCalls < 0 ? 'unknown' : numberOfCalls}.</p>
             <div class="row" style="height:100%">
               <div class="col-9" style="height:100%">
                 <div id="callGraph" style="height:90%"}></div>

src/extension.ts

@@ -16,7 +16,7 @@ import * as lt from './loopTree';
 import * as at from './aliasTree';
 import * as msg from './messages';
 import {onReject} from './functions';
-import {ProjectEngine } from './project';
+import {ProjectEngine, Project } from './project';
 import {ProjectProvider} from './general';
 import {CalleeFuncProvider, CalleeFuncProviderState} from './calleeFunc';
 import * as t from './transformProvider';
@@ -141,6 +141,18 @@ export function activate(context: vscode.ExtensionContext) {
   ],engine, context.subscriptions);
   let stop = vscode.commands.registerCommand(
     'tsar.stop', (uri:vscode.Uri) => engine.stop(uri));
+  let statistic = vscode.commands.registerCommand(
+    'tsar.statistic', (data: vscode.Uri|Project) => {
+      let project = (data as Project).prjname !== undefined
+        ? data as Project
+        : engine.project(data as vscode.Uri);
+      let state = project.providerState(ProjectProvider.scheme);
+      let request = new msg.Statistic;
+      state.active = true;
+      project.focus = state;
+      project.send(request);
+    }
+  );
   let openProject = vscode.commands.registerCommand('tsar.open-project',
     (uri: vscode.Uri) => {
       let [docUri, query] = [uri, undefined];
@@ -186,5 +198,5 @@ export function activate(context: vscode.ExtensionContext) {
       project.focus = state;
       project.send(request);
     });
-  context.subscriptions.push(start, stop, openProject, showCalleeFunc);
+  context.subscriptions.push(start, stop, statistic, openProject, showCalleeFunc);
 }

src/general.ts

@@ -54,20 +54,23 @@ export class ProjectProvider extends ProjectWebviewProvider {
           <h3> ${this._title().replace('{0}', projectLink(project))} </h3>
           ${this._listOfFiles(stat.Files)}
           <p>
-            Analyzed files comprise ${numberHtml(stat.Functions)}
+            Analyzed files comprise
+            ${numberHtml(stat.UserFunctions)}
             ${commandLink(
               {
                 command: 'tsar.function.list',
                 project,
                 title: log.FunctionList.title.replace('{0}',path.basename(project.prjname)),
-                body: stat.Functions !== 1 ? 'functions' : 'function',
+                body: stat.Functions !== 1 ? 'user functions' : 'user function',
                 query: ''
               }
             )}
+            (${numberHtml(stat.Functions)} ${stat.Functions !== 1 ? 'functions' : 'function'} in total)
             with
             ${numberHtml(varCount)} ${varCount !== 1 ? 'variables' : 'variable'}${htmlVarNotAnalyzed}
             and
-              ${numberHtml(loopCount)} ${loopCount !== 1 ? 'loops' : 'loop'}${htmlLpNotAnalyzed}.
+              ${numberHtml(loopCount)} ${loopCount !== 1 ? 'loops' : 'loop'}${htmlLpNotAnalyzed}
+            including ${numberHtml(stat.ParallelLoops)} ${stat.ParallelLoops !== 1 ? 'loops' : 'loop'} without parallelization issues.
           </p>
           ${this._listOfTraits(stat)}
           <p>

src/messages.ts

@@ -171,6 +171,8 @@ export interface TraitStatistic {
 export class Statistic {
   Files: {string:number};
   Functions: number;
+  UserFunctions: number;
+  ParallelLoops: number;
   Loops: [number, number];
   Variables: [number, number];
   Traits: TraitStatistic;
@@ -477,6 +479,8 @@ export interface DiagnosticJSON extends MessageJSON {
  */
 export interface StatisticJSON extends MessageJSON {
   Functions: number;
+  UserFunctions: number;
+  ParallelLoops: number;
   Loops: {string:number};
   Variables: {string: number};
   Traits: TraitStatistic;