Fixed CoCoSpec mapping file not being generated during export.

fret-electron/model/FretModel.js

@@ -35,7 +35,7 @@ import {leveldbDB, modelDB, system_DBkeys} from '../app/main.dev'
 import {removeVariablesInBulk, removeVariables } from './modelDbSupport/deleteVariables_main'
 import {removeReqsInBulk} from './fretDbSupport/deleteRequirements_main'
 import { app, dialog} from 'electron'
-import {getContractInfo, getPropertyInfo, getDelayInfo,
+import {getContractInfo, getPropertyInfo, getDelayInfo, getMappingInfo,
   synchFRETvariables} from './modelDbSupport/variableMappingSupports'
 //import FretSemantics from './../app/parser/FretSemantics'
 import {export_to_md} from "../app/utils/utilityFunctions";

fret-electron/model/modelDbSupport/variableMappingSupports.js

@@ -39,6 +39,7 @@ export {
     getContractInfo as getContractInfo,
     getPropertyInfo as getPropertyInfo,
     getDelayInfo as getDelayInfo,
+    getMappingInfo as getMappingInfo,
     synchFRETvariables as synchFRETvariables,
     variableIdentifierReplacement as variableIdentifierReplacement
   }
@@ -166,6 +167,32 @@ async function  synchModelVariablesAndComponents(componentModel,selectedProject)
     return delays;
   }
 
+  function getMappingInfo(result, contractName) {
+    var mapping = {};
+    var componentMapping = {};
+    var componentInputs = [];
+    var componentOutputs = [];
+    componentMapping.contract_name = contractName;
+    componentMapping.model_path = '';
+    result.docs.forEach(function(doc){
+      if (doc.idType === 'Input' || doc.idType === 'Output'){
+        if (componentMapping.model_path === ''){
+          componentMapping.model_path = doc.modelComponent;
+        }
+        var variable = {};
+        //Variable name in FRETish
+        variable.variable_name = utils.replace_special_chars(doc.variable_name);
+        //Signal path in Simulink model
+        variable.variable_path = componentMapping.model_path+'/'+doc.modeldoc_id;
+        (doc.idType === 'Input') ? componentInputs.push(variable) : componentOutputs.push(variable);
+      }
+    })
+    componentMapping.Inputs = componentInputs;
+    componentMapping.Outputs = componentOutputs;
+    mapping[contractName] = componentMapping;
+    return mapping;
+  }
+
   function getContractInfo(result) {
     function getCoCoSpecDataType(dataType){
       if (dataType === 'boolean'){