feat(Program): runArguments implemented

2graphic · Feb 27, 2017 · aae2464 · aae2464
1 parent 25fb4b0
commit aae2464
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 0 deletions.
diff --git a/src/program.ts b/src/program.ts
@@ -38,6 +38,9 @@ function pickReturnType(argTypes: Type[], signatures: [Type[], Type][], stateTyp
 
 export class Program {
     constructor(private program: PluginProgram, private plugin: Plugin) {
+        this.runArguments = this.plugin.typeEnvironment.startTypes.map(
+            t => t[0].slice(1)
+        );
     };
 
     validate(): string[] {

diff --git a/test/test-interpreters.ts b/test/test-interpreters.ts
@@ -692,6 +692,8 @@ describe("various interpreters", () => {
             const prog = new Program(pluginProg, nfa);
             const stringType = nfa.typeEnvironment.getStringType();
 
+            assert.deepEqual([["string"]], prog.runArguments.map(t => t.map(t2 => t2.name)));
+
             let results;
             results = prog.run([new CoreValue(stringType, "11")]);
             assert.equal(3, results.states.length, "correct number of states");

diff --git a/test/test-plugin.ts b/test/test-plugin.ts
@@ -50,6 +50,15 @@ describe("plugin", () => {
                 const pluginProgram = new context.global["plugin-stub"].Program({ elements: [] });
 
                 program = new Program(pluginProgram, plugin);
+
+                assert.deepEqual([
+                    ["any", "any"],
+                    ["number", "number"],
+                    ["number", "string"],
+                    ["string", "string"],
+                    ["string", "string"],
+                ], program.runArguments.map(t => t.map(t2 => t2.name)));
+
                 // const anyType = plugin.typeEnvironment.getType(plugin.typeEnvironment.checker.getAnyType());
                 stringType = plugin.typeEnvironment.getType(plugin.typeEnvironment.checker.getStringType());
                 numberType = plugin.typeEnvironment.getType(plugin.typeEnvironment.checker.getNumberType());
@@ -90,6 +99,8 @@ describe("plugin", () => {
                 const pluginProgram = new context.global["plugin-stub"].Program({ elements: [] });
 
                 program = new Program(pluginProgram, plugin);
+                assert.deepEqual([["any", "any"]], program.runArguments.map(t => t.map(t2 => t2.name)));
+
                 // const anyType = plugin.typeEnvironment.getType(plugin.typeEnvironment.checker.getAnyType());
                 stringType = plugin.typeEnvironment.getType(plugin.typeEnvironment.checker.getStringType());
                 numberType = plugin.typeEnvironment.getType(plugin.typeEnvironment.checker.getNumberType());