Removed old files that are never used

interface/HUTN/grammars/modellanguage.g

@@ -1,34 +0,0 @@
-// a simpler action language for the MvK
-
-grammar{
-    start: NEWLINE? modeldecl+;
-    modeldecl: name name? (((LBRA name RBRA)? ASSIGN (name | value)) | (LPAR name COMMA name RPAR))? NEWLINE (indent modeldecl)#*;
-    name: IDENTIFIER;
-    value: DEC_NUMBER | FLOAT_NUMBER | STRVALUE;
-    indent: TAB;
-
-    tokens{
-        // TOKENS (written in CAPS)
-        IDENTIFIER: '[a-zA-Z_][a-zA-Z_0-9]*' @Msg 'Identifier';
-
-        COMMA: ',';
-
-        LPAR: '\(';
-        RPAR: '\)';
-
-        LBRA: '\[';
-        RBRA: '\]';
-
-        ASSIGN: '=';
-
-        DEC_NUMBER: '[+-]?(0|[1-9]\d*[lL]?)';
-        FLOAT_NUMBER: '[+-]?((\d+\.\d*|\.\d+)([eE][-+]?\d+)?|\d+[eE][-+]?\d+)';
-        STRVALUE : 'u?r?("(?!"").*?(?<!\\)(\\\\)*?"|\'(?!\'\').*?(?<!\\)(\\\\)*?\')';
-
-        NEWLINE: '\r?\n+'  @Msg 'Newline';
-        WS: '[ ]+' @Msg 'Whitespace' @Impl;
-        TAB: '\t' @Msg 'Tabspace';
-    }
-}
-
-

interface/HUTN/includes/type.al

@@ -1,3 +0,0 @@
-Boolean function type_eq(a: Type, b: Type) = primitives/type_eq
-Boolean function type_neq(a: Type, b: Type) = primitives/type_neq
-Type function typeof(a: Element) = primitives/typeof

interface/HUTN/output.dot

@@ -1,33 +0,0 @@
-digraph G {
-auto_0[label="auto_0(global)"];
-auto_1[label="auto_1(assign)"];
-auto_10[label="auto_10"];
-auto_11[label="auto_11(constant)"];
-auto_12[label="auto_12(True)"];
-auto_13[label="auto_13(resolve)"];
-auto_14[label="auto_14(\"main\")"];
-auto_2[label="auto_2(constant)"];
-auto_3[label="auto_3"];
-auto_4[label="auto_4(declare)"];
-auto_5[label="auto_5(while)"];
-auto_6[label="auto_6(assign)"];
-auto_7[label="auto_7(constant)"];
-auto_8[label="auto_8(2)"];
-auto_9[label="auto_9(resolve)"];
-auto_0 -> auto_1 [label="\"next\""];
-auto_0 -> auto_14 [label="\"var\""];
-auto_1 -> auto_2 [label="\"value\""];
-auto_1 -> auto_13 [label="\"var\""];
-auto_11 -> auto_12 [label="\"node\""];
-auto_13 -> auto_14 [label="\"var\""];
-auto_2 -> auto_3 [label="\"node\""];
-auto_3 -> auto_4 [label="\"body\""];
-auto_4 -> auto_5 [label="\"next\""];
-auto_4 -> auto_10 [label="\"var\""];
-auto_5 -> auto_6 [label="\"body\""];
-auto_5 -> auto_11 [label="\"cond\""];
-auto_6 -> auto_7 [label="\"value\""];
-auto_6 -> auto_9 [label="\"var\""];
-auto_7 -> auto_8 [label="\"node\""];
-auto_9 -> auto_10 [label="\"var\""];
-}

interface/HUTN/playground/escape_or_not.py

@@ -1,7 +0,0 @@
-import re, ast
-
-def test(expr):
-    try:
-        print re.match(expr, expr).group()
-    except:
-        print 'escape it!', re.match('\\'+expr, expr).group()

interface/HUTN/test/acceptance/adder.fake.al

@@ -1,14 +0,0 @@
-include "integer.al"
-include "io.al"
-String function cast_e2s(a: Element):
-	return a
-Integer function cast_s2i(a: Element):
-	return a
-Integer function cast_e2i(a: Element):
-	return cast_s2i(cast_e2s(a))
-while True:
-	Element x
-	x = input()
-	Integer y
-	y = cast_e2i(x)
-	output(y+y)

interface/HUTN/test/acceptance/adder.fake.txt

@@ -1,323 +0,0 @@
-V auto_initial_IP(global)
-N auto_1
-D auto_initial_IP,"var",auto_1
-V auto_2(assign)
-V auto_3(constant)
-D auto_3,"node",?primitives/integer_addition
-V auto_5(resolve)
-D auto_5,"var",auto_1
-D auto_2,"value",auto_3
-D auto_2,"var",auto_5
-V auto_6(global)
-N auto_7
-D auto_6,"var",auto_7
-V auto_8(assign)
-V auto_9(constant)
-D auto_9,"node",?primitives/integer_subtraction
-V auto_11(resolve)
-D auto_11,"var",auto_7
-D auto_8,"value",auto_9
-D auto_8,"var",auto_11
-V auto_12(global)
-N auto_13
-D auto_12,"var",auto_13
-V auto_14(assign)
-V auto_15(constant)
-D auto_15,"node",?primitives/integer_multiplication
-V auto_17(resolve)
-D auto_17,"var",auto_13
-D auto_14,"value",auto_15
-D auto_14,"var",auto_17
-V auto_18(global)
-N auto_19
-D auto_18,"var",auto_19
-V auto_20(assign)
-V auto_21(constant)
-D auto_21,"node",?primitives/integer_division
-V auto_23(resolve)
-D auto_23,"var",auto_19
-D auto_20,"value",auto_21
-D auto_20,"var",auto_23
-V auto_24(global)
-N auto_25
-D auto_24,"var",auto_25
-V auto_26(assign)
-V auto_27(constant)
-D auto_27,"node",?primitives/integer_eq
-V auto_29(resolve)
-D auto_29,"var",auto_25
-D auto_26,"value",auto_27
-D auto_26,"var",auto_29
-V auto_30(global)
-N auto_31
-D auto_30,"var",auto_31
-V auto_32(assign)
-V auto_33(constant)
-D auto_33,"node",?primitives/integer_neq
-V auto_35(resolve)
-D auto_35,"var",auto_31
-D auto_32,"value",auto_33
-D auto_32,"var",auto_35
-V auto_36(global)
-N auto_37
-D auto_36,"var",auto_37
-V auto_38(assign)
-V auto_39(constant)
-D auto_39,"node",?primitives/integer_lt
-V auto_41(resolve)
-D auto_41,"var",auto_37
-D auto_38,"value",auto_39
-D auto_38,"var",auto_41
-V auto_42(global)
-N auto_43
-D auto_42,"var",auto_43
-V auto_44(assign)
-V auto_45(constant)
-D auto_45,"node",?primitives/integer_lte
-V auto_47(resolve)
-D auto_47,"var",auto_43
-D auto_44,"value",auto_45
-D auto_44,"var",auto_47
-V auto_48(global)
-N auto_49
-D auto_48,"var",auto_49
-V auto_50(assign)
-V auto_51(constant)
-D auto_51,"node",?primitives/integer_gt
-V auto_53(resolve)
-D auto_53,"var",auto_49
-D auto_50,"value",auto_51
-D auto_50,"var",auto_53
-V auto_54(global)
-N auto_55
-D auto_54,"var",auto_55
-V auto_56(assign)
-V auto_57(constant)
-D auto_57,"node",?primitives/integer_gte
-V auto_59(resolve)
-D auto_59,"var",auto_55
-D auto_56,"value",auto_57
-D auto_56,"var",auto_59
-V auto_60(global)
-N auto_61
-D auto_60,"var",auto_61
-V auto_62(assign)
-V auto_63(constant)
-D auto_63,"node",?primitives/integer_neg
-V auto_65(resolve)
-D auto_65,"var",auto_61
-D auto_62,"value",auto_63
-D auto_62,"var",auto_65
-V auto_66(global)
-N auto_67
-D auto_66,"var",auto_67
-V auto_68(assign)
-V auto_69(constant)
-N auto_70
-V auto_71(resolve)
-D auto_71,"var",auto_70
-V auto_72(access)
-D auto_72,"var",auto_71
-V auto_73(return)
-D auto_73,"value",auto_72
-V auto_74(resolve)
-D auto_74,"var",auto_70
-V auto_75(access)
-D auto_75,"var",auto_74
-V auto_76(return)
-D auto_76,"value",auto_75
-N auto_77
-N auto_78
-D auto_77,"params",auto_78
-D auto_78,"a",auto_70
-D auto_77,"body",auto_76
-D auto_69,"node",auto_77
-V auto_79(resolve)
-D auto_79,"var",auto_67
-D auto_68,"value",auto_69
-D auto_68,"var",auto_79
-V auto_80(global)
-N auto_81
-D auto_80,"var",auto_81
-V auto_82(assign)
-V auto_83(constant)
-N auto_84
-V auto_85(resolve)
-D auto_85,"var",auto_84
-V auto_86(access)
-D auto_86,"var",auto_85
-V auto_87(return)
-D auto_87,"value",auto_86
-V auto_88(resolve)
-D auto_88,"var",auto_84
-V auto_89(access)
-D auto_89,"var",auto_88
-V auto_90(return)
-D auto_90,"value",auto_89
-N auto_91
-N auto_92
-D auto_91,"params",auto_92
-D auto_92,"a",auto_84
-D auto_91,"body",auto_90
-D auto_83,"node",auto_91
-V auto_93(resolve)
-D auto_93,"var",auto_81
-D auto_82,"value",auto_83
-D auto_82,"var",auto_93
-V auto_94(global)
-N auto_95
-D auto_94,"var",auto_95
-V auto_96(assign)
-V auto_97(constant)
-N auto_98
-V auto_99(resolve)
-D auto_99,"var",auto_81
-V auto_100(resolve)
-D auto_100,"var",auto_67
-V auto_101(resolve)
-D auto_101,"var",auto_98
-V auto_102(access)
-D auto_102,"var",auto_101
-N auto_103
-V auto_104("a")
-D auto_103,"name",auto_104
-D auto_103,"value",auto_102
-V auto_105(call)
-V auto_106(access)
-D auto_105,"func",auto_106
-D auto_106,"var",auto_100
-D auto_105,"params",auto_103
-D auto_105,"last_param",auto_103
-N auto_107
-V auto_108("a")
-D auto_107,"name",auto_108
-D auto_107,"value",auto_105
-V auto_109(call)
-V auto_110(access)
-D auto_109,"func",auto_110
-D auto_110,"var",auto_99
-D auto_109,"params",auto_107
-D auto_109,"last_param",auto_107
-V auto_111(return)
-D auto_111,"value",auto_109
-V auto_112(resolve)
-D auto_112,"var",auto_81
-V auto_113(resolve)
-D auto_113,"var",auto_67
-V auto_114(resolve)
-D auto_114,"var",auto_98
-V auto_115(access)
-D auto_115,"var",auto_114
-N auto_116
-V auto_117("a")
-D auto_116,"name",auto_117
-D auto_116,"value",auto_115
-V auto_118(call)
-V auto_119(access)
-D auto_118,"func",auto_119
-D auto_119,"var",auto_113
-D auto_118,"params",auto_116
-D auto_118,"last_param",auto_116
-N auto_120
-V auto_121("a")
-D auto_120,"name",auto_121
-D auto_120,"value",auto_118
-V auto_122(call)
-V auto_123(access)
-D auto_122,"func",auto_123
-D auto_123,"var",auto_112
-D auto_122,"params",auto_120
-D auto_122,"last_param",auto_120
-V auto_124(return)
-D auto_124,"value",auto_122
-N auto_125
-N auto_126
-D auto_125,"params",auto_126
-D auto_126,"a",auto_98
-D auto_125,"body",auto_124
-D auto_97,"node",auto_125
-V auto_127(resolve)
-D auto_127,"var",auto_95
-D auto_96,"value",auto_97
-D auto_96,"var",auto_127
-V auto_128(constant)
-V auto_129(True)
-D auto_128,"node",auto_129
-N auto_130
-V auto_131(declare)
-D auto_131,"var",auto_130
-V auto_132(resolve)
-D auto_132,"var",auto_130
-V auto_133(input)
-V auto_134(assign)
-D auto_134,"var",auto_132
-D auto_134,"value",auto_133
-N auto_135
-V auto_136(declare)
-D auto_136,"var",auto_135
-V auto_137(resolve)
-D auto_137,"var",auto_135
-V auto_138(resolve)
-D auto_138,"var",auto_95
-V auto_139(resolve)
-D auto_139,"var",auto_130
-V auto_140(access)
-D auto_140,"var",auto_139
-N auto_141
-V auto_142("a")
-D auto_141,"name",auto_142
-D auto_141,"value",auto_140
-V auto_143(call)
-V auto_144(access)
-D auto_143,"func",auto_144
-D auto_144,"var",auto_138
-D auto_143,"params",auto_141
-D auto_143,"last_param",auto_141
-V auto_145(assign)
-D auto_145,"var",auto_137
-D auto_145,"value",auto_143
-V auto_146(resolve)
-D auto_146,"var",auto_135
-V auto_147(access)
-D auto_147,"var",auto_146
-V auto_148(resolve)
-D auto_148,"var",auto_135
-V auto_149(access)
-D auto_149,"var",auto_148
-V auto_150(output)
-D auto_150,"value",auto_147
-D auto_131,"next",auto_134
-D auto_134,"next",auto_136
-D auto_136,"next",auto_145
-D auto_145,"next",auto_150
-V auto_151(while)
-D auto_151,"cond",auto_128
-D auto_151,"body",auto_131
-D auto_initial_IP,"next",auto_2
-D auto_2,"next",auto_6
-D auto_6,"next",auto_8
-D auto_8,"next",auto_12
-D auto_12,"next",auto_14
-D auto_14,"next",auto_18
-D auto_18,"next",auto_20
-D auto_20,"next",auto_24
-D auto_24,"next",auto_26
-D auto_26,"next",auto_30
-D auto_30,"next",auto_32
-D auto_32,"next",auto_36
-D auto_36,"next",auto_38
-D auto_38,"next",auto_42
-D auto_42,"next",auto_44
-D auto_44,"next",auto_48
-D auto_48,"next",auto_50
-D auto_50,"next",auto_54
-D auto_54,"next",auto_56
-D auto_56,"next",auto_60
-D auto_60,"next",auto_62
-D auto_62,"next",auto_66
-D auto_66,"next",auto_68
-D auto_68,"next",auto_80
-D auto_80,"next",auto_82
-D auto_82,"next",auto_94
-D auto_94,"next",auto_96
-D auto_96,"next",auto_151

interface/HUTN/test/acceptance/adder.right.al

@@ -1,9 +0,0 @@
-include "integer.al"
-include "io.al"
-include "cast.al"
-while True:
-	Element x
-	x = input()
-	Integer y
-	y = x
-	output(y+y)

interface/HUTN/test/acceptance/adder.right.txt

@@ -1,455 +0,0 @@
-V auto_initial_IP(global)
-N auto_1
-D auto_initial_IP,"var",auto_1
-V auto_2(assign)
-V auto_3(constant)
-D auto_3,"node",?primitives/integer_addition
-V auto_5(resolve)
-D auto_5,"var",auto_1
-D auto_2,"value",auto_3
-D auto_2,"var",auto_5
-V auto_6(global)
-N auto_7
-D auto_6,"var",auto_7
-V auto_8(assign)
-V auto_9(constant)
-D auto_9,"node",?primitives/integer_subtraction
-V auto_11(resolve)
-D auto_11,"var",auto_7
-D auto_8,"value",auto_9
-D auto_8,"var",auto_11
-V auto_12(global)
-N auto_13
-D auto_12,"var",auto_13
-V auto_14(assign)
-V auto_15(constant)
-D auto_15,"node",?primitives/integer_multiplication
-V auto_17(resolve)
-D auto_17,"var",auto_13
-D auto_14,"value",auto_15
-D auto_14,"var",auto_17
-V auto_18(global)
-N auto_19
-D auto_18,"var",auto_19
-V auto_20(assign)
-V auto_21(constant)
-D auto_21,"node",?primitives/integer_division
-V auto_23(resolve)
-D auto_23,"var",auto_19
-D auto_20,"value",auto_21
-D auto_20,"var",auto_23
-V auto_24(global)
-N auto_25
-D auto_24,"var",auto_25
-V auto_26(assign)
-V auto_27(constant)
-D auto_27,"node",?primitives/integer_eq
-V auto_29(resolve)
-D auto_29,"var",auto_25
-D auto_26,"value",auto_27
-D auto_26,"var",auto_29
-V auto_30(global)
-N auto_31
-D auto_30,"var",auto_31
-V auto_32(assign)
-V auto_33(constant)
-D auto_33,"node",?primitives/integer_neq
-V auto_35(resolve)
-D auto_35,"var",auto_31
-D auto_32,"value",auto_33
-D auto_32,"var",auto_35
-V auto_36(global)
-N auto_37
-D auto_36,"var",auto_37
-V auto_38(assign)
-V auto_39(constant)
-D auto_39,"node",?primitives/integer_lt
-V auto_41(resolve)
-D auto_41,"var",auto_37
-D auto_38,"value",auto_39
-D auto_38,"var",auto_41
-V auto_42(global)
-N auto_43
-D auto_42,"var",auto_43
-V auto_44(assign)
-V auto_45(constant)
-D auto_45,"node",?primitives/integer_lte
-V auto_47(resolve)
-D auto_47,"var",auto_43
-D auto_44,"value",auto_45
-D auto_44,"var",auto_47
-V auto_48(global)
-N auto_49
-D auto_48,"var",auto_49
-V auto_50(assign)
-V auto_51(constant)
-D auto_51,"node",?primitives/integer_gt
-V auto_53(resolve)
-D auto_53,"var",auto_49
-D auto_50,"value",auto_51
-D auto_50,"var",auto_53
-V auto_54(global)
-N auto_55
-D auto_54,"var",auto_55
-V auto_56(assign)
-V auto_57(constant)
-D auto_57,"node",?primitives/integer_gte
-V auto_59(resolve)
-D auto_59,"var",auto_55
-D auto_56,"value",auto_57
-D auto_56,"var",auto_59
-V auto_60(global)
-N auto_61
-D auto_60,"var",auto_61
-V auto_62(assign)
-V auto_63(constant)
-D auto_63,"node",?primitives/integer_neg
-V auto_65(resolve)
-D auto_65,"var",auto_61
-D auto_62,"value",auto_63
-D auto_62,"var",auto_65
-V auto_66(global)
-N auto_67
-D auto_66,"var",auto_67
-V auto_68(assign)
-V auto_69(constant)
-D auto_69,"node",?primitives/cast_i2f
-V auto_71(resolve)
-D auto_71,"var",auto_67
-D auto_68,"value",auto_69
-D auto_68,"var",auto_71
-V auto_72(global)
-N auto_73
-D auto_72,"var",auto_73
-V auto_74(assign)
-V auto_75(constant)
-D auto_75,"node",?primitives/cast_i2s
-V auto_77(resolve)
-D auto_77,"var",auto_73
-D auto_74,"value",auto_75
-D auto_74,"var",auto_77
-V auto_78(global)
-N auto_79
-D auto_78,"var",auto_79
-V auto_80(assign)
-V auto_81(constant)
-D auto_81,"node",?primitives/cast_i2b
-V auto_83(resolve)
-D auto_83,"var",auto_79
-D auto_80,"value",auto_81
-D auto_80,"var",auto_83
-V auto_84(global)
-N auto_85
-D auto_84,"var",auto_85
-V auto_86(assign)
-V auto_87(constant)
-D auto_87,"node",?primitives/cast_f2i
-V auto_89(resolve)
-D auto_89,"var",auto_85
-D auto_86,"value",auto_87
-D auto_86,"var",auto_89
-V auto_90(global)
-N auto_91
-D auto_90,"var",auto_91
-V auto_92(assign)
-V auto_93(constant)
-D auto_93,"node",?primitives/cast_f2s
-V auto_95(resolve)
-D auto_95,"var",auto_91
-D auto_92,"value",auto_93
-D auto_92,"var",auto_95
-V auto_96(global)
-N auto_97
-D auto_96,"var",auto_97
-V auto_98(assign)
-V auto_99(constant)
-D auto_99,"node",?primitives/cast_f2b
-V auto_101(resolve)
-D auto_101,"var",auto_97
-D auto_98,"value",auto_99
-D auto_98,"var",auto_101
-V auto_102(global)
-N auto_103
-D auto_102,"var",auto_103
-V auto_104(assign)
-V auto_105(constant)
-D auto_105,"node",?primitives/cast_s2i
-V auto_107(resolve)
-D auto_107,"var",auto_103
-D auto_104,"value",auto_105
-D auto_104,"var",auto_107
-V auto_108(global)
-N auto_109
-D auto_108,"var",auto_109
-V auto_110(assign)
-V auto_111(constant)
-D auto_111,"node",?primitives/cast_s2f
-V auto_113(resolve)
-D auto_113,"var",auto_109
-D auto_110,"value",auto_111
-D auto_110,"var",auto_113
-V auto_114(global)
-N auto_115
-D auto_114,"var",auto_115
-V auto_116(assign)
-V auto_117(constant)
-D auto_117,"node",?primitives/cast_s2b
-V auto_119(resolve)
-D auto_119,"var",auto_115
-D auto_116,"value",auto_117
-D auto_116,"var",auto_119
-V auto_120(global)
-N auto_121
-D auto_120,"var",auto_121
-V auto_122(assign)
-V auto_123(constant)
-D auto_123,"node",?primitives/cast_b2i
-V auto_125(resolve)
-D auto_125,"var",auto_121
-D auto_122,"value",auto_123
-D auto_122,"var",auto_125
-V auto_126(global)
-N auto_127
-D auto_126,"var",auto_127
-V auto_128(assign)
-V auto_129(constant)
-D auto_129,"node",?primitives/cast_b2f
-V auto_131(resolve)
-D auto_131,"var",auto_127
-D auto_128,"value",auto_129
-D auto_128,"var",auto_131
-V auto_132(global)
-N auto_133
-D auto_132,"var",auto_133
-V auto_134(assign)
-V auto_135(constant)
-D auto_135,"node",?primitives/cast_b2s
-V auto_137(resolve)
-D auto_137,"var",auto_133
-D auto_134,"value",auto_135
-D auto_134,"var",auto_137
-V auto_138(global)
-N auto_139
-D auto_138,"var",auto_139
-V auto_140(assign)
-V auto_141(constant)
-D auto_141,"node",?primitives/cast_e2s
-V auto_143(resolve)
-D auto_143,"var",auto_139
-D auto_140,"value",auto_141
-D auto_140,"var",auto_143
-V auto_144(global)
-N auto_145
-D auto_144,"var",auto_145
-V auto_146(assign)
-V auto_147(constant)
-D auto_147,"node",?primitives/cast_a2s
-V auto_149(resolve)
-D auto_149,"var",auto_145
-D auto_146,"value",auto_147
-D auto_146,"var",auto_149
-V auto_150(global)
-N auto_151
-D auto_150,"var",auto_151
-V auto_152(assign)
-V auto_153(constant)
-D auto_153,"node",?primitives/cast_t2s
-V auto_155(resolve)
-D auto_155,"var",auto_151
-D auto_152,"value",auto_153
-D auto_152,"var",auto_155
-V auto_156(global)
-N auto_157
-D auto_156,"var",auto_157
-V auto_158(assign)
-V auto_159(constant)
-D auto_159,"node",?primitives/cast_v2s
-V auto_161(resolve)
-D auto_161,"var",auto_157
-D auto_158,"value",auto_159
-D auto_158,"var",auto_161
-V auto_162(global)
-N auto_163
-D auto_162,"var",auto_163
-V auto_164(assign)
-V auto_165(constant)
-D auto_165,"node",?primitives/cast_id2s
-V auto_167(resolve)
-D auto_167,"var",auto_163
-D auto_164,"value",auto_165
-D auto_164,"var",auto_167
-V auto_168(global)
-N auto_169
-D auto_168,"var",auto_169
-V auto_170(assign)
-V auto_171(constant)
-N auto_172
-V auto_173(resolve)
-D auto_173,"var",auto_103
-V auto_174(resolve)
-D auto_174,"var",auto_139
-V auto_175(resolve)
-D auto_175,"var",auto_172
-V auto_176(access)
-D auto_176,"var",auto_175
-N auto_177
-V auto_178("a")
-D auto_177,"name",auto_178
-D auto_177,"value",auto_176
-V auto_179(call)
-V auto_180(access)
-D auto_179,"func",auto_180
-D auto_180,"var",auto_174
-D auto_179,"params",auto_177
-D auto_179,"last_param",auto_177
-N auto_181
-V auto_182("a")
-D auto_181,"name",auto_182
-D auto_181,"value",auto_179
-V auto_183(call)
-V auto_184(access)
-D auto_183,"func",auto_184
-D auto_184,"var",auto_173
-D auto_183,"params",auto_181
-D auto_183,"last_param",auto_181
-V auto_185(return)
-D auto_185,"value",auto_183
-V auto_186(resolve)
-D auto_186,"var",auto_103
-V auto_187(resolve)
-D auto_187,"var",auto_139
-V auto_188(resolve)
-D auto_188,"var",auto_172
-V auto_189(access)
-D auto_189,"var",auto_188
-N auto_190
-V auto_191("a")
-D auto_190,"name",auto_191
-D auto_190,"value",auto_189
-V auto_192(call)
-V auto_193(access)
-D auto_192,"func",auto_193
-D auto_193,"var",auto_187
-D auto_192,"params",auto_190
-D auto_192,"last_param",auto_190
-N auto_194
-V auto_195("a")
-D auto_194,"name",auto_195
-D auto_194,"value",auto_192
-V auto_196(call)
-V auto_197(access)
-D auto_196,"func",auto_197
-D auto_197,"var",auto_186
-D auto_196,"params",auto_194
-D auto_196,"last_param",auto_194
-V auto_198(return)
-D auto_198,"value",auto_196
-N auto_199
-N auto_200
-D auto_199,"params",auto_200
-D auto_200,"a",auto_172
-D auto_199,"body",auto_198
-D auto_171,"node",auto_199
-V auto_201(resolve)
-D auto_201,"var",auto_169
-D auto_170,"value",auto_171
-D auto_170,"var",auto_201
-V auto_202(constant)
-V auto_203(True)
-D auto_202,"node",auto_203
-N auto_204
-V auto_205(declare)
-D auto_205,"var",auto_204
-V auto_206(resolve)
-D auto_206,"var",auto_204
-V auto_207(input)
-V auto_208(assign)
-D auto_208,"var",auto_206
-D auto_208,"value",auto_207
-N auto_209
-V auto_210(declare)
-D auto_210,"var",auto_209
-V auto_211(resolve)
-D auto_211,"var",auto_209
-V auto_212(resolve)
-D auto_212,"var",auto_204
-V auto_213(access)
-D auto_213,"var",auto_212
-V auto_214(assign)
-D auto_214,"var",auto_211
-D auto_214,"value",auto_213
-V auto_215(resolve)
-D auto_215,"var",auto_209
-V auto_216(access)
-D auto_216,"var",auto_215
-V auto_217(resolve)
-D auto_217,"var",auto_209
-V auto_218(access)
-D auto_218,"var",auto_217
-V auto_219(output)
-D auto_219,"value",auto_216
-D auto_205,"next",auto_208
-D auto_208,"next",auto_210
-D auto_210,"next",auto_214
-D auto_214,"next",auto_219
-V auto_220(while)
-D auto_220,"cond",auto_202
-D auto_220,"body",auto_205
-D auto_initial_IP,"next",auto_2
-D auto_2,"next",auto_6
-D auto_6,"next",auto_8
-D auto_8,"next",auto_12
-D auto_12,"next",auto_14
-D auto_14,"next",auto_18
-D auto_18,"next",auto_20
-D auto_20,"next",auto_24
-D auto_24,"next",auto_26
-D auto_26,"next",auto_30
-D auto_30,"next",auto_32
-D auto_32,"next",auto_36
-D auto_36,"next",auto_38
-D auto_38,"next",auto_42
-D auto_42,"next",auto_44
-D auto_44,"next",auto_48
-D auto_48,"next",auto_50
-D auto_50,"next",auto_54
-D auto_54,"next",auto_56
-D auto_56,"next",auto_60
-D auto_60,"next",auto_62
-D auto_62,"next",auto_66
-D auto_66,"next",auto_68
-D auto_68,"next",auto_72
-D auto_72,"next",auto_74
-D auto_74,"next",auto_78
-D auto_78,"next",auto_80
-D auto_80,"next",auto_84
-D auto_84,"next",auto_86
-D auto_86,"next",auto_90
-D auto_90,"next",auto_92
-D auto_92,"next",auto_96
-D auto_96,"next",auto_98
-D auto_98,"next",auto_102
-D auto_102,"next",auto_104
-D auto_104,"next",auto_108
-D auto_108,"next",auto_110
-D auto_110,"next",auto_114
-D auto_114,"next",auto_116
-D auto_116,"next",auto_120
-D auto_120,"next",auto_122
-D auto_122,"next",auto_126
-D auto_126,"next",auto_128
-D auto_128,"next",auto_132
-D auto_132,"next",auto_134
-D auto_134,"next",auto_138
-D auto_138,"next",auto_140
-D auto_140,"next",auto_144
-D auto_144,"next",auto_146
-D auto_146,"next",auto_150
-D auto_150,"next",auto_152
-D auto_152,"next",auto_156
-D auto_156,"next",auto_158
-D auto_158,"next",auto_162
-D auto_162,"next",auto_164
-D auto_164,"next",auto_168
-D auto_168,"next",auto_170
-D auto_170,"next",auto_220

interface/HUTN/test/acceptance/adder.txt

@@ -1,467 +0,0 @@
-V auto_initial_IP(global)
-N auto_1
-D auto_initial_IP,"var",auto_1
-V auto_2(assign)
-V auto_3(constant)
-D auto_3,"node",?primitives/integer_addition
-V auto_5(resolve)
-D auto_5,"var",auto_1
-D auto_2,"value",auto_3
-D auto_2,"var",auto_5
-V auto_6(global)
-N auto_7
-D auto_6,"var",auto_7
-V auto_8(assign)
-V auto_9(constant)
-D auto_9,"node",?primitives/integer_subtraction
-V auto_11(resolve)
-D auto_11,"var",auto_7
-D auto_8,"value",auto_9
-D auto_8,"var",auto_11
-V auto_12(global)
-N auto_13
-D auto_12,"var",auto_13
-V auto_14(assign)
-V auto_15(constant)
-D auto_15,"node",?primitives/integer_multiplication
-V auto_17(resolve)
-D auto_17,"var",auto_13
-D auto_14,"value",auto_15
-D auto_14,"var",auto_17
-V auto_18(global)
-N auto_19
-D auto_18,"var",auto_19
-V auto_20(assign)
-V auto_21(constant)
-D auto_21,"node",?primitives/integer_division
-V auto_23(resolve)
-D auto_23,"var",auto_19
-D auto_20,"value",auto_21
-D auto_20,"var",auto_23
-V auto_24(global)
-N auto_25
-D auto_24,"var",auto_25
-V auto_26(assign)
-V auto_27(constant)
-D auto_27,"node",?primitives/integer_eq
-V auto_29(resolve)
-D auto_29,"var",auto_25
-D auto_26,"value",auto_27
-D auto_26,"var",auto_29
-V auto_30(global)
-N auto_31
-D auto_30,"var",auto_31
-V auto_32(assign)
-V auto_33(constant)
-D auto_33,"node",?primitives/integer_neq
-V auto_35(resolve)
-D auto_35,"var",auto_31
-D auto_32,"value",auto_33
-D auto_32,"var",auto_35
-V auto_36(global)
-N auto_37
-D auto_36,"var",auto_37
-V auto_38(assign)
-V auto_39(constant)
-D auto_39,"node",?primitives/integer_lt
-V auto_41(resolve)
-D auto_41,"var",auto_37
-D auto_38,"value",auto_39
-D auto_38,"var",auto_41
-V auto_42(global)
-N auto_43
-D auto_42,"var",auto_43
-V auto_44(assign)
-V auto_45(constant)
-D auto_45,"node",?primitives/integer_lte
-V auto_47(resolve)
-D auto_47,"var",auto_43
-D auto_44,"value",auto_45
-D auto_44,"var",auto_47
-V auto_48(global)
-N auto_49
-D auto_48,"var",auto_49
-V auto_50(assign)
-V auto_51(constant)
-D auto_51,"node",?primitives/integer_gt
-V auto_53(resolve)
-D auto_53,"var",auto_49
-D auto_50,"value",auto_51
-D auto_50,"var",auto_53
-V auto_54(global)
-N auto_55
-D auto_54,"var",auto_55
-V auto_56(assign)
-V auto_57(constant)
-D auto_57,"node",?primitives/integer_gte
-V auto_59(resolve)
-D auto_59,"var",auto_55
-D auto_56,"value",auto_57
-D auto_56,"var",auto_59
-V auto_60(global)
-N auto_61
-D auto_60,"var",auto_61
-V auto_62(assign)
-V auto_63(constant)
-D auto_63,"node",?primitives/integer_neg
-V auto_65(resolve)
-D auto_65,"var",auto_61
-D auto_62,"value",auto_63
-D auto_62,"var",auto_65
-V auto_66(global)
-N auto_67
-D auto_66,"var",auto_67
-V auto_68(assign)
-V auto_69(constant)
-D auto_69,"node",?primitives/cast_i2f
-V auto_71(resolve)
-D auto_71,"var",auto_67
-D auto_68,"value",auto_69
-D auto_68,"var",auto_71
-V auto_72(global)
-N auto_73
-D auto_72,"var",auto_73
-V auto_74(assign)
-V auto_75(constant)
-D auto_75,"node",?primitives/cast_i2s
-V auto_77(resolve)
-D auto_77,"var",auto_73
-D auto_74,"value",auto_75
-D auto_74,"var",auto_77
-V auto_78(global)
-N auto_79
-D auto_78,"var",auto_79
-V auto_80(assign)
-V auto_81(constant)
-D auto_81,"node",?primitives/cast_i2b
-V auto_83(resolve)
-D auto_83,"var",auto_79
-D auto_80,"value",auto_81
-D auto_80,"var",auto_83
-V auto_84(global)
-N auto_85
-D auto_84,"var",auto_85
-V auto_86(assign)
-V auto_87(constant)
-D auto_87,"node",?primitives/cast_f2i
-V auto_89(resolve)
-D auto_89,"var",auto_85
-D auto_86,"value",auto_87
-D auto_86,"var",auto_89
-V auto_90(global)
-N auto_91
-D auto_90,"var",auto_91
-V auto_92(assign)
-V auto_93(constant)
-D auto_93,"node",?primitives/cast_f2s
-V auto_95(resolve)
-D auto_95,"var",auto_91
-D auto_92,"value",auto_93
-D auto_92,"var",auto_95
-V auto_96(global)
-N auto_97
-D auto_96,"var",auto_97
-V auto_98(assign)
-V auto_99(constant)
-D auto_99,"node",?primitives/cast_f2b
-V auto_101(resolve)
-D auto_101,"var",auto_97
-D auto_98,"value",auto_99
-D auto_98,"var",auto_101
-V auto_102(global)
-N auto_103
-D auto_102,"var",auto_103
-V auto_104(assign)
-V auto_105(constant)
-D auto_105,"node",?primitives/cast_s2i
-V auto_107(resolve)
-D auto_107,"var",auto_103
-D auto_104,"value",auto_105
-D auto_104,"var",auto_107
-V auto_108(global)
-N auto_109
-D auto_108,"var",auto_109
-V auto_110(assign)
-V auto_111(constant)
-D auto_111,"node",?primitives/cast_s2f
-V auto_113(resolve)
-D auto_113,"var",auto_109
-D auto_110,"value",auto_111
-D auto_110,"var",auto_113
-V auto_114(global)
-N auto_115
-D auto_114,"var",auto_115
-V auto_116(assign)
-V auto_117(constant)
-D auto_117,"node",?primitives/cast_s2b
-V auto_119(resolve)
-D auto_119,"var",auto_115
-D auto_116,"value",auto_117
-D auto_116,"var",auto_119
-V auto_120(global)
-N auto_121
-D auto_120,"var",auto_121
-V auto_122(assign)
-V auto_123(constant)
-D auto_123,"node",?primitives/cast_b2i
-V auto_125(resolve)
-D auto_125,"var",auto_121
-D auto_122,"value",auto_123
-D auto_122,"var",auto_125
-V auto_126(global)
-N auto_127
-D auto_126,"var",auto_127
-V auto_128(assign)
-V auto_129(constant)
-D auto_129,"node",?primitives/cast_b2f
-V auto_131(resolve)
-D auto_131,"var",auto_127
-D auto_128,"value",auto_129
-D auto_128,"var",auto_131
-V auto_132(global)
-N auto_133
-D auto_132,"var",auto_133
-V auto_134(assign)
-V auto_135(constant)
-D auto_135,"node",?primitives/cast_b2s
-V auto_137(resolve)
-D auto_137,"var",auto_133
-D auto_134,"value",auto_135
-D auto_134,"var",auto_137
-V auto_138(global)
-N auto_139
-D auto_138,"var",auto_139
-V auto_140(assign)
-V auto_141(constant)
-D auto_141,"node",?primitives/cast_e2s
-V auto_143(resolve)
-D auto_143,"var",auto_139
-D auto_140,"value",auto_141
-D auto_140,"var",auto_143
-V auto_144(global)
-N auto_145
-D auto_144,"var",auto_145
-V auto_146(assign)
-V auto_147(constant)
-D auto_147,"node",?primitives/cast_a2s
-V auto_149(resolve)
-D auto_149,"var",auto_145
-D auto_146,"value",auto_147
-D auto_146,"var",auto_149
-V auto_150(global)
-N auto_151
-D auto_150,"var",auto_151
-V auto_152(assign)
-V auto_153(constant)
-D auto_153,"node",?primitives/cast_t2s
-V auto_155(resolve)
-D auto_155,"var",auto_151
-D auto_152,"value",auto_153
-D auto_152,"var",auto_155
-V auto_156(global)
-N auto_157
-D auto_156,"var",auto_157
-V auto_158(assign)
-V auto_159(constant)
-D auto_159,"node",?primitives/cast_v2s
-V auto_161(resolve)
-D auto_161,"var",auto_157
-D auto_158,"value",auto_159
-D auto_158,"var",auto_161
-V auto_162(global)
-N auto_163
-D auto_162,"var",auto_163
-V auto_164(assign)
-V auto_165(constant)
-D auto_165,"node",?primitives/cast_id2s
-V auto_167(resolve)
-D auto_167,"var",auto_163
-D auto_164,"value",auto_165
-D auto_164,"var",auto_167
-V auto_168(global)
-N auto_169
-D auto_168,"var",auto_169
-V auto_170(assign)
-V auto_171(constant)
-N auto_172
-V auto_173(resolve)
-D auto_173,"var",auto_103
-V auto_174(resolve)
-D auto_174,"var",auto_139
-V auto_175(resolve)
-D auto_175,"var",auto_172
-V auto_176(access)
-D auto_176,"var",auto_175
-N auto_177
-V auto_178("a")
-D auto_177,"name",auto_178
-D auto_177,"value",auto_176
-V auto_179(call)
-V auto_180(access)
-D auto_179,"func",auto_180
-D auto_180,"var",auto_174
-D auto_179,"params",auto_177
-D auto_179,"last_param",auto_177
-N auto_181
-V auto_182("a")
-D auto_181,"name",auto_182
-D auto_181,"value",auto_179
-V auto_183(call)
-V auto_184(access)
-D auto_183,"func",auto_184
-D auto_184,"var",auto_173
-D auto_183,"params",auto_181
-D auto_183,"last_param",auto_181
-V auto_185(return)
-D auto_185,"value",auto_183
-V auto_186(resolve)
-D auto_186,"var",auto_103
-V auto_187(resolve)
-D auto_187,"var",auto_139
-V auto_188(resolve)
-D auto_188,"var",auto_172
-V auto_189(access)
-D auto_189,"var",auto_188
-N auto_190
-V auto_191("a")
-D auto_190,"name",auto_191
-D auto_190,"value",auto_189
-V auto_192(call)
-V auto_193(access)
-D auto_192,"func",auto_193
-D auto_193,"var",auto_187
-D auto_192,"params",auto_190
-D auto_192,"last_param",auto_190
-N auto_194
-V auto_195("a")
-D auto_194,"name",auto_195
-D auto_194,"value",auto_192
-V auto_196(call)
-V auto_197(access)
-D auto_196,"func",auto_197
-D auto_197,"var",auto_186
-D auto_196,"params",auto_194
-D auto_196,"last_param",auto_194
-V auto_198(return)
-D auto_198,"value",auto_196
-N auto_199
-N auto_200
-D auto_199,"params",auto_200
-D auto_200,"a",auto_172
-D auto_199,"body",auto_198
-D auto_171,"node",auto_199
-V auto_201(resolve)
-D auto_201,"var",auto_169
-D auto_170,"value",auto_171
-D auto_170,"var",auto_201
-V auto_202(constant)
-V auto_203(True)
-D auto_202,"node",auto_203
-N auto_204
-V auto_205(declare)
-D auto_205,"var",auto_204
-V auto_206(resolve)
-D auto_206,"var",auto_204
-V auto_207(input)
-V auto_208(assign)
-D auto_208,"var",auto_206
-D auto_208,"value",auto_207
-N auto_209
-V auto_210(declare)
-D auto_210,"var",auto_209
-V auto_211(resolve)
-D auto_211,"var",auto_209
-V auto_212(resolve)
-D auto_212,"var",auto_169
-V auto_213(resolve)
-D auto_213,"var",auto_204
-V auto_214(access)
-D auto_214,"var",auto_213
-N auto_215
-V auto_216("a")
-D auto_215,"name",auto_216
-D auto_215,"value",auto_214
-V auto_217(call)
-V auto_218(access)
-D auto_217,"func",auto_218
-D auto_218,"var",auto_212
-D auto_217,"params",auto_215
-D auto_217,"last_param",auto_215
-V auto_219(assign)
-D auto_219,"var",auto_211
-D auto_219,"value",auto_217
-V auto_220(resolve)
-D auto_220,"var",auto_209
-V auto_221(access)
-D auto_221,"var",auto_220
-V auto_222(resolve)
-D auto_222,"var",auto_209
-V auto_223(access)
-D auto_223,"var",auto_222
-V auto_224(output)
-D auto_224,"value",auto_221
-D auto_205,"next",auto_208
-D auto_208,"next",auto_210
-D auto_210,"next",auto_219
-D auto_219,"next",auto_224
-V auto_225(while)
-D auto_225,"cond",auto_202
-D auto_225,"body",auto_205
-D auto_initial_IP,"next",auto_2
-D auto_2,"next",auto_6
-D auto_6,"next",auto_8
-D auto_8,"next",auto_12
-D auto_12,"next",auto_14
-D auto_14,"next",auto_18
-D auto_18,"next",auto_20
-D auto_20,"next",auto_24
-D auto_24,"next",auto_26
-D auto_26,"next",auto_30
-D auto_30,"next",auto_32
-D auto_32,"next",auto_36
-D auto_36,"next",auto_38
-D auto_38,"next",auto_42
-D auto_42,"next",auto_44
-D auto_44,"next",auto_48
-D auto_48,"next",auto_50
-D auto_50,"next",auto_54
-D auto_54,"next",auto_56
-D auto_56,"next",auto_60
-D auto_60,"next",auto_62
-D auto_62,"next",auto_66
-D auto_66,"next",auto_68
-D auto_68,"next",auto_72
-D auto_72,"next",auto_74
-D auto_74,"next",auto_78
-D auto_78,"next",auto_80
-D auto_80,"next",auto_84
-D auto_84,"next",auto_86
-D auto_86,"next",auto_90
-D auto_90,"next",auto_92
-D auto_92,"next",auto_96
-D auto_96,"next",auto_98
-D auto_98,"next",auto_102
-D auto_102,"next",auto_104
-D auto_104,"next",auto_108
-D auto_108,"next",auto_110
-D auto_110,"next",auto_114
-D auto_114,"next",auto_116
-D auto_116,"next",auto_120
-D auto_120,"next",auto_122
-D auto_122,"next",auto_126
-D auto_126,"next",auto_128
-D auto_128,"next",auto_132
-D auto_132,"next",auto_134
-D auto_134,"next",auto_138
-D auto_138,"next",auto_140
-D auto_140,"next",auto_144
-D auto_144,"next",auto_146
-D auto_146,"next",auto_150
-D auto_150,"next",auto_152
-D auto_152,"next",auto_156
-D auto_156,"next",auto_158
-D auto_158,"next",auto_162
-D auto_162,"next",auto_164
-D auto_164,"next",auto_168
-D auto_168,"next",auto_170
-D auto_170,"next",auto_225

interface/HUTN/test/acceptance/addmul.al

@@ -1,4 +0,0 @@
-include "io.al"
-include "integer.al"
-while (True):
-	output(10+11*2)

interface/HUTN/test/acceptance/addmul.al.txt

@@ -1,183 +0,0 @@
-V auto_initial_IP(global)
-N auto_1
-D auto_initial_IP,"var",auto_1
-V auto_2(assign)
-V auto_3(constant)
-D auto_3,"node",?primitives/integer_addition
-V auto_5(resolve)
-D auto_5,"var",auto_1
-D auto_2,"value",auto_3
-D auto_2,"var",auto_5
-V auto_6(global)
-N auto_7
-D auto_6,"var",auto_7
-V auto_8(assign)
-V auto_9(constant)
-D auto_9,"node",?primitives/integer_subtraction
-V auto_11(resolve)
-D auto_11,"var",auto_7
-D auto_8,"value",auto_9
-D auto_8,"var",auto_11
-V auto_12(global)
-N auto_13
-D auto_12,"var",auto_13
-V auto_14(assign)
-V auto_15(constant)
-D auto_15,"node",?primitives/integer_multiplication
-V auto_17(resolve)
-D auto_17,"var",auto_13
-D auto_14,"value",auto_15
-D auto_14,"var",auto_17
-V auto_18(global)
-N auto_19
-D auto_18,"var",auto_19
-V auto_20(assign)
-V auto_21(constant)
-D auto_21,"node",?primitives/integer_division
-V auto_23(resolve)
-D auto_23,"var",auto_19
-D auto_20,"value",auto_21
-D auto_20,"var",auto_23
-V auto_24(global)
-N auto_25
-D auto_24,"var",auto_25
-V auto_26(assign)
-V auto_27(constant)
-D auto_27,"node",?primitives/integer_eq
-V auto_29(resolve)
-D auto_29,"var",auto_25
-D auto_26,"value",auto_27
-D auto_26,"var",auto_29
-V auto_30(global)
-N auto_31
-D auto_30,"var",auto_31
-V auto_32(assign)
-V auto_33(constant)
-D auto_33,"node",?primitives/integer_neq
-V auto_35(resolve)
-D auto_35,"var",auto_31
-D auto_32,"value",auto_33
-D auto_32,"var",auto_35
-V auto_36(global)
-N auto_37
-D auto_36,"var",auto_37
-V auto_38(assign)
-V auto_39(constant)
-D auto_39,"node",?primitives/integer_lt
-V auto_41(resolve)
-D auto_41,"var",auto_37
-D auto_38,"value",auto_39
-D auto_38,"var",auto_41
-V auto_42(global)
-N auto_43
-D auto_42,"var",auto_43
-V auto_44(assign)
-V auto_45(constant)
-D auto_45,"node",?primitives/integer_lte
-V auto_47(resolve)
-D auto_47,"var",auto_43
-D auto_44,"value",auto_45
-D auto_44,"var",auto_47
-V auto_48(global)
-N auto_49
-D auto_48,"var",auto_49
-V auto_50(assign)
-V auto_51(constant)
-D auto_51,"node",?primitives/integer_gt
-V auto_53(resolve)
-D auto_53,"var",auto_49
-D auto_50,"value",auto_51
-D auto_50,"var",auto_53
-V auto_54(global)
-N auto_55
-D auto_54,"var",auto_55
-V auto_56(assign)
-V auto_57(constant)
-D auto_57,"node",?primitives/integer_gte
-V auto_59(resolve)
-D auto_59,"var",auto_55
-D auto_56,"value",auto_57
-D auto_56,"var",auto_59
-V auto_60(global)
-N auto_61
-D auto_60,"var",auto_61
-V auto_62(assign)
-V auto_63(constant)
-D auto_63,"node",?primitives/integer_neg
-V auto_65(resolve)
-D auto_65,"var",auto_61
-D auto_62,"value",auto_63
-D auto_62,"var",auto_65
-V auto_66(constant)
-V auto_67(True)
-D auto_66,"node",auto_67
-V auto_68(resolve)
-D auto_68,"var",auto_1
-V auto_69(constant)
-V auto_70(10)
-D auto_69,"node",auto_70
-V auto_71(resolve)
-D auto_71,"var",auto_13
-V auto_72(constant)
-V auto_73(11)
-D auto_72,"node",auto_73
-V auto_74(constant)
-V auto_75(2)
-D auto_74,"node",auto_75
-N auto_76
-V auto_77("b")
-D auto_76,"name",auto_77
-D auto_76,"value",auto_74
-N auto_78
-V auto_79("a")
-D auto_78,"name",auto_79
-D auto_78,"value",auto_72
-D auto_78,"next_param",auto_76
-V auto_80(call)
-V auto_81(access)
-D auto_80,"func",auto_81
-D auto_81,"var",auto_71
-D auto_80,"params",auto_78
-D auto_80,"last_param",auto_76
-N auto_82
-V auto_83("b")
-D auto_82,"name",auto_83
-D auto_82,"value",auto_80
-N auto_84
-V auto_85("a")
-D auto_84,"name",auto_85
-D auto_84,"value",auto_69
-D auto_84,"next_param",auto_82
-V auto_86(call)
-V auto_87(access)
-D auto_86,"func",auto_87
-D auto_87,"var",auto_68
-D auto_86,"params",auto_84
-D auto_86,"last_param",auto_82
-V auto_88(output)
-D auto_88,"value",auto_86
-V auto_89(while)
-D auto_89,"cond",auto_66
-D auto_89,"body",auto_88
-D auto_initial_IP,"next",auto_2
-D auto_2,"next",auto_6
-D auto_6,"next",auto_8
-D auto_8,"next",auto_12
-D auto_12,"next",auto_14
-D auto_14,"next",auto_18
-D auto_18,"next",auto_20
-D auto_20,"next",auto_24
-D auto_24,"next",auto_26
-D auto_26,"next",auto_30
-D auto_30,"next",auto_32
-D auto_32,"next",auto_36
-D auto_36,"next",auto_38
-D auto_38,"next",auto_42
-D auto_42,"next",auto_44
-D auto_44,"next",auto_48
-D auto_48,"next",auto_50
-D auto_50,"next",auto_54
-D auto_54,"next",auto_56
-D auto_56,"next",auto_60
-D auto_60,"next",auto_62
-D auto_62,"next",auto_89

interface/HUTN/test/acceptance/assign.al

@@ -1,2 +0,0 @@
-Integer n
-n = 10

interface/HUTN/test/acceptance/call_variable.al

@@ -1,2 +0,0 @@
-Element n
-n()

interface/HUTN/test/acceptance/mirror.old.al

@@ -1,3 +0,0 @@
-Element x
-x = input()
-output(x)

interface/HUTN/test/acceptance/mirror.old.txt

@@ -1,17 +0,0 @@
-N auto_0
-V auto_initial_IP(global)
-D auto_initial_IP,"var",auto_0
-V auto_2(resolve)
-D auto_2,"var",auto_0
-V auto_3(input)
-V auto_4(assign)
-D auto_4,"var",auto_2
-D auto_4,"value",auto_3
-D auto_initial_IP,"next",auto_4
-V auto_5(output)
-V auto_6(resolve)
-D auto_6,"var",auto_0
-V auto_7(access)
-D auto_7,"var",auto_6
-D auto_5,"value",auto_7
-D auto_4,"next",auto_5

interface/HUTN/test/acceptance/mirror.txt

@@ -1,23 +0,0 @@
-V auto_0(constant)
-V auto_1(True)
-D auto_0,"node",auto_1
-N auto_2
-V auto_3(declare)
-D auto_3,"var",auto_2
-V auto_4(resolve)
-D auto_4,"var",auto_2
-V auto_5(input)
-V auto_6(assign)
-D auto_6,"var",auto_4
-D auto_6,"value",auto_5
-V auto_7(resolve)
-D auto_7,"var",auto_2
-V auto_8(access)
-D auto_8,"var",auto_7
-V auto_9(output)
-D auto_9,"value",auto_8
-D auto_3,"next",auto_6
-D auto_6,"next",auto_9
-V auto_initial_IP(while)
-D auto_initial_IP,"cond",auto_0
-D auto_initial_IP,"body",auto_3

interface/HUTN/test/acceptance/mirror/mirror.al

@@ -1,5 +0,0 @@
-include "io.al"
-while (True):
-	Integer x
-	x = input()
-	output(x)

interface/HUTN/test/acceptance/mirror/mirror.al.txt

@@ -1,24 +0,0 @@
-V auto_0(constant)
-V auto_1(True)
-D auto_0,"node",auto_1
-N auto_2
-V auto_3(global)
-D auto_3,"var",auto_2
-V auto_4(resolve)
-D auto_4,"var",auto_2
-V auto_5(input)
-V auto_6(assign)
-D auto_6,"var",auto_4
-D auto_6,"value",auto_5
-V auto_7(resolve)
-D auto_7,"var",auto_2
-V auto_8(access)
-D auto_8,"var",auto_7
-V auto_9(output)
-D auto_9,"value",auto_8
-D auto_3,"next",auto_6
-D auto_6,"next",auto_9
-V auto_initial_IP(while)
-D auto_initial_IP,"cond",auto_0
-D auto_initial_IP,"body",auto_3
-

interface/HUTN/test/acceptance/mirror/mirror.al.txt.norm

@@ -1,24 +0,0 @@
-V auto_initial_IP(while)
-V auto_1(global)
-V auto_10(True)
-V auto_2(assign)
-V auto_3(output)
-V auto_4(access)
-V auto_5(resolve)
-N auto_6
-V auto_7(input)
-V auto_8(resolve)
-V auto_9(constant)
-D auto_initial_IP,"body",auto_1
-D auto_initial_IP,"cond",auto_9
-D auto_1,"next",auto_2
-D auto_1,"var",auto_6
-D auto_2,"next",auto_3
-D auto_2,"value",auto_7
-D auto_2,"var",auto_8
-D auto_3,"value",auto_4
-D auto_4,"var",auto_5
-D auto_5,"var",auto_6
-D auto_8,"var",auto_6
-D auto_9,"node",auto_10
-

interface/HUTN/test/acceptance/mirror/mirror.altrunk.txt

@@ -1,23 +0,0 @@
-V auto_initial_IP(while)
-V auto_1(True)
-V auto_2(constant)
-D auto_2,"node",auto_1
-N auto_3
-V auto_4(global)
-D auto_4,"var",auto_3
-V auto_5(resolve)
-D auto_5,"var",auto_3
-V auto_6(input)
-V auto_7(assign)
-D auto_7,"var",auto_5
-D auto_7,"value",auto_6
-D auto_4,"next",auto_7
-V auto_8(output)
-V auto_9(resolve)
-D auto_9,"var",auto_3
-V auto_10(access)
-D auto_10,"var",auto_9
-D auto_8,"value",auto_10
-D auto_7,"next",auto_8
-D auto_initial_IP,"cond",auto_2
-D auto_initial_IP,"body",auto_4

interface/HUTN/test/acceptance/mirror/mirror.altrunk.txt.norm

@@ -1,24 +0,0 @@
-V auto_initial_IP(while)
-V auto_1(global)
-V auto_10(True)
-V auto_2(assign)
-V auto_3(output)
-V auto_4(access)
-V auto_5(resolve)
-N auto_6
-V auto_7(input)
-V auto_8(resolve)
-V auto_9(constant)
-D auto_initial_IP,"body",auto_1
-D auto_initial_IP,"cond",auto_9
-D auto_1,"next",auto_2
-D auto_1,"var",auto_6
-D auto_2,"next",auto_3
-D auto_2,"value",auto_7
-D auto_2,"var",auto_8
-D auto_3,"value",auto_4
-D auto_4,"var",auto_5
-D auto_5,"var",auto_6
-D auto_8,"var",auto_6
-D auto_9,"node",auto_10
-

interface/HUTN/test/acceptance/out.txt

@@ -1,23 +0,0 @@
-V auto_0(constant)
-V auto_1(True)
-D auto_0,"node",auto_1
-N auto_2
-V auto_3(declare)
-D auto_3,"var",auto_2
-V auto_4(resolve)
-D auto_4,"var",auto_2
-V auto_5(input)
-V auto_6(assign)
-D auto_6,"var",auto_4
-D auto_6,"value",auto_5
-V auto_7(resolve)
-D auto_7,"var",auto_2
-V auto_8(access)
-D auto_8,"var",auto_7
-V auto_9(output)
-D auto_9,"value",auto_8
-D auto_3,"next",auto_6
-D auto_6,"next",auto_9
-V auto_initial_IP(while)
-D auto_initial_IP,"cond",auto_0
-D auto_initial_IP,"body",auto_3

interface/HUTN/test/acceptance/param_hiding.al

@@ -1,9 +0,0 @@
-include "io.al"
-
-Integer function f(x: Integer):
-	Integer x
-	x = 10
-	return x
-
-while True:
-	output(f(100))

interface/HUTN/test/acceptance/real.adder.al

@@ -1,8 +0,0 @@
-include "io.al"
-include "integer.al"
-while (True):
-	Integer x
-	Integer y
-	x = input()
-	y = input()
-	output(integer_addition(x, y))

interface/HUTN/test/acceptance/real.adder.al.txt

@@ -1,187 +0,0 @@
-V auto_initial_IP(global)
-N auto_1
-D auto_initial_IP,"var",auto_1
-V auto_2(assign)
-V auto_3(constant)
-D auto_3,"node",?primitives/integer_addition
-V auto_5(resolve)
-D auto_5,"var",auto_1
-D auto_2,"value",auto_3
-D auto_2,"var",auto_5
-V auto_6(global)
-N auto_7
-D auto_6,"var",auto_7
-V auto_8(assign)
-V auto_9(constant)
-D auto_9,"node",?primitives/integer_subtraction
-V auto_11(resolve)
-D auto_11,"var",auto_7
-D auto_8,"value",auto_9
-D auto_8,"var",auto_11
-V auto_12(global)
-N auto_13
-D auto_12,"var",auto_13
-V auto_14(assign)
-V auto_15(constant)
-D auto_15,"node",?primitives/integer_multiplication
-V auto_17(resolve)
-D auto_17,"var",auto_13
-D auto_14,"value",auto_15
-D auto_14,"var",auto_17
-V auto_18(global)
-N auto_19
-D auto_18,"var",auto_19
-V auto_20(assign)
-V auto_21(constant)
-D auto_21,"node",?primitives/integer_division
-V auto_23(resolve)
-D auto_23,"var",auto_19
-D auto_20,"value",auto_21
-D auto_20,"var",auto_23
-V auto_24(global)
-N auto_25
-D auto_24,"var",auto_25
-V auto_26(assign)
-V auto_27(constant)
-D auto_27,"node",?primitives/integer_eq
-V auto_29(resolve)
-D auto_29,"var",auto_25
-D auto_26,"value",auto_27
-D auto_26,"var",auto_29
-V auto_30(global)
-N auto_31
-D auto_30,"var",auto_31
-V auto_32(assign)
-V auto_33(constant)
-D auto_33,"node",?primitives/integer_neq
-V auto_35(resolve)
-D auto_35,"var",auto_31
-D auto_32,"value",auto_33
-D auto_32,"var",auto_35
-V auto_36(global)
-N auto_37
-D auto_36,"var",auto_37
-V auto_38(assign)
-V auto_39(constant)
-D auto_39,"node",?primitives/integer_lt
-V auto_41(resolve)
-D auto_41,"var",auto_37
-D auto_38,"value",auto_39
-D auto_38,"var",auto_41
-V auto_42(global)
-N auto_43
-D auto_42,"var",auto_43
-V auto_44(assign)
-V auto_45(constant)
-D auto_45,"node",?primitives/integer_lte
-V auto_47(resolve)
-D auto_47,"var",auto_43
-D auto_44,"value",auto_45
-D auto_44,"var",auto_47
-V auto_48(global)
-N auto_49
-D auto_48,"var",auto_49
-V auto_50(assign)
-V auto_51(constant)
-D auto_51,"node",?primitives/integer_gt
-V auto_53(resolve)
-D auto_53,"var",auto_49
-D auto_50,"value",auto_51
-D auto_50,"var",auto_53
-V auto_54(global)
-N auto_55
-D auto_54,"var",auto_55
-V auto_56(assign)
-V auto_57(constant)
-D auto_57,"node",?primitives/integer_gte
-V auto_59(resolve)
-D auto_59,"var",auto_55
-D auto_56,"value",auto_57
-D auto_56,"var",auto_59
-V auto_60(global)
-N auto_61
-D auto_60,"var",auto_61
-V auto_62(assign)
-V auto_63(constant)
-D auto_63,"node",?primitives/integer_neg
-V auto_65(resolve)
-D auto_65,"var",auto_61
-D auto_62,"value",auto_63
-D auto_62,"var",auto_65
-V auto_66(constant)
-V auto_67(True)
-D auto_66,"node",auto_67
-N auto_68
-V auto_69(declare)
-D auto_69,"var",auto_68
-N auto_70
-V auto_71(declare)
-D auto_71,"var",auto_70
-V auto_72(resolve)
-D auto_72,"var",auto_68
-V auto_73(input)
-V auto_74(assign)
-D auto_74,"var",auto_72
-D auto_74,"value",auto_73
-V auto_75(resolve)
-D auto_75,"var",auto_70
-V auto_76(input)
-V auto_77(assign)
-D auto_77,"var",auto_75
-D auto_77,"value",auto_76
-V auto_78(resolve)
-D auto_78,"var",auto_1
-V auto_79(resolve)
-D auto_79,"var",auto_68
-V auto_80(access)
-D auto_80,"var",auto_79
-V auto_81(resolve)
-D auto_81,"var",auto_70
-V auto_82(access)
-D auto_82,"var",auto_81
-N auto_83
-V auto_84("b")
-D auto_83,"name",auto_84
-D auto_83,"value",auto_82
-N auto_85
-V auto_86("a")
-D auto_85,"name",auto_86
-D auto_85,"value",auto_80
-D auto_85,"next_param",auto_83
-V auto_87(call)
-V auto_88(access)
-D auto_87,"func",auto_88
-D auto_88,"var",auto_78
-D auto_87,"params",auto_85
-D auto_87,"last_param",auto_83
-V auto_89(output)
-D auto_89,"value",auto_87
-D auto_69,"next",auto_71
-D auto_71,"next",auto_74
-D auto_74,"next",auto_77
-D auto_77,"next",auto_89
-V auto_90(while)
-D auto_90,"cond",auto_66
-D auto_90,"body",auto_69
-D auto_initial_IP,"next",auto_2
-D auto_2,"next",auto_6
-D auto_6,"next",auto_8
-D auto_8,"next",auto_12
-D auto_12,"next",auto_14
-D auto_14,"next",auto_18
-D auto_18,"next",auto_20
-D auto_20,"next",auto_24
-D auto_24,"next",auto_26
-D auto_26,"next",auto_30
-D auto_30,"next",auto_32
-D auto_32,"next",auto_36
-D auto_36,"next",auto_38
-D auto_38,"next",auto_42
-D auto_42,"next",auto_44
-D auto_44,"next",auto_48
-D auto_48,"next",auto_50
-D auto_50,"next",auto_54
-D auto_54,"next",auto_56
-D auto_56,"next",auto_60
-D auto_60,"next",auto_62
-D auto_62,"next",auto_90

interface/HUTN/test/acceptance/real.adder.altrunk.txt

@@ -1,187 +0,0 @@
-N auto_0
-V auto_initial_IP(global)
-D auto_initial_IP,"var",auto_0
-V auto_2(resolve)
-D auto_2,"var",auto_0
-V auto_3(assign)
-D auto_3,"var",auto_2
-V auto_4(constant)
-D auto_4,"node",?primitives/integer_addition
-D auto_3,"value",auto_4
-D auto_initial_IP,"next",auto_3
-N auto_5
-V auto_6(global)
-D auto_6,"var",auto_5
-D auto_3,"next",auto_6
-V auto_7(resolve)
-D auto_7,"var",auto_5
-V auto_8(assign)
-D auto_8,"var",auto_7
-V auto_9(constant)
-D auto_9,"node",?primitives/integer_subtraction
-D auto_8,"value",auto_9
-D auto_6,"next",auto_8
-N auto_10
-V auto_11(global)
-D auto_11,"var",auto_10
-D auto_8,"next",auto_11
-V auto_12(resolve)
-D auto_12,"var",auto_10
-V auto_13(assign)
-D auto_13,"var",auto_12
-V auto_14(constant)
-D auto_14,"node",?primitives/integer_multiplication
-D auto_13,"value",auto_14
-D auto_11,"next",auto_13
-N auto_15
-V auto_16(global)
-D auto_16,"var",auto_15
-D auto_13,"next",auto_16
-V auto_17(resolve)
-D auto_17,"var",auto_15
-V auto_18(assign)
-D auto_18,"var",auto_17
-V auto_19(constant)
-D auto_19,"node",?primitives/integer_division
-D auto_18,"value",auto_19
-D auto_16,"next",auto_18
-N auto_20
-V auto_21(global)
-D auto_21,"var",auto_20
-D auto_18,"next",auto_21
-V auto_22(resolve)
-D auto_22,"var",auto_20
-V auto_23(assign)
-D auto_23,"var",auto_22
-V auto_24(constant)
-D auto_24,"node",?primitives/integer_gt
-D auto_23,"value",auto_24
-D auto_21,"next",auto_23
-N auto_25
-V auto_26(global)
-D auto_26,"var",auto_25
-D auto_23,"next",auto_26
-V auto_27(resolve)
-D auto_27,"var",auto_25
-V auto_28(assign)
-D auto_28,"var",auto_27
-V auto_29(constant)
-D auto_29,"node",?primitives/integer_gte
-D auto_28,"value",auto_29
-D auto_26,"next",auto_28
-N auto_30
-V auto_31(global)
-D auto_31,"var",auto_30
-D auto_28,"next",auto_31
-V auto_32(resolve)
-D auto_32,"var",auto_30
-V auto_33(assign)
-D auto_33,"var",auto_32
-V auto_34(constant)
-D auto_34,"node",?primitives/integer_lt
-D auto_33,"value",auto_34
-D auto_31,"next",auto_33
-N auto_35
-V auto_36(global)
-D auto_36,"var",auto_35
-D auto_33,"next",auto_36
-V auto_37(resolve)
-D auto_37,"var",auto_35
-V auto_38(assign)
-D auto_38,"var",auto_37
-V auto_39(constant)
-D auto_39,"node",?primitives/integer_lte
-D auto_38,"value",auto_39
-D auto_36,"next",auto_38
-N auto_40
-V auto_41(global)
-D auto_41,"var",auto_40
-D auto_38,"next",auto_41
-V auto_42(resolve)
-D auto_42,"var",auto_40
-V auto_43(assign)
-D auto_43,"var",auto_42
-V auto_44(constant)
-D auto_44,"node",?primitives/integer_eq
-D auto_43,"value",auto_44
-D auto_41,"next",auto_43
-N auto_45
-V auto_46(global)
-D auto_46,"var",auto_45
-D auto_43,"next",auto_46
-V auto_47(resolve)
-D auto_47,"var",auto_45
-V auto_48(assign)
-D auto_48,"var",auto_47
-V auto_49(constant)
-D auto_49,"node",?primitives/integer_neq
-D auto_48,"value",auto_49
-D auto_46,"next",auto_48
-N auto_50
-V auto_51(global)
-D auto_51,"var",auto_50
-D auto_48,"next",auto_51
-V auto_52(resolve)
-D auto_52,"var",auto_50
-V auto_53(assign)
-D auto_53,"var",auto_52
-V auto_54(constant)
-D auto_54,"node",?primitives/integer_neg
-D auto_53,"value",auto_54
-D auto_51,"next",auto_53
-V auto_55(while)
-V auto_56(True)
-V auto_57(constant)
-D auto_57,"node",auto_56
-N auto_58
-V auto_59(global)
-D auto_59,"var",auto_58
-N auto_60
-V auto_61(global)
-D auto_61,"var",auto_60
-D auto_59,"next",auto_61
-V auto_62(resolve)
-D auto_62,"var",auto_58
-V auto_63(input)
-V auto_64(assign)
-D auto_64,"var",auto_62
-D auto_64,"value",auto_63
-D auto_61,"next",auto_64
-V auto_65(resolve)
-D auto_65,"var",auto_60
-V auto_66(input)
-V auto_67(assign)
-D auto_67,"var",auto_65
-D auto_67,"value",auto_66
-D auto_64,"next",auto_67
-V auto_68(output)
-V auto_69(resolve)
-D auto_69,"var",auto_0
-V auto_70(access)
-D auto_70,"var",auto_69
-V auto_71(call)
-D auto_71,"func",auto_70
-N auto_72
-V auto_73(resolve)
-D auto_73,"var",auto_58
-V auto_74(access)
-D auto_74,"var",auto_73
-V auto_75("a")
-D auto_72,"value",auto_74
-D auto_72,"name",auto_75
-N auto_76
-V auto_77(resolve)
-D auto_77,"var",auto_60
-V auto_78(access)
-D auto_78,"var",auto_77
-V auto_79("b")
-D auto_76,"value",auto_78
-D auto_76,"name",auto_79
-D auto_72,"next_param",auto_76
-D auto_71,"params",auto_72
-D auto_71,"last_param",auto_76
-D auto_68,"value",auto_71
-D auto_67,"next",auto_68
-D auto_55,"cond",auto_57
-D auto_55,"body",auto_59
-D auto_53,"next",auto_55

interface/HUTN/test/acceptance/relation.al

@@ -1,13 +0,0 @@
-include "io.al"
-include "integer.al"
-while True:
-	Integer x
-	x = Integer input()
-	Integer y
-	y = 10
-	if x < y:
-		output(Element "< 10")
-	elif x <= y:
-		output(Element "<= 10")
-	elif x > y:
-		output(Element "> 10")

interface/HUTN/test/acceptance/relation.txt

@@ -1,263 +0,0 @@
-V auto_initial_IP(global)
-N auto_1
-D auto_initial_IP,"var",auto_1
-V auto_2(assign)
-V auto_3(constant)
-D auto_3,"node",?primitives/integer_addition
-V auto_5(resolve)
-D auto_5,"var",auto_1
-D auto_2,"value",auto_3
-D auto_2,"var",auto_5
-V auto_6(global)
-N auto_7
-D auto_6,"var",auto_7
-V auto_8(assign)
-V auto_9(constant)
-D auto_9,"node",?primitives/integer_subtraction
-V auto_11(resolve)
-D auto_11,"var",auto_7
-D auto_8,"value",auto_9
-D auto_8,"var",auto_11
-V auto_12(global)
-N auto_13
-D auto_12,"var",auto_13
-V auto_14(assign)
-V auto_15(constant)
-D auto_15,"node",?primitives/integer_multiplication
-V auto_17(resolve)
-D auto_17,"var",auto_13
-D auto_14,"value",auto_15
-D auto_14,"var",auto_17
-V auto_18(global)
-N auto_19
-D auto_18,"var",auto_19
-V auto_20(assign)
-V auto_21(constant)
-D auto_21,"node",?primitives/integer_division
-V auto_23(resolve)
-D auto_23,"var",auto_19
-D auto_20,"value",auto_21
-D auto_20,"var",auto_23
-V auto_24(global)
-N auto_25
-D auto_24,"var",auto_25
-V auto_26(assign)
-V auto_27(constant)
-D auto_27,"node",?primitives/integer_eq
-V auto_29(resolve)
-D auto_29,"var",auto_25
-D auto_26,"value",auto_27
-D auto_26,"var",auto_29
-V auto_30(global)
-N auto_31
-D auto_30,"var",auto_31
-V auto_32(assign)
-V auto_33(constant)
-D auto_33,"node",?primitives/integer_neq
-V auto_35(resolve)
-D auto_35,"var",auto_31
-D auto_32,"value",auto_33
-D auto_32,"var",auto_35
-V auto_36(global)
-N auto_37
-D auto_36,"var",auto_37
-V auto_38(assign)
-V auto_39(constant)
-D auto_39,"node",?primitives/integer_lt
-V auto_41(resolve)
-D auto_41,"var",auto_37
-D auto_38,"value",auto_39
-D auto_38,"var",auto_41
-V auto_42(global)
-N auto_43
-D auto_42,"var",auto_43
-V auto_44(assign)
-V auto_45(constant)
-D auto_45,"node",?primitives/integer_lte
-V auto_47(resolve)
-D auto_47,"var",auto_43
-D auto_44,"value",auto_45
-D auto_44,"var",auto_47
-V auto_48(global)
-N auto_49
-D auto_48,"var",auto_49
-V auto_50(assign)
-V auto_51(constant)
-D auto_51,"node",?primitives/integer_gt
-V auto_53(resolve)
-D auto_53,"var",auto_49
-D auto_50,"value",auto_51
-D auto_50,"var",auto_53
-V auto_54(global)
-N auto_55
-D auto_54,"var",auto_55
-V auto_56(assign)
-V auto_57(constant)
-D auto_57,"node",?primitives/integer_gte
-V auto_59(resolve)
-D auto_59,"var",auto_55
-D auto_56,"value",auto_57
-D auto_56,"var",auto_59
-V auto_60(global)
-N auto_61
-D auto_60,"var",auto_61
-V auto_62(assign)
-V auto_63(constant)
-D auto_63,"node",?primitives/integer_neg
-V auto_65(resolve)
-D auto_65,"var",auto_61
-D auto_62,"value",auto_63
-D auto_62,"var",auto_65
-V auto_66(constant)
-V auto_67(True)
-D auto_66,"node",auto_67
-N auto_68
-V auto_69(declare)
-D auto_69,"var",auto_68
-V auto_70(resolve)
-D auto_70,"var",auto_68
-V auto_71(input)
-V auto_72(assign)
-D auto_72,"var",auto_70
-D auto_72,"value",auto_71
-N auto_73
-V auto_74(declare)
-D auto_74,"var",auto_73
-V auto_75(resolve)
-D auto_75,"var",auto_73
-V auto_76(constant)
-V auto_77(10)
-D auto_76,"node",auto_77
-V auto_78(assign)
-D auto_78,"var",auto_75
-D auto_78,"value",auto_76
-V auto_79(resolve)
-D auto_79,"var",auto_37
-V auto_80(resolve)
-D auto_80,"var",auto_68
-V auto_81(access)
-D auto_81,"var",auto_80
-V auto_82(resolve)
-D auto_82,"var",auto_73
-V auto_83(access)
-D auto_83,"var",auto_82
-N auto_84
-V auto_85("b")
-D auto_84,"name",auto_85
-D auto_84,"value",auto_83
-N auto_86
-V auto_87("a")
-D auto_86,"name",auto_87
-D auto_86,"value",auto_81
-D auto_86,"next_param",auto_84
-V auto_88(call)
-V auto_89(access)
-D auto_88,"func",auto_89
-D auto_89,"var",auto_79
-D auto_88,"params",auto_86
-D auto_88,"last_param",auto_84
-V auto_90(constant)
-V auto_91("< 10")
-D auto_90,"node",auto_91
-V auto_92(output)
-D auto_92,"value",auto_90
-V auto_93(resolve)
-D auto_93,"var",auto_43
-V auto_94(resolve)
-D auto_94,"var",auto_68
-V auto_95(access)
-D auto_95,"var",auto_94
-V auto_96(resolve)
-D auto_96,"var",auto_73
-V auto_97(access)
-D auto_97,"var",auto_96
-N auto_98
-V auto_99("b")
-D auto_98,"name",auto_99
-D auto_98,"value",auto_97
-N auto_100
-V auto_101("a")
-D auto_100,"name",auto_101
-D auto_100,"value",auto_95
-D auto_100,"next_param",auto_98
-V auto_102(call)
-V auto_103(access)
-D auto_102,"func",auto_103
-D auto_103,"var",auto_93
-D auto_102,"params",auto_100
-D auto_102,"last_param",auto_98
-V auto_104(constant)
-V auto_105("<= 10")
-D auto_104,"node",auto_105
-V auto_106(output)
-D auto_106,"value",auto_104
-V auto_107(resolve)
-D auto_107,"var",auto_49
-V auto_108(resolve)
-D auto_108,"var",auto_68
-V auto_109(access)
-D auto_109,"var",auto_108
-V auto_110(resolve)
-D auto_110,"var",auto_73
-V auto_111(access)
-D auto_111,"var",auto_110
-N auto_112
-V auto_113("b")
-D auto_112,"name",auto_113
-D auto_112,"value",auto_111
-N auto_114
-V auto_115("a")
-D auto_114,"name",auto_115
-D auto_114,"value",auto_109
-D auto_114,"next_param",auto_112
-V auto_116(call)
-V auto_117(access)
-D auto_116,"func",auto_117
-D auto_117,"var",auto_107
-D auto_116,"params",auto_114
-D auto_116,"last_param",auto_112
-V auto_118(constant)
-V auto_119("> 10")
-D auto_118,"node",auto_119
-V auto_120(output)
-D auto_120,"value",auto_118
-V auto_121(if)
-D auto_121,"cond",auto_88
-D auto_121,"then",auto_92
-V auto_122(if)
-D auto_122,"cond",auto_102
-D auto_122,"then",auto_106
-D auto_121,"else",auto_122
-V auto_123(if)
-D auto_123,"cond",auto_116
-D auto_123,"then",auto_120
-D auto_122,"else",auto_123
-D auto_69,"next",auto_72
-D auto_72,"next",auto_74
-D auto_74,"next",auto_78
-D auto_78,"next",auto_121
-V auto_124(while)
-D auto_124,"cond",auto_66
-D auto_124,"body",auto_69
-D auto_initial_IP,"next",auto_2
-D auto_2,"next",auto_6
-D auto_6,"next",auto_8
-D auto_8,"next",auto_12
-D auto_12,"next",auto_14
-D auto_14,"next",auto_18
-D auto_18,"next",auto_20
-D auto_20,"next",auto_24
-D auto_24,"next",auto_26
-D auto_26,"next",auto_30
-D auto_30,"next",auto_32
-D auto_32,"next",auto_36
-D auto_36,"next",auto_38
-D auto_38,"next",auto_42
-D auto_42,"next",auto_44
-D auto_44,"next",auto_48
-D auto_48,"next",auto_50
-D auto_50,"next",auto_54
-D auto_54,"next",auto_56
-D auto_56,"next",auto_60
-D auto_60,"next",auto_62
-D auto_62,"next",auto_124

interface/HUTN/test/acceptance/void_f_return.al

@@ -1,8 +0,0 @@
-include "io.al"
-Integer function main():
-	Integer x
-	x = input()
-	output(x)
-	return 0
-while (True):
-	main()

interface/HUTN/test/declarations/integer.al

@@ -1 +0,0 @@
-Integer n

interface/HUTN/test/declarations/integer.txt

@@ -1,3 +0,0 @@
-N auto_0
-V auto_initial_IP(declare)
-D auto_initial_IP,"var",auto_0

interface/HUTN/test/errors/assign_s2i.al

@@ -1,2 +0,0 @@
-Integer n
-n = "1"

interface/HUTN/test/errors/call_f.al

@@ -1,4 +0,0 @@
-Boolean function f(i: Integer):
-	return i
-
-f()

interface/HUTN/test/errors/call_f_cast_arg_type.al

@@ -1,4 +0,0 @@
-Boolean function f(i: Integer):
-	return i
-
-f(True)

interface/HUTN/test/errors/call_f_wrong_arg_type.al

@@ -1,4 +0,0 @@
-Boolean function f(i: Integer):
-	return i
-
-f("")

interface/HUTN/test/errors/call_variable.al

@@ -1,2 +0,0 @@
-Integer n
-n()

interface/HUTN/test/errors/ifelse_string.al

@@ -1,6 +0,0 @@
-Integer n
-n = 10
-if ("n == 10"):
-	n = 9
-else:
-	n = 8

interface/HUTN/test/errors/include1.al

@@ -1 +0,0 @@
-input()

interface/HUTN/test/errors/include2.al

@@ -1 +0,0 @@
-output(10)

interface/HUTN/test/errors/includes0.al

@@ -1,3 +0,0 @@
-f()
-include "include1.al"
-include "include2.al"

interface/HUTN/test/errors/includes1.al

@@ -1,2 +0,0 @@
-include "include1.al"
-include "include2.al"

interface/HUTN/test/errors/includes2.al

@@ -1,3 +0,0 @@
-Element function input() = primitives/input
-include "include1.al"
-include "include2.al"

interface/HUTN/test/errors/includes3.al

@@ -1,5 +0,0 @@
-include "io.al"
-include "include1.al"
-f()
-include "include2.al"
-

interface/HUTN/test/errors/includes4.al

@@ -1,4 +0,0 @@
-include "io.al"
-include "include1.al"
-include "include2.al"
-f()

interface/HUTN/test/errors/integer_f_return_void.al

@@ -1,2 +0,0 @@
-Integer function f():
-	return

interface/HUTN/test/errors/overload_f.al

@@ -1,4 +0,0 @@
-Integer function f():
-	return 0
-Integer function f(p: Integer):
-	return p

interface/HUTN/test/errors/redeclare_f.al

@@ -1,4 +0,0 @@
-Integer function f():
-	return 0
-Integer function f():
-	return 0

interface/HUTN/test/errors/return.al

@@ -1 +0,0 @@
-return 0

interface/HUTN/test/errors/void_f_return_integer.al

@@ -1,2 +0,0 @@
-Void function f():
-	return 0

interface/HUTN/test/explicit-cast/adder.cast.al

@@ -1,7 +0,0 @@
-include "integer.al"
-include "io.al"
-
-while True:
-	Integer x
-	x = Integer input()
-	output(Element x + x)

interface/HUTN/test/functions/call_f_arg_type.al

@@ -1,6 +0,0 @@
-include "cast.al"
-
-Boolean function f(i: Integer):
-	return i
-
-f(True)

interface/HUTN/test/functions/declare_f.al

@@ -1,2 +0,0 @@
-Integer function f():
-	return 0

interface/HUTN/test/functions/declare_f.trunk.txt

@@ -1,18 +0,0 @@
-N auto_0
-N auto_1
-V auto_initial_IP(global)
-D auto_initial_IP,"var",auto_0
-V auto_3(resolve)
-D auto_3,"var",auto_0
-V auto_4(assign)
-D auto_4,"var",auto_3
-V auto_5(constant)
-D auto_5,"node",auto_1
-D auto_4,"value",auto_5
-D auto_initial_IP,"next",auto_4
-V auto_6(return)
-V auto_7(0)
-V auto_8(constant)
-D auto_8,"node",auto_7
-D auto_6,"value",auto_8
-D auto_1,"body",auto_6

interface/HUTN/test/functions/declare_f_in_f.al

@@ -1,4 +0,0 @@
-Integer function f():
-	Integer function f():
-		return 0
-	return 0

interface/HUTN/test/functions/declare_f_int.al

@@ -1,2 +0,0 @@
-Integer function f(a: Integer):
-	return a

interface/HUTN/test/functions/declare_f_int.trunk.txt

@@ -1,23 +0,0 @@
-N auto_0
-N auto_1
-N auto_2
-D auto_1,"a",auto_2
-N auto_3
-D auto_3,"params",auto_1
-V auto_initial_IP(global)
-D auto_initial_IP,"var",auto_0
-V auto_5(resolve)
-D auto_5,"var",auto_0
-V auto_6(assign)
-D auto_6,"var",auto_5
-V auto_7(constant)
-D auto_7,"node",auto_3
-D auto_6,"value",auto_7
-D auto_initial_IP,"next",auto_6
-V auto_8(return)
-V auto_9(resolve)
-D auto_9,"var",auto_2
-V auto_10(access)
-D auto_10,"var",auto_9
-D auto_8,"value",auto_10
-D auto_3,"body",auto_8

interface/HUTN/test/functions/declare_ia.al

@@ -1,2 +0,0 @@
-Element integer_addition
-integer_addition = ?primitives/integer_addition

interface/HUTN/test/functions/declare_ia.trunk.txt

@@ -1,11 +0,0 @@
-N auto_0
-V auto_initial_IP(global)
-D auto_initial_IP,"var",auto_0
-V auto_2(resolve)
-D auto_2,"var",auto_0
-V auto_3(assign)
-D auto_3,"var",auto_2
-V auto_4(constant)
-D auto_4,"node",?primitives/integer_addition
-D auto_3,"value",auto_4
-D auto_initial_IP,"next",auto_3

interface/HUTN/test/functions/declare_void_f.al

@@ -1,2 +0,0 @@
-Void function f():
-	return

interface/HUTN/test/functions/declare_void_f.al.txt

@@ -1,15 +0,0 @@
-V auto_initial_IP(global)
-N auto_1
-D auto_initial_IP,"var",auto_1
-V auto_2(assign)
-V auto_3(constant)
-V auto_4(return)
-N auto_5
-N auto_6
-D auto_5,"body",auto_4
-D auto_3,"node",auto_5
-V auto_7(resolve)
-D auto_7,"var",auto_1
-D auto_2,"value",auto_3
-D auto_2,"var",auto_7
-D auto_initial_IP,"next",auto_2

interface/HUTN/test/functions/declare_void_f.altrunk.txt

@@ -1,14 +0,0 @@
-N auto_0
-N auto_1
-V auto_initial_IP(global)
-D auto_initial_IP,"var",auto_0
-V auto_3(resolve)
-D auto_3,"var",auto_0
-V auto_4(assign)
-D auto_4,"var",auto_3
-V auto_5(constant)
-D auto_5,"node",auto_1
-D auto_4,"value",auto_5
-D auto_initial_IP,"next",auto_4
-V auto_6(return)
-D auto_1,"body",auto_6

interface/HUTN/test/ifelse/ifelse.al

@@ -1,6 +0,0 @@
-Integer n
-n = 10
-if (n == 10):
-	n = 9
-else:
-	n = 8

interface/HUTN/test/include_stmt/help.al

@@ -1,2 +0,0 @@
-Float pi
-pi=3.141592653589793

interface/HUTN/test/include_stmt/main.al

@@ -1 +0,0 @@
-include "help.al"

interface/HUTN/test/operators/addmul.al

@@ -1,2 +0,0 @@
-Integer n
-n=10+11*2

interface/HUTN/test/operators/addsub.al

@@ -1,2 +0,0 @@
-Integer n
-n=10+11-2

interface/HUTN/test/operators/comparison.al

@@ -1,2 +0,0 @@
-Integer n
-n=10 == 32-11*2 > 10 != 1 <= 1   // (10 == ((32-(11*2)) > 10)) != (1 <= 1)

interface/HUTN/test/operators/conjunction.al

@@ -1,2 +0,0 @@
-Integer n
-n=10 == 32-11*2 > 10 and 10 != 1 <= 1   // (10 == ((32-(11*2)) > 10)) and (10 != (1 <= 1))

interface/HUTN/test/operators/disjunction.al

@@ -1,2 +0,0 @@
-Integer n
-n=10 == 32-11*2 > 10 or 10 != 1 <= 1 and 1 and 3 or 0  // (10 == ((32-(11*2)) > 10)) or (((10 != (1 <= 1)) and 1) and 3) or 0

interface/HUTN/test/operators/mul.al

@@ -1,2 +0,0 @@
-Integer n
-n = 10 * 11

interface/HUTN/test/operators/mul.expr

@@ -1 +0,0 @@
-10*11

interface/HUTN/test/operators/muladd.al

@@ -1,2 +0,0 @@
-Integer n
-n=10*11+2

interface/HUTN/test/operators/relation.al

@@ -1,2 +0,0 @@
-Integer n
-n=10+11*2 > 1 <= 1  // ((10+(11*2)) > 1) <= 1

interface/HUTN/test/operators/subsub.al

@@ -1,2 +0,0 @@
-Integer n
-n=1-2-3

interface/HUTN/test/operators/ternary.al

@@ -1,13 +0,0 @@
-String arg
-arg = "T"
-
-String vehicle
-vehicle = 'bus' if ( arg == 'B' ) else 'airplane' if ( arg == 'A' ) else 'train' if ( arg == 'T' ) else 'car' if ( arg == 'C' ) else 'horse' if ( arg == 'H' ) else 'feet'
-//vehicle = 'bus' if ( arg == 'B' ) else
-//          'airplane' if ( arg == 'A' ) else
-//          'train' if ( arg == 'T' ) else
-//          'car' if ( arg == 'C' ) else
-//          'horse' if ( arg == 'H' ) else
-//          'feet'
-
-// ternary is left-associative if vehicle == train, and right-associative otherwise

interface/HUTN/test/run-time-error/adder.al

@@ -1,11 +0,0 @@
-include "integer.al"
-include "io.al"
-include "cast.al"
-Integer function cast_e2i(a: Element):
-	return cast_s2i(cast_e2s(a))
-while True:
-	Element x
-	x = input()
-	Integer y
-	y = cast_e2i(x)
-	output(y+y)

interface/HUTN/test/run-time-error/adder.old.al

@@ -1,10 +0,0 @@
-include "integer.al"
-include "cast.al"
-Integer function cast_e2i(a: Element):
-	return cast_s2i(cast_e2s(a))
-while (True):
-	Element x
-	x = input()
-	Integer y
-	y = cast_e2i(x)
-	output(integer_addition(y, y))

interface/HUTN/test/run-time-error/adder.old.txt

@@ -1,454 +0,0 @@
-N auto_0
-N auto_1
-N auto_2
-D auto_1,"a",auto_2
-N auto_3
-D auto_3,"params",auto_1
-V auto_initial_IP(global)
-D auto_initial_IP,"var",auto_0
-V auto_5(resolve)
-D auto_5,"var",auto_0
-V auto_6(assign)
-D auto_6,"var",auto_5
-V auto_7(constant)
-D auto_7,"node",auto_3
-D auto_6,"value",auto_7
-D auto_initial_IP,"next",auto_6
-N auto_8
-V auto_9(global)
-D auto_9,"var",auto_8
-D auto_6,"next",auto_9
-V auto_10(resolve)
-D auto_10,"var",auto_8
-V auto_11(assign)
-D auto_11,"var",auto_10
-V auto_12(constant)
-D auto_12,"node",?primitives/integer_addition
-D auto_11,"value",auto_12
-D auto_9,"next",auto_11
-N auto_13
-V auto_14(global)
-D auto_14,"var",auto_13
-D auto_11,"next",auto_14
-V auto_15(resolve)
-D auto_15,"var",auto_13
-V auto_16(assign)
-D auto_16,"var",auto_15
-V auto_17(constant)
-D auto_17,"node",?primitives/integer_subtraction
-D auto_16,"value",auto_17
-D auto_14,"next",auto_16
-N auto_18
-V auto_19(global)
-D auto_19,"var",auto_18
-D auto_16,"next",auto_19
-V auto_20(resolve)
-D auto_20,"var",auto_18
-V auto_21(assign)
-D auto_21,"var",auto_20
-V auto_22(constant)
-D auto_22,"node",?primitives/integer_multiplication
-D auto_21,"value",auto_22
-D auto_19,"next",auto_21
-N auto_23
-V auto_24(global)
-D auto_24,"var",auto_23
-D auto_21,"next",auto_24
-V auto_25(resolve)
-D auto_25,"var",auto_23
-V auto_26(assign)
-D auto_26,"var",auto_25
-V auto_27(constant)
-D auto_27,"node",?primitives/integer_division
-D auto_26,"value",auto_27
-D auto_24,"next",auto_26
-N auto_28
-V auto_29(global)
-D auto_29,"var",auto_28
-D auto_26,"next",auto_29
-V auto_30(resolve)
-D auto_30,"var",auto_28
-V auto_31(assign)
-D auto_31,"var",auto_30
-V auto_32(constant)
-D auto_32,"node",?primitives/integer_gt
-D auto_31,"value",auto_32
-D auto_29,"next",auto_31
-N auto_33
-V auto_34(global)
-D auto_34,"var",auto_33
-D auto_31,"next",auto_34
-V auto_35(resolve)
-D auto_35,"var",auto_33
-V auto_36(assign)
-D auto_36,"var",auto_35
-V auto_37(constant)
-D auto_37,"node",?primitives/integer_gte
-D auto_36,"value",auto_37
-D auto_34,"next",auto_36
-N auto_38
-V auto_39(global)
-D auto_39,"var",auto_38
-D auto_36,"next",auto_39
-V auto_40(resolve)
-D auto_40,"var",auto_38
-V auto_41(assign)
-D auto_41,"var",auto_40
-V auto_42(constant)
-D auto_42,"node",?primitives/integer_lt
-D auto_41,"value",auto_42
-D auto_39,"next",auto_41
-N auto_43
-V auto_44(global)
-D auto_44,"var",auto_43
-D auto_41,"next",auto_44
-V auto_45(resolve)
-D auto_45,"var",auto_43
-V auto_46(assign)
-D auto_46,"var",auto_45
-V auto_47(constant)
-D auto_47,"node",?primitives/integer_lte
-D auto_46,"value",auto_47
-D auto_44,"next",auto_46
-N auto_48
-V auto_49(global)
-D auto_49,"var",auto_48
-D auto_46,"next",auto_49
-V auto_50(resolve)
-D auto_50,"var",auto_48
-V auto_51(assign)
-D auto_51,"var",auto_50
-V auto_52(constant)
-D auto_52,"node",?primitives/integer_eq
-D auto_51,"value",auto_52
-D auto_49,"next",auto_51
-N auto_53
-V auto_54(global)
-D auto_54,"var",auto_53
-D auto_51,"next",auto_54
-V auto_55(resolve)
-D auto_55,"var",auto_53
-V auto_56(assign)
-D auto_56,"var",auto_55
-V auto_57(constant)
-D auto_57,"node",?primitives/integer_neq
-D auto_56,"value",auto_57
-D auto_54,"next",auto_56
-N auto_58
-V auto_59(global)
-D auto_59,"var",auto_58
-D auto_56,"next",auto_59
-V auto_60(resolve)
-D auto_60,"var",auto_58
-V auto_61(assign)
-D auto_61,"var",auto_60
-V auto_62(constant)
-D auto_62,"node",?primitives/integer_neg
-D auto_61,"value",auto_62
-D auto_59,"next",auto_61
-N auto_63
-V auto_64(global)
-D auto_64,"var",auto_63
-D auto_61,"next",auto_64
-V auto_65(resolve)
-D auto_65,"var",auto_63
-V auto_66(assign)
-D auto_66,"var",auto_65
-V auto_67(constant)
-D auto_67,"node",?primitives/cast_i2f
-D auto_66,"value",auto_67
-D auto_64,"next",auto_66
-N auto_68
-V auto_69(global)
-D auto_69,"var",auto_68
-D auto_66,"next",auto_69
-V auto_70(resolve)
-D auto_70,"var",auto_68
-V auto_71(assign)
-D auto_71,"var",auto_70
-V auto_72(constant)
-D auto_72,"node",?primitives/cast_i2s
-D auto_71,"value",auto_72
-D auto_69,"next",auto_71
-N auto_73
-V auto_74(global)
-D auto_74,"var",auto_73
-D auto_71,"next",auto_74
-V auto_75(resolve)
-D auto_75,"var",auto_73
-V auto_76(assign)
-D auto_76,"var",auto_75
-V auto_77(constant)
-D auto_77,"node",?primitives/cast_i2b
-D auto_76,"value",auto_77
-D auto_74,"next",auto_76
-N auto_78
-V auto_79(global)
-D auto_79,"var",auto_78
-D auto_76,"next",auto_79
-V auto_80(resolve)
-D auto_80,"var",auto_78
-V auto_81(assign)
-D auto_81,"var",auto_80
-V auto_82(constant)
-D auto_82,"node",?primitives/cast_f2i
-D auto_81,"value",auto_82
-D auto_79,"next",auto_81
-N auto_83
-V auto_84(global)
-D auto_84,"var",auto_83
-D auto_81,"next",auto_84
-V auto_85(resolve)
-D auto_85,"var",auto_83
-V auto_86(assign)
-D auto_86,"var",auto_85
-V auto_87(constant)
-D auto_87,"node",?primitives/cast_f2b
-D auto_86,"value",auto_87
-D auto_84,"next",auto_86
-N auto_88
-V auto_89(global)
-D auto_89,"var",auto_88
-D auto_86,"next",auto_89
-V auto_90(resolve)
-D auto_90,"var",auto_88
-V auto_91(assign)
-D auto_91,"var",auto_90
-V auto_92(constant)
-D auto_92,"node",?primitives/cast_f2s
-D auto_91,"value",auto_92
-D auto_89,"next",auto_91
-N auto_93
-V auto_94(global)
-D auto_94,"var",auto_93
-D auto_91,"next",auto_94
-V auto_95(resolve)
-D auto_95,"var",auto_93
-V auto_96(assign)
-D auto_96,"var",auto_95
-V auto_97(constant)
-D auto_97,"node",?primitives/cast_s2i
-D auto_96,"value",auto_97
-D auto_94,"next",auto_96
-N auto_98
-V auto_99(global)
-D auto_99,"var",auto_98
-D auto_96,"next",auto_99
-V auto_100(resolve)
-D auto_100,"var",auto_98
-V auto_101(assign)
-D auto_101,"var",auto_100
-V auto_102(constant)
-D auto_102,"node",?primitives/cast_s2f
-D auto_101,"value",auto_102
-D auto_99,"next",auto_101
-N auto_103
-V auto_104(global)
-D auto_104,"var",auto_103
-D auto_101,"next",auto_104
-V auto_105(resolve)
-D auto_105,"var",auto_103
-V auto_106(assign)
-D auto_106,"var",auto_105
-V auto_107(constant)
-D auto_107,"node",?primitives/cast_s2b
-D auto_106,"value",auto_107
-D auto_104,"next",auto_106
-N auto_108
-V auto_109(global)
-D auto_109,"var",auto_108
-D auto_106,"next",auto_109
-V auto_110(resolve)
-D auto_110,"var",auto_108
-V auto_111(assign)
-D auto_111,"var",auto_110
-V auto_112(constant)
-D auto_112,"node",?primitives/cast_b2i
-D auto_111,"value",auto_112
-D auto_109,"next",auto_111
-N auto_113
-V auto_114(global)
-D auto_114,"var",auto_113
-D auto_111,"next",auto_114
-V auto_115(resolve)
-D auto_115,"var",auto_113
-V auto_116(assign)
-D auto_116,"var",auto_115
-V auto_117(constant)
-D auto_117,"node",?primitives/cast_b2f
-D auto_116,"value",auto_117
-D auto_114,"next",auto_116
-N auto_118
-V auto_119(global)
-D auto_119,"var",auto_118
-D auto_116,"next",auto_119
-V auto_120(resolve)
-D auto_120,"var",auto_118
-V auto_121(assign)
-D auto_121,"var",auto_120
-V auto_122(constant)
-D auto_122,"node",?primitives/cast_b2s
-D auto_121,"value",auto_122
-D auto_119,"next",auto_121
-N auto_123
-V auto_124(global)
-D auto_124,"var",auto_123
-D auto_121,"next",auto_124
-V auto_125(resolve)
-D auto_125,"var",auto_123
-V auto_126(assign)
-D auto_126,"var",auto_125
-V auto_127(constant)
-D auto_127,"node",?primitives/cast_e2s
-D auto_126,"value",auto_127
-D auto_124,"next",auto_126
-N auto_128
-V auto_129(global)
-D auto_129,"var",auto_128
-D auto_126,"next",auto_129
-V auto_130(resolve)
-D auto_130,"var",auto_128
-V auto_131(assign)
-D auto_131,"var",auto_130
-V auto_132(constant)
-D auto_132,"node",?primitives/cast_a2s
-D auto_131,"value",auto_132
-D auto_129,"next",auto_131
-N auto_133
-V auto_134(global)
-D auto_134,"var",auto_133
-D auto_131,"next",auto_134
-V auto_135(resolve)
-D auto_135,"var",auto_133
-V auto_136(assign)
-D auto_136,"var",auto_135
-V auto_137(constant)
-D auto_137,"node",?primitives/cast_t2s
-D auto_136,"value",auto_137
-D auto_134,"next",auto_136
-N auto_138
-V auto_139(global)
-D auto_139,"var",auto_138
-D auto_136,"next",auto_139
-V auto_140(resolve)
-D auto_140,"var",auto_138
-V auto_141(assign)
-D auto_141,"var",auto_140
-V auto_142(constant)
-D auto_142,"node",?primitives/cast_v2s
-D auto_141,"value",auto_142
-D auto_139,"next",auto_141
-N auto_143
-V auto_144(global)
-D auto_144,"var",auto_143
-D auto_141,"next",auto_144
-V auto_145(resolve)
-D auto_145,"var",auto_143
-V auto_146(assign)
-D auto_146,"var",auto_145
-V auto_147(constant)
-D auto_147,"node",?primitives/cast_id2s
-D auto_146,"value",auto_147
-D auto_144,"next",auto_146
-V auto_148(return)
-V auto_149(resolve)
-D auto_149,"var",auto_93
-V auto_150(access)
-D auto_150,"var",auto_149
-V auto_151(call)
-D auto_151,"func",auto_150
-N auto_152
-V auto_153(resolve)
-D auto_153,"var",auto_123
-V auto_154(access)
-D auto_154,"var",auto_153
-V auto_155(call)
-D auto_155,"func",auto_154
-N auto_156
-V auto_157(resolve)
-D auto_157,"var",auto_2
-V auto_158(access)
-D auto_158,"var",auto_157
-V auto_159("a")
-D auto_156,"value",auto_158
-D auto_156,"name",auto_159
-D auto_155,"params",auto_156
-D auto_155,"last_param",auto_156
-V auto_160("a")
-D auto_152,"value",auto_155
-D auto_152,"name",auto_160
-D auto_151,"params",auto_152
-D auto_151,"last_param",auto_152
-D auto_148,"value",auto_151
-D auto_3,"body",auto_148
-V auto_161(while)
-V auto_162(True)
-V auto_163(constant)
-D auto_163,"node",auto_162
-N auto_164
-V auto_165(global)
-D auto_165,"var",auto_164
-V auto_166(resolve)
-D auto_166,"var",auto_164
-V auto_167(input)
-V auto_168(assign)
-D auto_168,"var",auto_166
-D auto_168,"value",auto_167
-D auto_165,"next",auto_168
-N auto_169
-V auto_170(global)
-D auto_170,"var",auto_169
-D auto_168,"next",auto_170
-V auto_171(resolve)
-D auto_171,"var",auto_169
-V auto_172(resolve)
-D auto_172,"var",auto_0
-V auto_173(access)
-D auto_173,"var",auto_172
-V auto_174(call)
-D auto_174,"func",auto_173
-N auto_175
-V auto_176(resolve)
-D auto_176,"var",auto_164
-V auto_177(access)
-D auto_177,"var",auto_176
-V auto_178("a")
-D auto_175,"value",auto_177
-D auto_175,"name",auto_178
-D auto_174,"params",auto_175
-D auto_174,"last_param",auto_175
-V auto_179(assign)
-D auto_179,"var",auto_171
-D auto_179,"value",auto_174
-D auto_170,"next",auto_179
-V auto_180(output)
-V auto_181(resolve)
-D auto_181,"var",auto_8
-V auto_182(access)
-D auto_182,"var",auto_181
-V auto_183(call)
-D auto_183,"func",auto_182
-N auto_184
-V auto_185(resolve)
-D auto_185,"var",auto_169
-V auto_186(access)
-D auto_186,"var",auto_185
-V auto_187("a")
-D auto_184,"value",auto_186
-D auto_184,"name",auto_187
-N auto_188
-V auto_189(resolve)
-D auto_189,"var",auto_169
-V auto_190(access)
-D auto_190,"var",auto_189
-V auto_191("b")
-D auto_188,"value",auto_190
-D auto_188,"name",auto_191
-D auto_184,"next_param",auto_188
-D auto_183,"params",auto_184
-D auto_183,"last_param",auto_188
-D auto_180,"value",auto_183
-D auto_179,"next",auto_180
-D auto_161,"cond",auto_163
-D auto_161,"body",auto_165
-D auto_146,"next",auto_161

interface/HUTN/test/talk_visitor/code/else.al

@@ -1,5 +0,0 @@
-Integer a
-if (True):
-	a = 2
-else:
-	a = 3

interface/HUTN/test/talk_visitor/code/factorial.al

@@ -1,8 +0,0 @@
-Integer function factorial(n : Integer):
-	if(n <= 1):
-		return 1
-	else:
-		return n * factorial(n - 1)
-
-while(True):
-	output(factorial(input()))

interface/HUTN/test/talk_visitor/code/factorialplain.al

@@ -1,15 +0,0 @@
-global Element integer_multiplication
-integer_multiplication = ?primitives/integer_multiplication
-global Element integer_lte
-integer_lte = ?primitives/integer_lte
-global Element integer_subtraction
-integer_subtraction = ?primitives/integer_subtraction
-
-Integer function factorial(n : Integer):
-	if(integer_lte(n, 1)):
-		return 1
-	else:
-		return integer_multiplication(n, factorial(integer_subtraction(n, 1)))
-
-while(True):
-	output(factorial(input()))

interface/HUTN/test/talk_visitor/code/funcdef_params.al

@@ -1,2 +0,0 @@
-Integer function abc(a : Integer):
-	a = 1

interface/HUTN/test/talk_visitor/code/if.al

@@ -1,3 +0,0 @@
-Integer a
-if (True):
-	a = 2

interface/HUTN/test/talk_visitor/code/ifelse.al

@@ -1,7 +0,0 @@
-Integer a
-if (True):
-	a = 2
-elif (False):
-	a = 1
-else:
-	a = 3

interface/HUTN/test/talk_visitor/code/ifelseplain.al

@@ -1,8 +0,0 @@
-Integer a
-if (True):
-	a = 2
-else:
-	if (False):
-		a = 1
-	else:
-		a = 3

interface/HUTN/test/talk_visitor/new/else.txt

@@ -1,27 +0,0 @@
-N auto_0
-V auto_initial_IP(global)
-D auto_initial_IP,"var",auto_0
-V auto_2(if)
-V auto_3(True)
-V auto_4(constant)
-D auto_4,"node",auto_3
-V auto_5(resolve)
-D auto_5,"var",auto_0
-V auto_6(2)
-V auto_7(constant)
-D auto_7,"node",auto_6
-V auto_8(assign)
-D auto_8,"var",auto_5
-D auto_8,"value",auto_7
-V auto_9(resolve)
-D auto_9,"var",auto_0
-V auto_10(3)
-V auto_11(constant)
-D auto_11,"node",auto_10
-V auto_12(assign)
-D auto_12,"var",auto_9
-D auto_12,"value",auto_11
-D auto_2,"cond",auto_4
-D auto_2,"then",auto_8
-D auto_2,"else",auto_12
-D auto_initial_IP,"next",auto_2

interface/HUTN/test/talk_visitor/new/if.txt

@@ -1,18 +0,0 @@
-N auto_0
-V auto_initial_IP(global)
-D auto_initial_IP,"var",auto_0
-V auto_2(if)
-V auto_3(True)
-V auto_4(constant)
-D auto_4,"node",auto_3
-V auto_5(resolve)
-D auto_5,"var",auto_0
-V auto_6(2)
-V auto_7(constant)
-D auto_7,"node",auto_6
-V auto_8(assign)
-D auto_8,"var",auto_5
-D auto_8,"value",auto_7
-D auto_2,"cond",auto_4
-D auto_2,"then",auto_8
-D auto_initial_IP,"next",auto_2

interface/HUTN/test/talk_visitor/new/ifelse.txt

@@ -1,42 +0,0 @@
-N auto_0
-V auto_initial_IP(global)
-D auto_initial_IP,"var",auto_0
-V auto_2(if)
-V auto_3(True)
-V auto_4(constant)
-D auto_4,"node",auto_3
-V auto_5(resolve)
-D auto_5,"var",auto_0
-V auto_6(2)
-V auto_7(constant)
-D auto_7,"node",auto_6
-V auto_8(assign)
-D auto_8,"var",auto_5
-D auto_8,"value",auto_7
-V auto_9(if)
-V auto_10(False)
-V auto_11(constant)
-D auto_11,"node",auto_10
-V auto_12(resolve)
-D auto_12,"var",auto_0
-V auto_13(1)
-V auto_14(constant)
-D auto_14,"node",auto_13
-V auto_15(assign)
-D auto_15,"var",auto_12
-D auto_15,"value",auto_14
-V auto_16(resolve)
-D auto_16,"var",auto_0
-V auto_17(3)
-V auto_18(constant)
-D auto_18,"node",auto_17
-V auto_19(assign)
-D auto_19,"var",auto_16
-D auto_19,"value",auto_18
-D auto_9,"cond",auto_11
-D auto_9,"then",auto_15
-D auto_9,"else",auto_19
-D auto_2,"cond",auto_4
-D auto_2,"then",auto_8
-D auto_2,"else",auto_9
-D auto_initial_IP,"next",auto_2

interface/HUTN/test/talk_visitor/new/ifelseplain.txt

@@ -1,42 +0,0 @@
-N auto_0
-V auto_initial_IP(global)
-D auto_initial_IP,"var",auto_0
-V auto_2(if)
-V auto_3(True)
-V auto_4(constant)
-D auto_4,"node",auto_3
-V auto_5(resolve)
-D auto_5,"var",auto_0
-V auto_6(2)
-V auto_7(constant)
-D auto_7,"node",auto_6
-V auto_8(assign)
-D auto_8,"var",auto_5
-D auto_8,"value",auto_7
-V auto_9(if)
-V auto_10(False)
-V auto_11(constant)
-D auto_11,"node",auto_10
-V auto_12(resolve)
-D auto_12,"var",auto_0
-V auto_13(1)
-V auto_14(constant)
-D auto_14,"node",auto_13
-V auto_15(assign)
-D auto_15,"var",auto_12
-D auto_15,"value",auto_14
-V auto_16(resolve)
-D auto_16,"var",auto_0
-V auto_17(3)
-V auto_18(constant)
-D auto_18,"node",auto_17
-V auto_19(assign)
-D auto_19,"var",auto_16
-D auto_19,"value",auto_18
-D auto_9,"cond",auto_11
-D auto_9,"then",auto_15
-D auto_9,"else",auto_19
-D auto_2,"cond",auto_4
-D auto_2,"then",auto_8
-D auto_2,"else",auto_9
-D auto_initial_IP,"next",auto_2

interface/HUTN/test/talk_visitor/old/else.txt

@@ -1,27 +0,0 @@
-N auto_0
-V auto_initial_IP(global)
-D auto_initial_IP,"var",auto_0
-V auto_2(if)
-V auto_3(True)
-V auto_4(constant)
-D auto_4,"node",auto_3
-V auto_5(resolve)
-D auto_5,"var",auto_0
-V auto_6(2)
-V auto_7(constant)
-D auto_7,"node",auto_6
-V auto_8(assign)
-D auto_8,"var",auto_5
-D auto_8,"value",auto_7
-V auto_9(resolve)
-D auto_9,"var",auto_0
-V auto_10(3)
-V auto_11(constant)
-D auto_11,"node",auto_10
-V auto_12(assign)
-D auto_12,"var",auto_9
-D auto_12,"value",auto_11
-D auto_2,"cond",auto_4
-D auto_2,"then",auto_8
-D auto_2,"else",auto_12
-D auto_initial_IP,"next",auto_2

interface/HUTN/test/talk_visitor/old/if.txt

@@ -1,18 +0,0 @@
-N auto_0
-V auto_initial_IP(global)
-D auto_initial_IP,"var",auto_0
-V auto_2(if)
-V auto_3(True)
-V auto_4(constant)
-D auto_4,"node",auto_3
-V auto_5(resolve)
-D auto_5,"var",auto_0
-V auto_6(2)
-V auto_7(constant)
-D auto_7,"node",auto_6
-V auto_8(assign)
-D auto_8,"var",auto_5
-D auto_8,"value",auto_7
-D auto_2,"cond",auto_4
-D auto_2,"then",auto_8
-D auto_initial_IP,"next",auto_2

interface/HUTN/test/talk_visitor/old/ifelse.txt

@@ -1 +0,0 @@
-ifelseplain.txt

interface/HUTN/test/talk_visitor/old/ifelseplain.txt

@@ -1,42 +0,0 @@
-N auto_0
-V auto_initial_IP(global)
-D auto_initial_IP,"var",auto_0
-V auto_2(if)
-V auto_3(True)
-V auto_4(constant)
-D auto_4,"node",auto_3
-V auto_5(resolve)
-D auto_5,"var",auto_0
-V auto_6(2)
-V auto_7(constant)
-D auto_7,"node",auto_6
-V auto_8(assign)
-D auto_8,"var",auto_5
-D auto_8,"value",auto_7
-V auto_9(if)
-V auto_10(False)
-V auto_11(constant)
-D auto_11,"node",auto_10
-V auto_12(resolve)
-D auto_12,"var",auto_0
-V auto_13(1)
-V auto_14(constant)
-D auto_14,"node",auto_13
-V auto_15(assign)
-D auto_15,"var",auto_12
-D auto_15,"value",auto_14
-V auto_16(resolve)
-D auto_16,"var",auto_0
-V auto_17(3)
-V auto_18(constant)
-D auto_18,"node",auto_17
-V auto_19(assign)
-D auto_19,"var",auto_16
-D auto_19,"value",auto_18
-D auto_9,"cond",auto_11
-D auto_9,"then",auto_15
-D auto_9,"else",auto_19
-D auto_2,"cond",auto_4
-D auto_2,"then",auto_8
-D auto_2,"else",auto_9
-D auto_initial_IP,"next",auto_2

interface/browser/index.html

@@ -1,53 +0,0 @@
-<html>
-<body>
-    <script>
-        function translateTypes() {
-            val = document.getElementById("value");
-            if(["if", "while", "assign", "call", "break", "continue", "return", "resolve", "access", "constant", "input", "output", "declare", "global", "Integer", "Float", "String", "Boolean", "Action", "Type"].indexOf(val.value) >= 0){
-                alert("Rewriting complex!");
-                val.value = "{\"value\":\"" + val.value + "\"}"
-            }
-            else {
-                alert("No rewrite required");
-            }
-            return 1;
-        }
-    </script>
-    <form action="http://localhost:8001/" method="POST" onsubmit="translateTypes()">
-        <table border="1">
-        <tr><td>
-        Operation type:
-        </td><td>
-        <input type="radio" name="op" value="set_input"> Set input
-        </td><td>
-        <input type="radio" name="op" value="get_output"> Get output
-        </td></tr>
-
-        <tr><td>
-        Username:
-        </td><td>
-        <input type="text" name="username">
-        </td></tr>
-
-        <tr><td>
-        Message type:
-        </td><td>
-        <input type="radio" name="element_type" value="R"> Identifier
-        </td><td>
-        <input type="radio" name="element_type" value="V"> Value
-        </td></tr>
-
-        <tr><td>
-        Value:
-        </td><td>
-        <input type="text" id="value" name="value">
-        </td></tr>
-
-        <tr><td>
-        <input type="submit" value="send request">
-        </td></tr>
-    </form>
-    </td></tr>
-    </table>
-</body>
-</html>