basic KORE-based execution in krun

cos · cos · commit 3ae0621cc06d · 2015-04-30T14:24:57.000-05:00
Former-commit-id: da030162bbe3352bf6ea88a4c23330d15649c495 [formerly 4a8074937337b1655b2db7b88788681257a04d33]
Former-commit-id: d555ec8f4dc3ab67fbfd9be14838059fe3ad324f
diff --git a/k-distribution/pom.xml b/k-distribution/pom.xml
@@ -37,12 +37,6 @@
       <version>${project.version}</version>
       <scope>runtime</scope>
     </dependency>
-    <dependency>
-      <groupId>org.kframework.k</groupId>
-      <artifactId>tiny</artifactId>
-      <version>${project.version}</version>
-      <scope>runtime</scope>
-    </dependency>
     <dependency>
       <groupId>org.kframework.k</groupId>
       <artifactId>coq-backend</artifactId>
diff --git a/kernel/pom.xml b/kernel/pom.xml
@@ -1,6 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="yes"?>
 <!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
-<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
+<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
 
   <modelVersion>4.0.0</modelVersion>
   <parent>
@@ -18,7 +19,12 @@
       <groupId>org.kframework.k</groupId>
       <artifactId>kore</artifactId>
       <version>${project.version}</version>
-    </dependency> 
+    </dependency>
+    <dependency>
+      <groupId>org.kframework.k</groupId>
+      <artifactId>tiny</artifactId>
+      <version>${project.version}</version>
+    </dependency>
     <dependency>
       <groupId>com.google.guava</groupId>
       <artifactId>guava</artifactId>
@@ -163,7 +169,6 @@
       <classifier>windows</classifier>
       <type>exe</type>
     </dependency>
-
     <dependency>
       <groupId>org.kframework.dependencies</groupId>
       <artifactId>sdf2table</artifactId>
@@ -249,7 +254,7 @@
       <plugin>
         <artifactId>maven-surefire-plugin</artifactId>
         <version>2.17</version>
-	<configuration>
+        <configuration>
           <systemPropertyVariables>
             <java.awt.headless>true</java.awt.headless>
           </systemPropertyVariables>
diff --git a/kernel/src/main/java/org/kframework/krun/KRun.java b/kernel/src/main/java/org/kframework/krun/KRun.java
@@ -1,14 +1,22 @@
 // Copyright (c) 2015 K Team. All Rights Reserved.
 package org.kframework.krun;
 
+import com.google.common.io.Files;
+import org.kframework.attributes.Source;
 import org.kframework.kil.Attributes;
 import org.kframework.kompile.CompiledDefinition;
+import org.kframework.kore.K;
+import org.kframework.tiny.Rewriter;
 import org.kframework.transformation.Transformation;
 import org.kframework.utils.errorsystem.KExceptionManager;
 import org.kframework.utils.file.FileUtil;
 
+import java.io.File;
+import java.io.IOException;
+import java.nio.charset.Charset;
+
 /**
- * Created by dwightguth on 4/30/15.
+ * The KORE-based KRun
  */
 public class KRun implements Transformation<Void, Void> {
 
@@ -21,8 +29,25 @@ public KRun(KExceptionManager kem, FileUtil files) {
     }
 
     public int run(CompiledDefinition compiledDef, KRunOptions options) {
-        System.err.println("TODO(cos): krun");
-        return 0;
+        try {
+            String pgmFileName = options.configurationCreation.pgm();
+            if (!options.configurationCreation.term()) {
+                KExceptionManager.criticalError("Unsupported options: term=false");
+            }
+
+            String pgm = Files.toString(new File(pgmFileName), Charset.defaultCharset());
+            K program = compiledDef.getProgramParser().apply(pgm, Source.apply(pgm));
+
+            Rewriter rewriter = new Rewriter(compiledDef.executionModule());
+
+            K result = rewriter.execute(program);
+
+            System.err.println("result:" + result);
+            return 0;
+        } catch (Exception e) {
+            KExceptionManager.criticalError(e.getMessage(), e);
+            return 1;
+        }
     }
 
     @Override
