[ agda ] Prepare for execution

owo-lang · Mar 29, 2019 · 938ba39 · 938ba39
1 parent 709bd8f
commit 938ba39
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 7 deletions.
diff --git a/res/META-INF/change-notes.html b/res/META-INF/change-notes.html
@@ -1,6 +1,7 @@
 0.1.1<br/>
 <ul>
 	<li>Agda file recognition and live templates</li>
+	<li>Agda compiler management</li>
 	<li>Better expansion selection for Mini-TT</li>
 </ul>
 0.1.0<br/>

diff --git a/src/org/ice1000/tt/execution/run-config.kt b/src/org/ice1000/tt/execution/run-config.kt
@@ -16,9 +16,9 @@ import com.intellij.openapi.util.io.FileUtilRt
 import com.intellij.psi.PsiElement
 import icons.TTIcons
 import org.ice1000.tt.MINI_TT_RUN_CONFIG_ID
-import org.ice1000.tt.TTBundle
 import org.ice1000.tt.MiniTTFileType
-import org.ice1000.tt.execution.ui.MiniTTRunConfigurationEditorImpl
+import org.ice1000.tt.TTBundle
+import org.ice1000.tt.execution.ui.MiniTTRunConfigurationEditor
 import org.ice1000.tt.project.minittPath
 import org.ice1000.tt.project.minittSettings
 import org.ice1000.tt.validateExe
@@ -34,7 +34,7 @@ class MiniTTRunConfiguration(
 	var minittExecutable = project.minittSettings.settings.exePath
 
 	override fun getState(executor: Executor, environment: ExecutionEnvironment) = MiniTTCommandLineState(this, environment)
-	override fun getConfigurationEditor() = MiniTTRunConfigurationEditorImpl(this, project)
+	override fun getConfigurationEditor() = MiniTTRunConfigurationEditor(this, project)
 
 	override fun readExternal(element: Element) {
 		super.readExternal(element)

diff --git a/...tion/ui/MiniTTRunConfigurationEditor.form → ...ui/InterpretedRunConfigurationEditor.form b/...tion/ui/MiniTTRunConfigurationEditor.form → ...ui/InterpretedRunConfigurationEditor.form
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<form xmlns="http://www.intellij.com/uidesigner/form/" version="1" bind-to-class="org.ice1000.tt.execution.ui.MiniTTRunConfigurationEditor">
+<form xmlns="http://www.intellij.com/uidesigner/form/" version="1" bind-to-class="org.ice1000.tt.execution.ui.InterpretedRunConfigurationEditor">
   <grid id="27dc6" binding="mainPanel" layout-manager="GridLayoutManager" row-count="5" column-count="2" same-size-horizontally="false" same-size-vertically="false" hgap="-1" vgap="-1">
     <margin top="0" left="0" bottom="0" right="0"/>
     <constraints>

diff --git a/...tion/ui/MiniTTRunConfigurationEditor.java → ...ui/InterpretedRunConfigurationEditor.java b/...tion/ui/MiniTTRunConfigurationEditor.java → ...ui/InterpretedRunConfigurationEditor.java
@@ -1,15 +1,15 @@
 package org.ice1000.tt.execution.ui;
 
+import com.intellij.execution.configurations.RunConfiguration;
 import com.intellij.openapi.options.SettingsEditor;
 import com.intellij.openapi.ui.TextFieldWithBrowseButton;
 import com.intellij.ui.components.fields.ExpandableTextField;
-import org.ice1000.tt.execution.MiniTTRunConfiguration;
 import org.jetbrains.annotations.NotNull;
 
 import javax.swing.*;
 
 @SuppressWarnings("NullableProblems")
-public abstract class MiniTTRunConfigurationEditor extends SettingsEditor<MiniTTRunConfiguration> {
+public abstract class InterpretedRunConfigurationEditor<T extends RunConfiguration> extends SettingsEditor<T> {
 	protected @NotNull JPanel mainPanel;
 	protected @NotNull TextFieldWithBrowseButton workingDirField;
 	protected @NotNull TextFieldWithBrowseButton targetFileField;

diff --git a/src/org/ice1000/tt/execution/ui/ui-impl.kt b/src/org/ice1000/tt/execution/ui/ui-impl.kt
@@ -10,7 +10,7 @@ import java.nio.file.Files
 import java.nio.file.Paths
 import javax.naming.ConfigurationException
 
-class MiniTTRunConfigurationEditorImpl(configuration: MiniTTRunConfiguration, project: Project) : MiniTTRunConfigurationEditor() {
+class MiniTTRunConfigurationEditor(configuration: MiniTTRunConfiguration, project: Project) : InterpretedRunConfigurationEditor<MiniTTRunConfiguration>() {
 	override fun createEditor() = mainPanel
 
 	init {