def create_new_world(self, init=False, default=False):
num_avenues = simpledialog.askinteger("New World Size", "How many avenues should the new world have?",
parent=self.master,
minvalue=MIN_DIMENSIONS, maxvalue=MAX_DIMENSIONS)
if not num_avenues:
if default:
num_avenues = DEFAULT_SIZE
else:
# In this case, we can just cancel execution and return to existing world
return
num_streets = simpledialog.askinteger("New World Size", "How many streets should the new world have?",
parent=self.master,
minvalue=MIN_DIMENSIONS, maxvalue=MAX_DIMENSIONS)
if not num_streets:
if default:
num_streets = DEFAULT_SIZE
else:
# In this case, we can just cancel execution and return to existing world
return
if init:
self.world = KarelWorld()
self.karel = Karel(self.world)
else:
self.world.reload_world()
self.karel.reset_state()
self.world.num_avenues = num_avenues
self.world.num_streets = num_streets
if not init:
self.canvas.redraw_all()
def load_world(self, init=False):
filename = askopenfilename(initialdir="./worlds", title="Select Karel World", filetypes=[("Karel Worlds", "*.w")],parent=self.master)
# User hit cancel and did not select file, so leave world as-is
if filename == "":
if init:
self.setup_world()
return
if init:
self.world = KarelWorld()
self.world.reload_world(filename=filename)
self.karel = Karel(self.world)
else:
self.world.reload_world(filename=filename)
self.karel.reset_state()
if not init:
self.canvas.redraw_all()
self.reset_direction_radio_buttons()
self.reset_beeper_bag_radio_buttons()
def run_karel_program(world_file=None):
# Extract the name of the file the student is executing
student_code_file = sys.argv[0]
if not world_file:
# Find world file that matches program name
base_filename = os.path.basename(student_code_file)
module_name = os.path.splitext(base_filename)[0]
# Look for existing file name in the worlds/ directory
karel_world_file = f"worlds/{module_name}.w"
if os.path.exists(karel_world_file):
world_file = karel_world_file
else:
print(
f"Could not find a world matching filename {module_name}.w, defaulting to default world."
)
default_world_file = f"worlds/{DEFAULT_WORLD_FILE}"
if os.path.exists(default_world_file):
world_file = default_world_file
else:
print(
"Could not find a default world to use, please specify a world filename."
)
return
# Create the world as specified in the given world file
try:
# Attempt to open the file that has been specified
world_file = open(world_file, "r")
except OSError:
try:
# Before failing, look inside the worlds folder for this file
world_file = open(os.path.join("worlds", world_file))
except OSError:
# Print warning to user and exit out of the program
print(f"Could not find world file with name: {world_file}")
return
world = KarelWorld(world_file)
# Create Karel and assign it to live in the newly created world
karel = Karel(world)
# Initialize root Tk Window and spawn Karel application
root = tk.Tk()
app = KarelApplication(karel, world, student_code_file, master=root)
app.mainloop()
class WorldBuilderApplication(tk.Frame):
def __init__(self,
master=None,
window_width=800,
window_height=400,
canvas_width=600,
canvas_height=400):
# set window background to contrast white Karel canvas
master.configure(background=LIGHT_GREY)
# configure location of canvas to expand to fit window resizing
master.rowconfigure(0, weight=1)
master.columnconfigure(1, weight=1)
super().__init__(master,
width=window_width,
height=window_height,
background=LIGHT_GREY)
self.icon = DEFAULT_ICON
self.window_width = window_width
self.window_height = window_height
self.canvas_width = canvas_width
self.canvas_height = canvas_height
self.last_action_event_loc = (None, None)
self.master = master
self.master.title("Karel World Builder")
self.set_dock_icon()
self.grid(row=0, column=0)
self.master.update()
self.setup_world()
self.create_canvas()
self.create_buttons()
def set_dock_icon(self):
# make Karel dock icon image
img = tk.Image("photo", file="./karel/icon.gif")
self.master.tk.call('wm', 'iconphoto', self.master._w, img)
def setup_world(self):
load_existing = messagebox.askyesno(
"World Selection",
"Would you like to load an existing world? \n\nSelecting 'No' will allow you to start with a blank slate.",
parent=self.master)
if load_existing:
self.load_world(init=True)
else:
self.create_new_world(init=True, default=True)
def create_new_world(self, init=False, default=False):
num_avenues = simpledialog.askinteger(
"New World Size",
"How many avenues should the new world have?",
parent=self.master,
minvalue=MIN_DIMENSIONS,
maxvalue=MAX_DIMENSIONS)
if not num_avenues:
if default:
num_avenues = DEFAULT_SIZE
else:
# In this case, we can just cancel execution and return to existing world
return
num_streets = simpledialog.askinteger(
"New World Size",
"How many streets should the new world have?",
parent=self.master,
minvalue=MIN_DIMENSIONS,
maxvalue=MAX_DIMENSIONS)
if not num_streets:
if default:
num_streets = DEFAULT_SIZE
else:
# In this case, we can just cancel execution and return to existing world
return
if init:
self.world = KarelWorld()
self.karel = Karel(self.world)
else:
self.world.reload_world()
self.karel.reset_state()
self.world.num_avenues = num_avenues
self.world.num_streets = num_streets
if not init:
self.canvas.redraw_all()
def load_world(self, init=False):
filename = askopenfilename(initialdir="./worlds",
title="Select Karel World",
filetypes=[("Karel Worlds", "*.w")],
parent=self.master)
# User hit cancel and did not select file, so leave world as-is
if filename == "":
if init:
self.setup_world()
return
if init:
self.world = KarelWorld()
self.world.reload_world(filename=filename)
self.karel = Karel(self.world)
else:
self.world.reload_world(filename=filename)
self.karel.reset_state()
if not init:
self.canvas.redraw_all()
self.reset_direction_radio_buttons()
self.reset_beeper_bag_radio_buttons()
def create_canvas(self):
"""
This method creates the canvas on which Karel and Karel's
world are drawn.
"""
self.canvas = KarelCanvas(self.canvas_width,
self.canvas_height,
self.master,
world=self.world,
karel=self.karel)
self.canvas.grid(column=1, row=0, sticky="NESW")
self.canvas.bind("<Configure>", lambda t: self.canvas.redraw_all())
self.canvas.bind("<Button-1>", self.handle_mouse_event)
self.canvas.bind("<B1-Motion>", self.handle_mouse_event)
def create_buttons(self):
"""
This method creates the three buttons that appear on the left
side of the screen. These buttons control the start of Karel
execution, resetting Karel's state, and loading new worlds.
"""
self.program_control_button = tk.Button(self,
highlightthickness=0,
highlightbackground='white')
self.program_control_button["text"] = "New World"
self.program_control_button["command"] = self.create_new_world
self.program_control_button.grid(column=0,
row=0,
padx=PAD_X,
pady=PAD_Y)
self.load_world_button = tk.Button(self,
highlightthickness=0,
text="Load World",
command=self.load_world)
self.load_world_button.grid(column=0, row=1, padx=PAD_X, pady=PAD_Y)
self.save_world_button = tk.Button(self,
highlightthickness=0,
text="Save World",
command=self.save_world)
self.save_world_button.grid(column=0, row=2, padx=PAD_X, pady=PAD_Y)
self.create_direction_radio_buttons()
self.create_beeper_bag_radio_buttons()
self.create_action_radio_buttons()
def create_direction_radio_buttons(self):
self.dir_radio_frame = tk.Frame(self, bg=LIGHT_GREY)
self.dir_radio_frame.grid(row=3,
column=0,
padx=PAD_X,
pady=PAD_Y,
sticky="ew")
self.karel_direction_var = tk.StringVar()
self.karel_direction_var.set(
DIRECTIONS_MAP_INVERSE[self.karel.direction])
self.karel_direction_var.trace("w", self.update_karel_direction)
dir_label = tk.Label(self.dir_radio_frame,
text="Karel Direction: ",
bg=LIGHT_GREY)
dir_label.pack(side="left")
tk.Radiobutton(self.dir_radio_frame,
text="E",
variable=self.karel_direction_var,
value="east",
bg=LIGHT_GREY).pack(side="left")
tk.Radiobutton(self.dir_radio_frame,
text="W",
variable=self.karel_direction_var,
value="west",
bg=LIGHT_GREY).pack(side="left")
tk.Radiobutton(self.dir_radio_frame,
text="N",
variable=self.karel_direction_var,
value="north",
bg=LIGHT_GREY).pack(side="left")
tk.Radiobutton(self.dir_radio_frame,
text="S",
variable=self.karel_direction_var,
value="south",
bg=LIGHT_GREY).pack(side="left")
def create_beeper_bag_radio_buttons(self):
self.beeper_bag_radio_frame = tk.Frame(self, bg=LIGHT_GREY)
self.beeper_bag_radio_frame.grid(row=4,
column=0,
padx=PAD_X,
pady=PAD_Y,
sticky="ew")
self.beeper_bag_var = tk.IntVar()
self.beeper_bag_var.set(self.karel.num_beepers)
self.beeper_bag_var.trace("w", self.update_karel_num_beepers)
beeper_bag_label = tk.Label(self.beeper_bag_radio_frame,
text="Beeper Bag: ",
bg=LIGHT_GREY)
beeper_bag_label.pack(side="left")
tk.Radiobutton(self.beeper_bag_radio_frame,
text="Empty",
variable=self.beeper_bag_var,
value=0,
bg=LIGHT_GREY).pack(side="left")
tk.Radiobutton(self.beeper_bag_radio_frame,
text="INFINITY",
variable=self.beeper_bag_var,
value=INFINITY,
bg=LIGHT_GREY).pack(side="left")
def create_action_radio_buttons(self):
self.action_radio_frame = tk.Frame(self, bg=LIGHT_GREY)
self.action_radio_frame.grid(row=5,
column=0,
padx=PAD_X,
pady=PAD_Y,
sticky="ew")
self.action_var = tk.StringVar()
self.action_var.set("move_karel")
action_label = tk.Label(self.action_radio_frame,
text="Action: ",
bg=LIGHT_GREY)
action_label.pack(side="left")
tk.Radiobutton(self.action_radio_frame,
text="Move Karel",
variable=self.action_var,
value="move_karel",
bg=LIGHT_GREY).pack(anchor='w')
tk.Radiobutton(self.action_radio_frame,
text="Add Wall",
variable=self.action_var,
value="add_wall",
bg=LIGHT_GREY).pack(anchor='w')
tk.Radiobutton(self.action_radio_frame,
text="Remove Wall",
variable=self.action_var,
value="remove_wall",
bg=LIGHT_GREY).pack(anchor='w')
tk.Radiobutton(self.action_radio_frame,
text="Add Beeper",
variable=self.action_var,
value="add_beeper",
bg=LIGHT_GREY).pack(anchor='w')
tk.Radiobutton(self.action_radio_frame,
text="Remove Beeper",
variable=self.action_var,
value="remove_beeper",
bg=LIGHT_GREY).pack(anchor='w')
color_selection_frame = tk.Frame(self.action_radio_frame,
bg=LIGHT_GREY)
color_selection_frame.pack(anchor="w")
self.color_var = tk.StringVar()
self.color_var.set(DEFAULT_COLOR)
tk.Radiobutton(color_selection_frame,
text="Paint Corner",
variable=self.action_var,
value="paint_corner",
bg=LIGHT_GREY).pack(side='left')
self.color_dropdown = tk.OptionMenu(color_selection_frame,
self.color_var, *COLOR_OPTIONS)
self.color_dropdown["bg"] = LIGHT_GREY
self.color_dropdown.pack(side="left")
tk.Radiobutton(self.action_radio_frame,
text="Reset Corner",
variable=self.action_var,
value="reset_corner",
bg=LIGHT_GREY).pack(anchor='w')
def reset_direction_radio_buttons(self):
self.karel_direction_var.set(
DIRECTIONS_MAP_INVERSE[self.karel.direction])
def reset_beeper_bag_radio_buttons(self):
self.beeper_bag_var.set(self.karel.num_beepers)
def update_karel_direction(self, *args):
new_dir = self.karel_direction_var.get()
self.karel.direction = DIRECTIONS_MAP[new_dir]
self.canvas.redraw_karel()
def update_karel_num_beepers(self, *args):
new_num_beepers = self.beeper_bag_var.get()
self.karel.num_beepers = new_num_beepers
def handle_mouse_event(self, event):
def apply_function(fn, *args):
if event_type == tk.EventType.ButtonPress:
self.last_action_event_loc = (avenue, street)
fn(avenue, street, *args)
self.canvas.redraw_corners(update=False)
self.canvas.redraw_beepers(update=False)
self.canvas.redraw_walls(update=False)
self.canvas.redraw_karel()
elif event_type == tk.EventType.Motion:
if (avenue, street) != self.last_action_event_loc:
self.last_action_event_loc = (avenue, street)
fn(avenue, street, *args)
self.canvas.redraw_corners(update=False)
self.canvas.redraw_beepers(update=False)
self.canvas.redraw_walls(update=False)
self.canvas.redraw_karel()
event_type = event.type
# only handle click events that happen in the world
if not self.canvas.click_in_world(event.x, event.y): return
avenue, street = self.canvas.calculate_location(event.x, event.y)
action = self.action_var.get()
if action == "move_karel":
if avenue != self.karel.avenue or street != self.karel.street:
self.karel.avenue = avenue
self.karel.street = street
self.canvas.redraw_karel()
elif action == "add_beeper":
apply_function(self.world.add_beeper)
elif action == "remove_beeper":
apply_function(self.world.remove_beeper)
elif action == "reset_corner":
apply_function(self.world.reset_corner)
elif action == "paint_corner":
apply_function(self.world.paint_corner,
COLOR_MAP[self.color_var.get()])
elif action == "add_wall":
wall = self.canvas.find_nearest_wall(event.x, event.y, avenue,
street)
if wall:
self.world.add_wall(wall)
self.canvas.redraw_walls()
elif action == "remove_wall":
wall = self.canvas.find_nearest_wall(event.x, event.y, avenue,
street)
if wall:
self.world.remove_wall(wall)
self.canvas.redraw_walls()
def save_world(self):
filename = asksaveasfilename(initialdir="./worlds",
title="Save Karel World",
filetypes=[("Karel Worlds", "*.w")],
parent=self.master)
if filename == "": return
if not filename.endswith(".w"): filename = filename + ".w"
self.world.save_to_file(filename, self.karel)