summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-07-21 16:50:25 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-07-21 16:50:25 +0200
commitd05bd3592050a9496dd87bcd8a49f8fdc8b6b58d (patch)
tree13ce81449e21c48621ae0ef4dd0f451b72f1c37a /ast-to-instr/src/Parameters.java
parent0aa91fb542bd4e2bec97de98ab819ddd6ccbb698 (diff)
Adds output support.
Diffstat (limited to 'ast-to-instr/src/Parameters.java')
-rw-r--r--ast-to-instr/src/Parameters.java5
1 files changed, 5 insertions, 0 deletions
diff --git a/ast-to-instr/src/Parameters.java b/ast-to-instr/src/Parameters.java
index 70d716f..0407bb4 100644
--- a/ast-to-instr/src/Parameters.java
+++ b/ast-to-instr/src/Parameters.java
@@ -41,6 +41,11 @@ public class Parameters
return xml_file;
}
+ public String get_main_output_filename()
+ {
+ return "structural.mod";
+ }
+
public boolean are_valid ()
{
return are_valid;