This commit is contained in:
Neil Dalchau 2021-08-24 15:49:24 +01:00
Родитель 2e587e26fa
Коммит 546e8c6725
88 изменённых файлов: 333 добавлений и 72 удалений

Просмотреть файл

@ -1 +1,4 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
// This file takes the place of the W# output, in cases where W# is not invoked (i.e. server mode). A file must exist, even if it's empty, so that Webpack can handle references properly.

3
CRNEngine/CRNEngineJSBench/Benchmark.d.ts поставляемый
Просмотреть файл

@ -1,3 +1,6 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
declare class BenchmarkResult {
Name: string;
Min: number;

Просмотреть файл

@ -1,4 +1,7 @@
class BenchmarkResult {
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
class BenchmarkResult {
constructor(public Name: string, public Min: number, public Max: number, public Mean: number, public Median: number, public StdDev: number, public SampleCount: number) { };
}

Просмотреть файл

@ -1,3 +1,6 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
declare var Microsoft: any;
declare var Benchmark: any;
declare var CVode: any;

Просмотреть файл

@ -1,4 +1,7 @@
var Microsoft: any;
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
var Microsoft: any;
var Benchmark: any;
var CVode: any;

3
CRNEngine/CRNEngineJSBench/Tests.d.ts поставляемый
Просмотреть файл

@ -1,3 +1,6 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
declare var Papa: any;
declare class Tests {
private static program_simulate_oslo_am;

Просмотреть файл

@ -1,4 +1,7 @@
// var Papa: any;
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
// var Papa: any;
declare var Papa: any;
class Tests {

3
CRNEngine/CRNEngineJSBench/app.d.ts поставляемый
Просмотреть файл

@ -1,3 +1,6 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
declare var Microsoft: any;
declare let CRNEngine: any;
declare function benchmark(): void;

Просмотреть файл

@ -1,4 +1,7 @@
var Microsoft: any;
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
var Microsoft: any;
let CRNEngine = Microsoft.Research.CRNEngine;

Просмотреть файл

@ -1,4 +1,7 @@
import { WebSharperGeneratedInterfaces as WGI } from "./WebSharperGeneratedInterfaces";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import { WebSharperGeneratedInterfaces as WGI } from "./WebSharperGeneratedInterfaces";
import * as Interfaces from './Interfaces';
import * as Internals from './InternalInterfaces';
import * as Rx from 'rx';

Просмотреть файл

@ -1,4 +1,7 @@
import { WebSharperGeneratedInterfaces as WGI } from "./WebSharperGeneratedInterfaces";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import { WebSharperGeneratedInterfaces as WGI } from "./WebSharperGeneratedInterfaces";
import * as Interfaces from './Interfaces';
import * as Internals from './InternalInterfaces';

Просмотреть файл

@ -1,4 +1,7 @@
import * as Interfaces from './Interfaces';
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as Interfaces from './Interfaces';
import * as Internals from './InternalInterfaces';
importScripts("WebWorkerSafeChecks.js");

Просмотреть файл

@ -1,4 +1,7 @@
import { WebSharperGeneratedInterfaces as WGI } from "./WebSharperGeneratedInterfaces";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import { WebSharperGeneratedInterfaces as WGI } from "./WebSharperGeneratedInterfaces";
export type CRN = WGI.Microsoft.Research.CRNEngine.Gui;
export type Model = WGI.Microsoft.Research.CRNEngine.GuiModel;
export type IG = WGI.Microsoft.Research.CRNEngine.GuiIG;

Просмотреть файл

@ -1,4 +1,7 @@
// This file contains the interfaces for the messages exchanged by the background threads and the main thread.
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
// This file contains the interfaces for the messages exchanged by the background threads and the main thread.
import * as I from "./Interfaces";
export type WorkerResponse_Error = { mtype: "error", error: I.Error }

Просмотреть файл

@ -1,3 +1,6 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
//These interfaces are code generated from F#, any changes to this file will be lost.
export namespace WebSharperGeneratedInterfaces {

Просмотреть файл

@ -1,4 +1,7 @@
//PhantomJS which is used in build agent test environment does not have console. Placing a stub here, so the scripts calling console won't crash
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
//PhantomJS which is used in build agent test environment does not have console. Placing a stub here, so the scripts calling console won't crash
if (typeof console === "undefined")
console = <any>{
assert: (test?: boolean, message?: string, ...optionalParams: any[]) => { throw "Assertion not supported";},

Просмотреть файл

@ -1,4 +1,7 @@
class WsEmGlue {
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
class WsEmGlue {
constructor(public Module: any) { }
/*
sN:int,

Просмотреть файл

@ -1,4 +1,7 @@
declare module "worker-loader*" {
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
declare module "worker-loader*" {
class WebpackWorker extends Worker {
constructor();
}

Просмотреть файл

@ -1 +1,4 @@
export var Timeout = 30000;
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
export var Timeout = 30000;

Просмотреть файл

@ -1,4 +1,7 @@
/// <reference path="../Scripts/typings/jasmine/jasmine.d.ts" />
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
/// <reference path="../Scripts/typings/jasmine/jasmine.d.ts" />
/// <reference path="../Scripts/typings/requirejs/require.d.ts" />
import Config = require('./Config');

Просмотреть файл

@ -1,4 +1,7 @@
/// <reference path="../Scripts/typings/jasmine/jasmine.d.ts" />
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
/// <reference path="../Scripts/typings/jasmine/jasmine.d.ts" />
/// <reference path="../Scripts/typings/requirejs/require.d.ts" />
import Interfaces = require("../Scripts/src/Interfaces");

Просмотреть файл

@ -1,4 +1,7 @@
/// <reference path="../Scripts/typings/jasmine/jasmine.d.ts" />
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
/// <reference path="../Scripts/typings/jasmine/jasmine.d.ts" />
/// <reference path="../Scripts/typings/requirejs/require.d.ts" />
import Config = require('./Config');

Просмотреть файл

@ -1,4 +1,7 @@
/// <reference path="../Scripts/typings/jasmine/jasmine.d.ts" />
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
/// <reference path="../Scripts/typings/jasmine/jasmine.d.ts" />
/// <reference path="../Scripts/typings/requirejs/require.d.ts" />
import Interfaces = require("../Scripts/src/Interfaces");

Просмотреть файл

@ -1,4 +1,7 @@
import Config = require('./Config');
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import Config = require('./Config');
declare var Microsoft: any;

Просмотреть файл

@ -1,4 +1,7 @@
import * as Interfaces from "../../CRNEngineTSWrapper/Scripts/Interfaces";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as Interfaces from "../../CRNEngineTSWrapper/Scripts/Interfaces";
import CRNEngine from "../../CRNEngineTSWrapper/Scripts/CRNEngine";
import "../samples.css";
import "./styles.css";

Просмотреть файл

@ -1,4 +1,7 @@
import * as Interfaces from "../../CRNEngineTSWrapper/Scripts/Interfaces";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as Interfaces from "../../CRNEngineTSWrapper/Scripts/Interfaces";
import CRNEngine from "../../CRNEngineTSWrapper/Scripts/CRNEngine";
import "../samples.css";
import "./styles.css";

Просмотреть файл

@ -1,4 +1,7 @@
import * as Interfaces from "../../CRNEngineTSWrapper/Scripts/Interfaces";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as Interfaces from "../../CRNEngineTSWrapper/Scripts/Interfaces";
import CRNEngine from "../../CRNEngineTSWrapper/Scripts/CRNEngine";
import "../samples.css";
import "./styles.css";

Просмотреть файл

@ -1,4 +1,7 @@
import * as Interfaces from "../../CRNEngineTSWrapper/Scripts/Interfaces";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as Interfaces from "../../CRNEngineTSWrapper/Scripts/Interfaces";
import CRNEngine from "../../CRNEngineTSWrapper/Scripts/CRNEngine";
import "../samples.css";
import "./styles.css";

Просмотреть файл

@ -1,4 +1,7 @@
import * as Interfaces from "../../CRNEngineTSWrapper/Scripts/Interfaces";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as Interfaces from "../../CRNEngineTSWrapper/Scripts/Interfaces";
import CRNEngine from "../../CRNEngineTSWrapper/Scripts/CRNEngine";
import "../samples.css";
import "./styles.css";

Просмотреть файл

@ -1,4 +1,7 @@
import * as Interfaces from "../../CRNEngineTSWrapper/Scripts/Interfaces";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as Interfaces from "../../CRNEngineTSWrapper/Scripts/Interfaces";
import CRNEngine from "../../CRNEngineTSWrapper/Scripts/CRNEngine";
import "../samples.css";
import "./styles.css";

Просмотреть файл

@ -1,4 +1,7 @@
import * as Interfaces from "../../CRNEngineTSWrapper/Scripts/Interfaces";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as Interfaces from "../../CRNEngineTSWrapper/Scripts/Interfaces";
import CRNEngine from "../../CRNEngineTSWrapper/Scripts/CRNEngine";
import "../samples.css";
import "./styles.css";

Просмотреть файл

@ -1,4 +1,7 @@
import * as Interfaces from "../../CRNEngineTSWrapper/Scripts/Interfaces";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as Interfaces from "../../CRNEngineTSWrapper/Scripts/Interfaces";
import CRNEngine from "../../CRNEngineTSWrapper/Scripts/CRNEngine";
import "../samples.css";
import "./styles.css";

Просмотреть файл

@ -1,4 +1,7 @@
declare module "raw-loader*"
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
declare module "raw-loader*"
declare module "worker-loader*" {
class WebpackWorker extends Worker {
constructor();

Просмотреть файл

@ -1,4 +1,7 @@
"use strict";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
"use strict";
var webpack = require('webpack');
var HtmlWebpackPlugin = require('html-webpack-plugin');
var CleanWebpackPlugin = require('clean-webpack-plugin');

Просмотреть файл

@ -1,4 +1,7 @@
import * as ko from "knockout";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as ko from "knockout";
import { Observable } from "rx";
import CRNEngine from './../../CRNEngineTSWrapper/Scripts/CRNEngine';
import { JobDescriptor, JobFile } from "../../CRNEngineTSWrapper/Scripts/Interfaces";

5
CRNEngine/CRNJobsManager/declarations.d.ts поставляемый
Просмотреть файл

@ -1,4 +1,7 @@
declare module "raw-loader*"
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
declare module "raw-loader*"
declare module "idd" {
var InteractiveDataDisplay: any;
export = InteractiveDataDisplay;

Просмотреть файл

@ -1,3 +1,6 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
// Webpack is executed by a custom target in the .csproj file. Webpack output is collected for packaging and deployment by another custom target.
"use strict";
var webpack = require('webpack');

Просмотреть файл

@ -1,4 +1,7 @@
/*import { ServiceWorker } from './Scripts/ServiceWorker';
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
/*import { ServiceWorker } from './Scripts/ServiceWorker';
let serviceWorker = new ServiceWorker();*/
import * as $ from 'jquery';

5
CRNEngine/HTML5CRN/declarations.d.ts поставляемый
Просмотреть файл

@ -1,4 +1,7 @@
declare module "raw-loader*"
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
declare module "raw-loader*"
declare module "idd" {
var InteractiveDataDisplay: any;
export = InteractiveDataDisplay;

Просмотреть файл

@ -1,3 +1,6 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
// Webpack is executed by a custom target in the .csproj file. Webpack output is collected for packaging and deployment by another custom target.
"use strict";
var webpack = require('webpack');

Просмотреть файл

@ -1,4 +1,7 @@
import * as GenericExpandingParser from '../../../../HTML5SharedGUI/HTML5DSD_Generic/Scripts/Adapters/GenericExpandingParser';
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as GenericExpandingParser from '../../../../HTML5SharedGUI/HTML5DSD_Generic/Scripts/Adapters/GenericExpandingParser';
import DSD from '../../../ClassicDSDTSWrapper/Scripts/ClassicDSD';
import * as Interfaces from '../../../ClassicDSDTSWrapper/Scripts/Interfaces';
import * as CrnInterfaces from '../../../../CRNEngine/CRNEngineTSWrapper/Scripts/Interfaces';

Просмотреть файл

@ -1,4 +1,7 @@
import * as GenericDSDParser from '../../../../HTML5SharedGUI/HTML5DSD_Generic/Scripts/Adapters/GenericDSDParser';
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as GenericDSDParser from '../../../../HTML5SharedGUI/HTML5DSD_Generic/Scripts/Adapters/GenericDSDParser';
import DSD from '../../../ClassicDSDTSWrapper/Scripts/ClassicDSD';
import * as Interfaces from '../../../ClassicDSDTSWrapper/Scripts/Interfaces';
import DSDParsingOptions from '../DSDParsingOptions';

Просмотреть файл

@ -1,4 +1,7 @@
import { ExternalSetting as ExternalSetting, CRN as CRN } from '../../../HTML5SharedGUI/CRNComponent/Scripts/crnVM';
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import { ExternalSetting as ExternalSetting, CRN as CRN } from '../../../HTML5SharedGUI/CRNComponent/Scripts/crnVM';
import { DsdSettings as DsdSettings } from '../../ClassicDSDTSWrapper/Scripts/Interfaces';
import * as DsdInterfaces from '../../ClassicDSDTSWrapper/Scripts/WebSharperGeneratedInterfaces';
import * as ko from "knockout";

Просмотреть файл

@ -1,4 +1,7 @@
var DSDLanguage = {
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
var DSDLanguage = {
displayName: 'DSD', // start by writing your language name here
name: 'DSD',
mimeTypes: ['text/x-dsd'],

Просмотреть файл

@ -1,4 +1,7 @@
import ClassicDSD from '../../ClassicDSDTSWrapper/Scripts/ClassicDSD';
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import ClassicDSD from '../../ClassicDSDTSWrapper/Scripts/ClassicDSD';
import Options from '../../../HTML5SharedGUI/GenericComponents/Scripts/Options';
class DSDParsingOptions extends Options {

Просмотреть файл

@ -1,4 +1,7 @@
import "./SequencesDatabase.css"
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import "./SequencesDatabase.css"
import * as ko from 'knockout';
import DSD from '../../../ClassicDSDTSWrapper/Scripts/ClassicDSD';
import * as fileSaver from "file-saver";

Просмотреть файл

@ -1,4 +1,7 @@
import { Launch as Bootstrap } from '../../../HTML5SharedGUI/HTML5DSD_Generic/Scripts/GenericApp';
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import { Launch as Bootstrap } from '../../../HTML5SharedGUI/HTML5DSD_Generic/Scripts/GenericApp';
import { Parser as NotExpandingParser } from './Adapters/DSDCRNUnexpandedParser';
import { Parser as ExpandingParser } from './Adapters/DSDCRNExpandedParser';
import { INamedMonarchLanguage } from '../../../HTML5SharedGUI/CodeEditor/Scripts/CodeEditor';

Просмотреть файл

@ -1,4 +1,7 @@
declare module "raw-loader*"
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
declare module "raw-loader*"
declare module "idd" {
var InteractiveDataDisplay: any;
export = InteractiveDataDisplay;

Просмотреть файл

@ -1,4 +1,7 @@
/// <binding AfterBuild='Run - Development' />
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
/// <binding AfterBuild='Run - Development' />
"use strict";
var webpack = require('webpack');
var HtmlWebpackPlugin = require('html-webpack-plugin');

Просмотреть файл

@ -1 +1,4 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
// This file takes the place of the W# output, in cases where W# is not invoked (i.e. server mode). A file must exist, even if it's empty, so that Webpack can handle references properly.

Просмотреть файл

@ -1,4 +1,7 @@
import "jquery";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import "jquery";
import * as Rx from 'rx';
import * as InternalInterfaces from '../../../CRNEngine/CRNEngineTSWrapper/Scripts/InternalInterfaces';
import * as CRNInterfaces from '../../../CRNEngine/CRNEngineTSWrapper/Scripts/Interfaces';

Просмотреть файл

@ -1,4 +1,7 @@
// Import the generic Worker. Note that here I'm importing it as a regular module, rather than as a web worker constructor (i.e. via worker-loader).
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
// Import the generic Worker. Note that here I'm importing it as a regular module, rather than as a web worker constructor (i.e. via worker-loader).
import * as CRNEngineWorker from "../../../CRNEngine/CRNEngineTSWrapper/Scripts/CRNEngine.worker";
import * as CRNInterfaces from "../../../CRNEngine/CRNEngineTSWrapper/Scripts/Interfaces";
import { WebSharperGeneratedInterfaces as WGI } from "./WebSharperGeneratedInterfaces";

Просмотреть файл

@ -1,4 +1,7 @@
var database = {
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
var database = {
toeholds: "TATTCC\r\n" +
"GCTA\r\n" +
"GTCA\r\n" +

Просмотреть файл

@ -1,4 +1,7 @@
import * as CRN from '../../../CRNEngine/CRNEngineTSWrapper/Scripts/InternalInterfaces';
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as CRN from '../../../CRNEngine/CRNEngineTSWrapper/Scripts/InternalInterfaces';
import * as Interfaces from '../../../CRNEngine/CRNEngineTSWrapper/Scripts/Interfaces';
import { WebSharperGeneratedInterfaces as WGI } from "./WebSharperGeneratedInterfaces";

Просмотреть файл

@ -1,3 +1,6 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
//These interfaces are code generated from F#, any changes to this file will be lost.
export namespace WebSharperGeneratedInterfaces {

Просмотреть файл

@ -1,4 +1,7 @@
declare module "worker-loader*" {
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
declare module "worker-loader*" {
class WebpackWorker extends Worker {
constructor();
}

Просмотреть файл

@ -1,4 +1,7 @@
import ClassicDSD from "../../ClassicDSDTSWrapper/Scripts/ClassicDSD";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import ClassicDSD from "../../ClassicDSDTSWrapper/Scripts/ClassicDSD";
import * as DSDInterfaces from "../../ClassicDSDTSWrapper/Scripts/Interfaces";
import * as CRNInterfaces from "../../../CRNEngine/CRNEngineTSWrapper/Scripts/Interfaces";
import "../samples.css"

Просмотреть файл

@ -1,4 +1,7 @@
import ClassicDSD from "../../ClassicDSDTSWrapper/Scripts/ClassicDSD";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import ClassicDSD from "../../ClassicDSDTSWrapper/Scripts/ClassicDSD";
import * as Interfaces from "../../ClassicDSDTSWrapper/Scripts/Interfaces";
import * as CRNInterfaces from "../../../CRNEngine/CRNEngineTSWrapper/Scripts/Interfaces";
import "../samples.css"

Просмотреть файл

@ -1,4 +1,7 @@
declare module "raw-loader*"
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
declare module "raw-loader*"
declare module "worker-loader*" {
class WebpackWorker extends Worker {
constructor();

Просмотреть файл

@ -1,4 +1,7 @@
"use strict";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
"use strict";
var webpack = require('webpack');
var HtmlWebpackPlugin = require('html-webpack-plugin');
var CleanWebpackPlugin = require('clean-webpack-plugin');

Просмотреть файл

@ -1,3 +1,6 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import Editor from '../GECCodeEditor';
import * as ModificationIndicator from '../../../../HTML5SharedGUI/GenericComponents/Scripts/ModificationIndicators';
import * as Features from '../Features';

Просмотреть файл

@ -1,4 +1,7 @@
import Editor from '../PartsCodeEditor';
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import Editor from '../PartsCodeEditor';
import * as ModificationIndicator from '../../../../HTML5SharedGUI/GenericComponents/Scripts/ModificationIndicators';
import * as Features from '../Features';
import * as KOCodeEditor from '../../../../HTML5SharedGUI/HTML5CRN_Lib/Scripts/Adapters/KnockoutBasedCodeEditor';

Просмотреть файл

@ -1,4 +1,7 @@
import Editor from '../ReactionsCodeEditor';
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import Editor from '../ReactionsCodeEditor';
import * as ModificationIndicator from '../../../../HTML5SharedGUI/GenericComponents/Scripts/ModificationIndicators';
import * as Features from '../Features';
import * as KOCodeEditor from '../../../../HTML5SharedGUI/HTML5CRN_Lib/Scripts/Adapters/KnockoutBasedCodeEditor';

Просмотреть файл

@ -1,4 +1,7 @@
/*import { ServiceWorker } from './Scripts/ServiceWorker';
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
/*import { ServiceWorker } from './Scripts/ServiceWorker';
let serviceWorker = new ServiceWorker();*/
import "jqueryui";

Просмотреть файл

@ -1,3 +1,6 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
//bind to specific DOM element and occupy it
export interface IUIBindable {
Bind(elem: HTMLElement): void;

Просмотреть файл

@ -1,3 +1,6 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import CodePad from "../../../HTML5SharedGUI/CodeEditor/Scripts/CodePad";
import { INamedMonarchLanguage } from '../../../HTML5SharedGUI/CodeEditor/Scripts/CodeEditor';

Просмотреть файл

@ -1,3 +1,6 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
var GECLanguage = {
displayName: 'GEC', // start by writing your language name here
name: 'GEC',

Просмотреть файл

@ -1,3 +1,6 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as $ from 'jquery';
import GEC from '../../../ClassicGECTSWrapper/Scripts/ClassicGEC';
import * as Interfaces from '../../../ClassicGECTSWrapper/Scripts/Interfaces';

Просмотреть файл

@ -1,4 +1,7 @@
import * as $ from 'jquery';
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as $ from 'jquery';
import GEC from '../../../ClassicGECTSWrapper/Scripts/ClassicGEC';
import * as Interfaces from '../../../ClassicGECTSWrapper/Scripts/Interfaces';
import * as CRN from '../../../../CRNEngine/CRNEngineTSWrapper/Scripts/Interfaces';

Просмотреть файл

@ -1,4 +1,7 @@
import CodePad from "../../../HTML5SharedGUI/CodeEditor/Scripts/CodePad";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import CodePad from "../../../HTML5SharedGUI/CodeEditor/Scripts/CodePad";
import { INamedMonarchLanguage } from '../../../HTML5SharedGUI/CodeEditor/Scripts/CodeEditor';
class GECCodeEditor extends CodePad {

Просмотреть файл

@ -1,4 +1,7 @@
var PartsLanguage = {
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
var PartsLanguage = {
displayName: 'GECParts', // start by writing your language name here
name: 'GECParts',
mimeTypes: ['text/x-crn'],

Просмотреть файл

@ -1,4 +1,7 @@
import CodePad from "../../../HTML5SharedGUI/CodeEditor/Scripts/CodePad";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import CodePad from "../../../HTML5SharedGUI/CodeEditor/Scripts/CodePad";
import { INamedMonarchLanguage } from '../../../HTML5SharedGUI/CodeEditor/Scripts/CodeEditor';
class GECCodeEditor extends CodePad {

Просмотреть файл

@ -1,4 +1,7 @@
var ReactionsLanguage = {
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
var ReactionsLanguage = {
displayName: 'GECReactions', // start by writing your language name here
name: 'GECReactions',
mimeTypes: ['text/x-crn'],

Просмотреть файл

@ -1,4 +1,7 @@
declare module "*.html"
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
declare module "*.html"
declare module "idd" {
var InteractiveDataDisplay: any;
export = InteractiveDataDisplay;

Просмотреть файл

@ -1,4 +1,7 @@
/// <binding AfterBuild='Run - Development' />
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
/// <binding AfterBuild='Run - Development' />
"use strict";
var webpack = require('webpack');
var HtmlWebpackPlugin = require('html-webpack-plugin');

Просмотреть файл

@ -1 +1,4 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
// This file takes the place of the W# output, in cases where W# is not invoked (i.e. server mode). A file must exist, even if it's empty, so that Webpack can handle references properly.

Просмотреть файл

@ -1,4 +1,7 @@
import "jquery";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import "jquery";
import * as Rx from 'rx';
import * as InternalInterfaces from '../../../CRNEngine/CRNEngineTSWrapper/Scripts/InternalInterfaces';
import * as CRNInterfaces from '../../../CRNEngine/CRNEngineTSWrapper/Scripts/Interfaces';

Просмотреть файл

@ -1,4 +1,7 @@
// Import the generic Worker. Note that here I'm importing it as a regular module, rather than as a web worker constructor (i.e. via worker-loader).
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
// Import the generic Worker. Note that here I'm importing it as a regular module, rather than as a web worker constructor (i.e. via worker-loader).
import * as CRNEngineWorker from "../../../CRNEngine/CRNEngineTSWrapper/Scripts/CRNEngine.worker";
import { WebSharperGeneratedInterfaces as WGI } from "./WebSharperGeneratedInterfaces";
import * as Interfaces from "./Interfaces";

Просмотреть файл

@ -1,4 +1,7 @@
var database = {
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
var database = {
parts: "i723017,pcr,codes(xylR;0.001)\n" +
"i723024, pcr, codes(phzM;0.001)\n" +
"e0040, pcr, codes(gfp;0.01)\n" +

Просмотреть файл

@ -1,4 +1,7 @@
import * as CRN from '../../../CRNEngine/CRNEngineTSWrapper/Scripts/InternalInterfaces';
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as CRN from '../../../CRNEngine/CRNEngineTSWrapper/Scripts/InternalInterfaces';
import { WebSharperGeneratedInterfaces as WGI } from "./WebSharperGeneratedInterfaces";
import * as Interfaces from '../../../CRNEngine/CRNEngineTSWrapper/Scripts/Interfaces';

Просмотреть файл

@ -1,4 +1,7 @@
import * as CRNInterfaces from "./../../../CRNEngine/CRNEngineTSWrapper/Scripts/InternalInterfaces";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import * as CRNInterfaces from "./../../../CRNEngine/CRNEngineTSWrapper/Scripts/InternalInterfaces";
import * as Interfaces from "./Interfaces";
import * as sboljs from 'sboljs';

Просмотреть файл

@ -1,3 +1,6 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
//These interfaces are code generated from F#, any changes to this file will be lost.
export namespace WebSharperGeneratedInterfaces {

Просмотреть файл

@ -1,4 +1,7 @@
declare module "worker-loader*" {
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
declare module "worker-loader*" {
class WebpackWorker extends Worker {
constructor();
}

Просмотреть файл

@ -1,4 +1,7 @@
import ClassicGEC from "../../ClassicGECTSWrapper/Scripts/ClassicGEC";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
import ClassicGEC from "../../ClassicGECTSWrapper/Scripts/ClassicGEC";
import * as CRNInterfaces from "../../../CRNEngine/CRNEngineTSWrapper/Scripts/Interfaces";
import "../samples.css"

Просмотреть файл

@ -1,4 +1,7 @@
declare module "raw-loader*"
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
declare module "raw-loader*"
declare module "worker-loader*" {
class WebpackWorker extends Worker {
constructor();

Просмотреть файл

@ -1,4 +1,7 @@
"use strict";
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
"use strict";
var webpack = require('webpack');
var HtmlWebpackPlugin = require('html-webpack-plugin');
var CleanWebpackPlugin = require('clean-webpack-plugin');

Просмотреть файл

@ -1,3 +1,6 @@
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
var fs = require('fs');
var SBOLDocument = require('sboljs');

Просмотреть файл

@ -4,7 +4,7 @@
open System.IO
(* This script checks whether copyright notices have been added to all source files, inserting where necessary. *)
let skip_directories = ["node_modules"; "Lib"; "bin"; "obj"]
let skip_directories = ["node_modules"; "Lib"; "bin"; "obj"; "paket-files"]
let enumerateIncludedDirectories dir =
Directory.EnumerateDirectories dir
|> Seq.filter(fun d ->
@ -23,11 +23,11 @@ let update notice file =
printfn "Updating %s" file
File.WriteAllText (file, notice + "\n" + contents)
// C-style comments (.fs, .fsi, .h, .cpp)
// C-style comments (.fs, .fsi, .h, .cpp, .ts, .js)
let cNotice = """// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
"""
let cFiles = ["fs"; "fsi"; "cpp"; "h"] |> Seq.collect (fun ext -> getAllFiles "." ("*." + ext))
let cFiles = ["fs"; "fsi"; "cpp"; "h"; "ts"; "js"] |> Seq.collect (fun ext -> getAllFiles "." ("*." + ext))
for file in cFiles do
update cNotice file