Minor improvements all over the place

The interpreter is now complete. Apart from bugs that may be hiding in the code, it should work now.

lambdaV.py

@@ -15,17 +15,25 @@
 # version 3 along with this program.
 # If not, see https://www.gnu.org/licenses/gpl-3.0.en.html
 
-import re
+import re, time
 
-debug_mode = True
+debug_mode = False
 
-cursor_up    = 'Λ'
-cursor_down  = 'V'
-cursor_left  = '<'
-cursor_right = '>'
+def debug_message(text):
+    if debug_mode:
+        print("DEBUG: ", end="")
+        print(text)
 
-empty_field = [
-    " ________________ ",
+
+cursor_north = 'Λ'
+cursor_south = 'V'
+cursor_west  = '<'
+cursor_east  = '>'
+
+cursor_current = ' '
+
+field = [
+    " _________________ ",
     "|                 |",
     "|                 |",
     "|                 |",
@@ -34,7 +42,7 @@ empty_field = [
     "|                 |",
     "|                 |",
     "|                 |",
-    " ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯ "
+    " ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯ "
 ]
 
 wall  = '#'
@@ -43,58 +51,167 @@ goal  = '$'
 
 cursor_position = [0, 0]
 
+command_delay = 0.3
 
-def debug_message(text):
-    if debug_mode:
-        print("DEBUG: ", end="")
-        print(text)
+def clear_field():
+    field = [
+        " _________________ ",
+        "|                 |",
+        "|                 |",
+        "|                 |",
+        "|                 |",
+        "|                 |",
+        "|                 |",
+        "|                 |",
+        "|                 |",
+        " ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯ "
+    ]
 
-def condition_in_front_of_wall(inverted):
-    return False
+def draw_field():
+    print("\033[2J\033[H")
+    for row in range(len(field)):
+        for column in range(len(field[row])):
+            if column==cursor_position[0] and row==cursor_position[1]:
+                print(cursor_current, end="")
+            else:
+                print(field[row][column], end="")
+        print("")
 
-def condition_goal_reached(inverted):
-    return False
 
-def condition_on_apple(inverted):
-    return False
+# returns "" or error message
+# Parsed code is the result of running the parser,
+# though at this point the input is assumed to be valid
+# and no additional checks are performed on what the parser produced.
+def run_code(parsed_code):
+    for i in range(len(parsed_code[0])):
+        result = parsed_code[0][i](*parsed_code[1][i])
+        if not result=="":
+            return result
+        draw_field()
+        time.sleep(command_delay)
+    return ""
+
 
 def condition_facing_north(inverted):
-    return False
+    if inverted:
+        return not cursor_current == cursor_north
+    return cursor_current == cursor_north
 
 def condition_facing_south(inverted):
-    return False
+    if inverted:
+        return not cursor_current == cursor_south
+    return cursor_current == cursor_south
 
 def condition_facing_east(inverted):
-    return False
+    if inverted:
+        return not cursor_current == cursor_east
+    return cursor_current == cursor_east
 
 def condition_facing_west(inverted):
-    return False
+    if inverted:
+        return not cursor_current == cursor_west
+    return cursor_current == cursor_west
 
-# condition prefixed with !
-def modifier_not(condition):
-    return condition(true)
+def condition_in_front_of_wall(inverted):
+    if condition_facing_north(False):
+        result = field[cursor_position[1]-1][cursor_position[0]]==wall or field[cursor_position[1]-1][cursor_position[0]]=='_'
+    elif condition_facing_south(False):
+        result = field[cursor_position[1]+1][cursor_position[0]]==wall or field[cursor_position[1]+1][cursor_position[0]]=='¯'
+    elif condition_facing_east(False):
+        result = field[cursor_position[1]][cursor_position[0]+1]==wall or field[cursor_position[1]][cursor_position[0]+1]=='|'
+    elif condition_facing_west(False):
+        result = field[cursor_position[1]][cursor_position[0]-1]==wall or field[cursor_position[1]][cursor_position[0]-1]=='|'
+    else:
+        result = False
+    if inverted:
+        return not result
+    return result
+
+def condition_goal_reached(inverted):
+    if inverted:
+        return not field[cursor_position[1]][cursor_position[0]]==goal
+    return field[cursor_position[1]][cursor_position[0]]==goal
+
+def condition_on_apple(inverted):
+    if inverted:
+        return not field[cursor_position[1]][cursor_position[0]]==apple
+    return field[cursor_position[1]][cursor_position[0]]==apple
 
 # return value: "" or error message
 def command_step():
-    #TODO
+    if condition_in_front_of_wall(False):
+        return "You stepped into a wall."
+
+    if condition_facing_north(False):
+        cursor_position[1] = cursor_position[1]-1
+    elif condition_facing_south(False):
+        cursor_position[1] = cursor_position[1]+1
+    elif condition_facing_east(False):
+        cursor_position[0] = cursor_position[0]+1
+    elif condition_facing_west(False):
+        cursor_position[0] = cursor_position[0]-1
+    else:
+        return "Cannot step because direction is unknown."
     return ""
 
 def command_left():
+    global cursor_current
+    if condition_facing_north(False):
+        cursor_current = cursor_west
+    elif condition_facing_south(False):
+        cursor_current = cursor_east
+    elif condition_facing_east(False):
+        cursor_current = cursor_north
+    elif condition_facing_west(False):
+        cursor_current = cursor_south
+    else:
+        return "Cannot turn left because direction is unknown."
     return ""
 
 def command_right():
-    return ""
-
-def command_repeat(number, parsed_code):
-    return ""
-
-def command_while(parsed_condition, parsed_code):
+    global cursor_current
+    if condition_facing_north(False):
+        cursor_current = cursor_east
+    elif condition_facing_south(False):
+        cursor_current = cursor_west
+    elif condition_facing_east(False):
+        cursor_current = cursor_south
+    elif condition_facing_west(False):
+        cursor_current = cursor_north
+    else:
+        return "Cannot turn right because direction is unknown."
     return ""
 
 def command_take():
+    if condition_on_apple(True):
+        # Note: condition is inverted
+        return "Cannot take apple, there is no apple here."
+    field[cursor_position[1]] = field[cursor_position[1]][:cursor_position[0]]+" "+field[cursor_position[1]][cursor_position[0]+1:]
+    return ""
+
+def command_repeat(number, parsed_code):
+    for i in range(number):
+        result = run_code(parsed_code)
+        if not result=="":
+            return result
+    return ""
+
+def command_while(parsed_condition, parsed_code):
+    while parsed_condition[0](parsed_condition[1]):
+        result = run_code(parsed_code)
+        if not result=="":
+            return result
     return ""
 
 def command_if(parsed_condition, parsed_then_code, parsed_else_code):
+    if parsed_condition[0](parsed_condition[1]):
+        result = run_code(parsed_then_code)
+        if not result=="":
+            return result
+    elif not parsed_else_code==None:
+        result = run_code(parsed_else_code)
+        if not result=="":
+            return result
     return ""
 
 
@@ -196,7 +313,7 @@ def parse_code(code, allowed_commands, allowed_conditions, unformatted_code=True
         debug_message("Formatted code: "+code)
 
     parse_position = 0
-    parsed_code = [[], [], -1, ""]
+    parsed_code = [[], [], -1, "", code]
     while parse_position < len(code):
         # find next command
         next_space = code.find(' ', parse_position)
@@ -221,16 +338,16 @@ def parse_code(code, allowed_commands, allowed_conditions, unformatted_code=True
             elif next_command == "take":
                 parsed_code[0].append(command_take)
             elif next_command == "repeat":
-                return [[], [], next_space, "Syntax error: Condition missing"]
+                return [[], [], next_space, "Syntax error: Number of repetitions missing", code]
             elif next_command == "while":
-                return [[], [], next_space, "Syntax error: Condition missing"]
+                return [[], [], next_space, "Syntax error: Condition missing", code]
             elif next_command == "if":
-                return [[], [], next_space, "Syntax error: Condition missing"]
-            elif next_command == "else":
-                return [[], [], parse_position, "Syntax error: Else without if statement"]
+                return [[], [], next_space, "Syntax error: Condition missing", code]
+            elif next_command[0:4] == "else":
+                return [[], [], parse_position, "Syntax error: Else without if statement", code]
             else:
                 #TODO: better error message (especially when special chars are detected inside next_command or a known command)
-                return [[], [], parse_position, "Unknown command: "+next_command]
+                return [[], [], parse_position, "Unknown command: "+next_command, code]
             parse_position = next_space+1
         else:
             debug_message("Found control structure...")
@@ -241,28 +358,28 @@ def parse_code(code, allowed_commands, allowed_conditions, unformatted_code=True
                 repetitions_length = get_length_of_condition(code[parse_position:])
                 if repetitions_length == -2:
                     debug_message("  Mismatched <>")
-                    return [[], [], parse_position, "Syntax error: Cannot not find matching '>' for this '<'"]
+                    return [[], [], parse_position, "Syntax error: Cannot not find matching '>' for this '<'", code]
                 repetitions = code[parse_position:parse_position+repetitions_length]
                 debug_message("  Number of repetitions: "+repetitions)
                 repetitions_int = 0
                 try:
                     repetitions_int = int(repetitions[1:-1])
                 except ValueError:
-                    return [[], [], parse_position, "Not a valid number: "+repetitions[1:-1]]
+                    return [[], [], parse_position, "Not a valid number: "+repetitions[1:-1], code]
                 parse_position = parse_position+len(repetitions)
                 contained_code_length = get_length_of_contained_code(code[parse_position:])
                 if contained_code_length == -1:
                     debug_message("  Missing (")
-                    return [[], [], parse_position, "Syntax error: Cannot not find '(' for contained code"]
+                    return [[], [], parse_position, "Syntax error: Cannot not find '(' for contained code", code]
                 if contained_code_length == -2:
                     debug_message("  Mismatched ()")
-                    return [[], [], parse_position, "Syntax error: Cannot not find matching ')' for this '('"]
+                    return [[], [], parse_position, "Syntax error: Cannot not find matching ')' for this '('", code]
                 contained_code = code[parse_position:parse_position+contained_code_length]
                 debug_message("  Contained code: "+contained_code)
                 parsed_contained_code = parse_code(contained_code[1:-1], allowed_commands, allowed_conditions, unformatted_code=False)
                 if not parsed_contained_code[2]==-1:
                     debug_message("  Error while parsing contained code")
-                    return [[], [], parse_position+1+parsed_contained_code[2], parsed_contained_code[3]]
+                    return [[], [], parse_position+1+parsed_contained_code[2], parsed_contained_code[3], code]
                 parse_position = parse_position+contained_code_length+1
 
                 parsed_code[1].append((repetitions_int, parsed_contained_code))
@@ -274,26 +391,26 @@ def parse_code(code, allowed_commands, allowed_conditions, unformatted_code=True
                 condition_length = get_length_of_condition(code[parse_position:])
                 if condition_length == -2:
                     debug_message("  Mismatched <>")
-                    return [[], [], parse_position, "Syntax error: Cannot not find matching '>' for this '<'"]
+                    return [[], [], parse_position, "Syntax error: Cannot not find matching '>' for this '<'", code]
                 condition = code[parse_position:parse_position+condition_length]
                 debug_message("  Condition is: "+condition)
                 parsed_condition = parse_condition(condition[1:-1], allowed_conditions)
                 if not parsed_condition[2]=="":
-                    return [[], [], parse_position, parsed_condition[2]]
+                    return [[], [], parse_position, parsed_condition[2], code]
                 parse_position = parse_position+len(condition)
                 then_code_length = get_length_of_contained_code(code[parse_position:])
                 if then_code_length == -1:
                     debug_message("  Missing (")
-                    return [[], [], parse_position, "Syntax error: Cannot not find '(' for then-code"]
+                    return [[], [], parse_position, "Syntax error: Cannot not find '(' for then-code", code]
                 if then_code_length == -2:
                     debug_message("  Mismatched ()")
-                    return [[], [], parse_position, "Syntax error: Cannot not find matching ')' for this '('"]
+                    return [[], [], parse_position, "Syntax error: Cannot not find matching ')' for this '('", code]
                 then_code = code[parse_position:parse_position+then_code_length]
                 debug_message("  Then-code: "+then_code)
                 parsed_then_code = parse_code(then_code[1:-1], allowed_commands, allowed_conditions, unformatted_code=False)
                 if not parsed_then_code[2]==-1:
                     debug_message("  Error while parsing then-code")
-                    return [[], [], parse_position+1+parsed_then_code[2], parsed_then_code[3]]
+                    return [[], [], parse_position+1+parsed_then_code[2], parsed_then_code[3], code]
                 parse_position = parse_position+then_code_length+1
                 parsed_else_code = None
                 if parse_position<len(code)+4 and code[parse_position:parse_position+4]=="else":
@@ -301,10 +418,10 @@ def parse_code(code, allowed_commands, allowed_conditions, unformatted_code=True
                     else_code_length = get_length_of_contained_code(code[parse_position:])
                     if else_code_length == -1:
                         debug_message("  Missing (")
-                        return [[], [], parse_position, "Syntax error: Cannot not find '(' for else-code"]
+                        return [[], [], parse_position, "Syntax error: Cannot not find '(' for else-code", code]
                     if else_code_length == -2:
                         debug_message("  Mismatched ()")
-                        return [[], [], parse_position, "Syntax error: Cannot not find matching ')' for this '('"]
+                        return [[], [], parse_position, "Syntax error: Cannot not find matching ')' for this '('", code]
                     else_code = code[parse_position:parse_position+else_code_length]
                     debug_message("  Else-code: "+else_code)
                     parsed_else_code = parse_code(else_code[1:-1], allowed_commands, allowed_conditions, unformatted_code=False)
@@ -319,26 +436,26 @@ def parse_code(code, allowed_commands, allowed_conditions, unformatted_code=True
                 condition_length = get_length_of_condition(code[parse_position:])
                 if condition_length == -2:
                     debug_message("  Mismatched <>")
-                    return [[], [], parse_position, "Syntax error: Cannot not find matching '>' for this '<'"]
+                    return [[], [], parse_position, "Syntax error: Cannot not find matching '>' for this '<'", code]
                 condition = code[parse_position:parse_position+condition_length]
                 debug_message("  Condition is: "+condition)
                 parsed_condition = parse_condition(condition[1:-1], allowed_conditions)
                 if not parsed_condition[2]=="":
-                    return [[], [], parse_position, parsed_condition[2]]
+                    return [[], [], parse_position, parsed_condition[2], code]
                 parse_position = parse_position+len(condition)
                 contained_code_length = get_length_of_contained_code(code[parse_position:])
                 if contained_code_length == -1:
                     debug_message("  Missing (")
-                    return [[], [], parse_position, "Syntax error: Cannot not find '(' for contained code"]
+                    return [[], [], parse_position, "Syntax error: Cannot not find '(' for contained code", code]
                 if contained_code_length == -2:
                     debug_message("  Mismatched ()")
-                    return [[], [], parse_position, "Syntax error: Cannot not find matching ')' for this '('"]
+                    return [[], [], parse_position, "Syntax error: Cannot not find matching ')' for this '('", code]
                 contained_code = code[parse_position:parse_position+contained_code_length]
                 debug_message("  Contained code: "+contained_code)
                 parsed_contained_code = parse_code(contained_code[1:-1], allowed_commands, allowed_conditions, unformatted_code=False)
                 if not parsed_contained_code[2]==-1:
                     debug_message("  Error while parsing contained code")
-                    return [[], [], parse_position+1+parsed_contained_code[2], parsed_contained_code[3]]
+                    return [[], [], parse_position+1+parsed_contained_code[2], parsed_contained_code[3], code]
                 parse_position = parse_position+contained_code_length+1
 
                 parsed_code[1].append((parsed_condition, parsed_contained_code))
@@ -346,13 +463,30 @@ def parse_code(code, allowed_commands, allowed_conditions, unformatted_code=True
             else:
                 debug_message("  Type: unknown control structure: "+control_structure)
                 #TODO: better error message (especially when special chars are detected inside control_structure or a known command)
-                return [[], [], parse_position, "Syntax error: Unknown control structure: "+control_structure]
+                return [[], [], parse_position, "Syntax error: Unknown control structure: "+control_structure, code]
     return parsed_code
 
+# A wrapper for run_code that deals with potential errors produced by the parser.
 # returns success or error message
-# Parsed code is the result of running the parser.
-def run_code(parsed_code):
-    return ""
+def evaluate_parser_result(parsed_code):
+    if not parsed_code[2]==-1:
+        # parser error
+        return parsed_code[3] + "\n" + (" "*parsed_code[2]) + "↓\n" + parsed_code[4]
+    outcome = run_code(parsed_code)
+    if not outcome=="":
+        # runtime error
+        # TODO: pass back information about where the error occurred
+        return outcome
+    #TODO: check if goal reached
+    return "Success!"
+
+
+def debug_setup():
+    global cursor_position
+    cursor_position = [1,1]
+    global cursor_current
+    cursor_current = cursor_south
+    draw_field()
 
 if __name__ == "__main__":
     pass