summaryrefslogtreecommitdiff
path: root/server/python_session.py
diff options
context:
space:
mode:
Diffstat (limited to 'server/python_session.py')
-rw-r--r--server/python_session.py23
1 files changed, 14 insertions, 9 deletions
diff --git a/server/python_session.py b/server/python_session.py
index ecb075a..2eb2a69 100644
--- a/server/python_session.py
+++ b/server/python_session.py
@@ -1,5 +1,5 @@
# CodeQ: an online programming tutor.
-# Copyright (C) 2015 UL FRI
+# Copyright (C) 2015,2016 UL FRI
#
# This program is free software: you can redistribute it and/or modify it under
# the terms of the GNU Affero General Public License as published by the Free
@@ -26,9 +26,10 @@ import sys
import threading
import time
+from db.models import Problem
import server
import server.user_session
-from db.models import Problem
+from server.problems import get_facts, load_language, load_problem
__all__ = ['PythonSession']
@@ -82,8 +83,11 @@ class PythonSession(server.LanguageSession):
return results
- def exec(self, program):
- self._notifier.send(('exec', program))
+ def exec(self, program, problem_id):
+ problem = Problem.get(id=problem_id)
+ problem_module = load_problem(problem.language, problem.group, problem.identifier, 'common')
+ aux_code = get_facts(problem.language, problem_module)
+ self._notifier.send(('exec', aux_code+program))
def push(self, stdin):
self._notifier.send(('push', stdin))
@@ -105,8 +109,9 @@ class PythonSession(server.LanguageSession):
session = server.user_session.get_session_by_id(sid)
p = Problem.get(id=problem_id)
- language_module = server.problems.load_language(p.language, 'common')
- problem_module = server.problems.load_problem(p.language, p.group, p.identifier, 'common')
+ language_module = load_language(p.language, 'common')
+ problem_module = load_problem(p.language, p.group, p.identifier, 'common')
+ aux_code = get_facts(p.language, problem_module)
# experiment support for allowing none/automatic/manual/all hints
# descriptor: {'id': 'hints', 'group': 'none|automatic|manual|all'}
@@ -117,19 +122,19 @@ class PythonSession(server.LanguageSession):
break
# check if the program is correct
- passed, msgs = problem_module.test(self.run, program)
+ passed, msgs = problem_module.test(self.run, program, aux_code)
if passed:
session.update_solution(problem_id, solution=program, done=True)
else:
hints = []
# manually defined problem-specific hints
if not hints and hasattr(language_module, 'hint'):
- hints = language_module.hint(self.run, program)
+ hints = language_module.hint(self.run, program, aux_code)
# generic language hints (style etc.)
if not hints and hasattr(problem_module, 'hint') and \
allowed_hints in ('all', 'manual'):
- hints = problem_module.hint(self.run, program)
+ hints = problem_module.hint(self.run, program, aux_code)
if hints:
msgs.extend(hints)