def query(request):
global definitions
from mathics.core.parser import MultiLineFeeder
input = request.POST.get("query", "")
if settings.DEBUG and not input:
input = request.GET.get("query", "")
if settings.LOG_QUERIES:
query_log = Query(
query=input,
error=True,
browser=request.META.get("HTTP_USER_AGENT", ""),
remote_user=request.META.get("REMOTE_USER", ""),
remote_addr=request.META.get("REMOTE_ADDR", ""),
remote_host=request.META.get("REMOTE_HOST", ""),
meta=str(request.META),
log="",
)
query_log.save()
evaluation = get_session_evaluation(request.session)
feeder = MultiLineFeeder(input, "<notebook>")
results = []
try:
while not feeder.empty():
expr = evaluation.parse_feeder(feeder)
if expr is None:
results.append(Result(evaluation.out, None,
None)) # syntax errors
evaluation.out = []
continue
result = evaluation.evaluate(expr, timeout=settings.TIMEOUT)
if result is not None:
results.append(result)
except SystemExit as e:
results = []
result = None
definitions = Definitions(add_builtin=True,
extension_modules=default_pymathics_modules)
evaluation.definitions = definitions
except Exception as exc:
if settings.DEBUG and settings.DISPLAY_EXCEPTIONS:
info = traceback.format_exception(*sys.exc_info())
info = "\n".join(info)
msg = "Exception raised: %s\n\n%s" % (exc, info)
results.append(
Result([Message("System", "exception", msg)], None, None))
else:
raise
result = {
"results": [result.get_data() for result in results],
}
if settings.LOG_QUERIES:
query_log.timeout = evaluation.timeout
query_log.result = str(result) # evaluation.results
query_log.error = False
query_log.save()
return JsonResponse(result)
def __init__(self, index, testcase):
self.index = index
self.test = testcase[1].strip()
self.result = None
self.outs = []
self.private = testcase[0] == '#'
self.key = None
outs = testcase[2].splitlines()
for line in outs:
line = line.strip()
if line:
if line.startswith('.'):
text = line[1:]
if text.startswith(' '):
text = text[1:]
text = '\n' + text
if self.result is not None:
self.result += text
elif self.outs:
self.outs[-1] += text
continue
match = TESTCASE_OUT_RE.match(line)
symbol, text = match.group(1), match.group(2)
text = text.strip()
if symbol == '=':
self.result = text
elif text:
if symbol == ':':
out = Message('', '', text)
elif symbol == '|':
out = Print(text)
self.outs.append(out)
def query(request):
from mathics.core.parser import MultiLineFeeder
input = request.POST.get('query', '')
if settings.DEBUG and not input:
input = request.GET.get('query', '')
if settings.LOG_QUERIES:
query_log = Query(
query=input,
error=True,
browser=request.META.get('HTTP_USER_AGENT', ''),
remote_user=request.META.get('REMOTE_USER', ''),
remote_addr=request.META.get('REMOTE_ADDR', ''),
remote_host=request.META.get('REMOTE_HOST', ''),
meta=six.text_type(request.META),
log='',
)
query_log.save()
user_definitions = request.session.get('definitions')
definitions.set_user_definitions(user_definitions)
evaluation = Evaluation(definitions, format='xml', output=WebOutput())
feeder = MultiLineFeeder(input, '<notebook>')
results = []
try:
while not feeder.empty():
expr = evaluation.parse_feeder(feeder)
if expr is None:
results.append(Result(evaluation.out, None,
None)) # syntax errors
evaluation.out = []
continue
result = evaluation.evaluate(expr, timeout=settings.TIMEOUT)
if result is not None:
results.append(result)
except Exception as exc:
if settings.DEBUG and settings.DISPLAY_EXCEPTIONS:
info = traceback.format_exception(*sys.exc_info())
info = '\n'.join(info)
msg = 'Exception raised: %s\n\n%s' % (exc, info)
results.append(
Result([Message('System', 'exception', msg)], None, None))
else:
raise
result = {
'results': [result.get_data() for result in results],
}
request.session['definitions'] = definitions.get_user_definitions()
if settings.LOG_QUERIES:
query_log.timeout = evaluation.timeout
query_log.result = six.text_type(result) # evaluation.results
query_log.error = False
query_log.save()
return JsonResponse(result)
def __init__(self, index, testcase):
self.index = index
self.result = None
self.outs = []
# Private test cases are executed, but NOT shown as part of the docs
self.private = testcase[0] == '#'
# Ignored test cases are NOT executed, but shown as part of the docs
# Sandboxed test cases are NOT executed if environtment SANDBOX is set
if testcase[0] == 'X' or (testcase[0] == 'S'
and getenv("SANDBOX", False)):
self.ignore = True
# substitute '>' again so we get the correct formatting
testcase[0] = '>'
else:
self.ignore = False
self.test = testcase[1].strip()
# This allows a trailing blank at the end of the line for those ofus use use editors that like
# to strip trailing blanks at the ends of lines.
self.test = self.test.rstrip("#<--#")
self.key = None
outs = testcase[2].splitlines()
for line in outs:
line = line.strip()
if line:
if line.startswith('.'):
text = line[1:]
if text.startswith(' '):
text = text[1:]
text = '\n' + text
if self.result is not None:
self.result += text
elif self.outs:
self.outs[-1] += text
continue
match = TESTCASE_OUT_RE.match(line)
symbol, text = match.group(1), match.group(2)
text = text.strip()
if symbol == '=':
self.result = text
elif text:
if symbol == ':':
out = Message('', '', text)
elif symbol == '|':
out = Print(text)
self.outs.append(out)
def __init__(self, index, testcase):
self.index = index
self.result = None
self.outs = []
# Private test cases are executed, but NOT shown as part of the docs
self.private = testcase[0] == '#'
# Ignored test cases are NOT executed, but shown as part of the docs
if testcase[0] == 'X':
self.ignore = True
# substitute '>' again so we get the correct formatting
testcase[0] = '>'
else:
self.ignore = False
self.test = testcase[1].strip()
self.key = None
outs = testcase[2].splitlines()
for line in outs:
line = line.strip()
if line:
if line.startswith('.'):
text = line[1:]
if text.startswith(' '):
text = text[1:]
text = '\n' + text
if self.result is not None:
self.result += text
elif self.outs:
self.outs[-1] += text
continue
match = TESTCASE_OUT_RE.match(line)
symbol, text = match.group(1), match.group(2)
text = text.strip()
if symbol == '=':
self.result = text
elif text:
if symbol == ':':
out = Message('', '', text)
elif symbol == '|':
out = Print(text)
self.outs.append(out)
def query(request):
input = request.POST.get('query', '')
if settings.DEBUG and not input:
input = request.GET.get('query', '')
if settings.LOG_QUERIES:
query_log = Query(query=input, error=True,
browser=request.META.get('HTTP_USER_AGENT', ''),
remote_user=request.META.get('REMOTE_USER', ''),
remote_addr=request.META.get('REMOTE_ADDR', ''),
remote_host=request.META.get('REMOTE_HOST', ''),
meta=six.text_type(request.META),
log='',
)
query_log.save()
user_definitions = request.session.get('definitions')
definitions.set_user_definitions(user_definitions)
evaluation = Evaluation(definitions, format='xml')
try:
results = evaluation.parse_evaluate(input, timeout=settings.TIMEOUT)
except Exception as exc:
if settings.DEBUG and settings.DISPLAY_EXCEPTIONS:
info = traceback.format_exception(*sys.exc_info())
info = '\n'.join(info)
msg = 'Exception raised: %s\n\n%s' % (exc, info)
results = [Result([Message('System', 'exception', msg)], None, None)]
else:
raise
result = {
'results': [result.get_data() for result in results],
}
request.session['definitions'] = definitions.get_user_definitions()
if settings.LOG_QUERIES:
query_log.timeout = evaluation.timeout
query_log.result = six.text_type(result) # evaluation.results
query_log.error = False
query_log.save()
return JsonResponse(result)
def query(request):
input = request.POST.get('query', '')
if settings.DEBUG and not input:
input = request.GET.get('query', '')
if settings.LOG_QUERIES:
query_log = Query(
query=input,
error=True,
browser=request.META.get('HTTP_USER_AGENT', ''),
remote_user=request.META.get('REMOTE_USER', ''),
remote_addr=request.META.get('REMOTE_ADDR', ''),
remote_host=request.META.get('REMOTE_HOST', ''),
meta=unicode(request.META),
log='',
)
query_log.save()
user_definitions = request.session.get('definitions')
definitions.set_user_definitions(user_definitions)
try:
evaluation = Evaluation(input,
definitions,
timeout=settings.TIMEOUT,
format='xml')
except Exception, exc:
if settings.DEBUG and settings.DISPLAY_EXCEPTIONS:
evaluation = Evaluation()
info = traceback.format_exception(*sys.exc_info())
info = '\n'.join(info)
msg = 'Exception raised: %s\n\n%s' % (exc, info)
evaluation.results = [
Result([Message('System', 'exception', msg)], None, None)
]
else:
raise
def __init__(self, index, testcase):
def strip_sentinal(line):
"""Remove END_LINE_SENTINAL from the end of a line if it appears.
Some editors like to strip blanks at the end of a line.
Since the line ends in END_LINE_SENTINAL which isn't blank,
any blanks that appear before will be preserved.
Some tests require some lines to be blank or entry because
Mathics output can be that way
"""
if line.endswith(END_LINE_SENTINAL):
line = line[:-len(END_LINE_SENTINAL)]
# Also remove any remaining trailing blanks since that
# seems *also* what we want to do.
return line.strip()
self.index = index
self.result = None
self.outs = []
# Private test cases are executed, but NOT shown as part of the docs
self.private = testcase[0] == '#'
# Ignored test cases are NOT executed, but shown as part of the docs
# Sandboxed test cases are NOT executed if environtment SANDBOX is set
if testcase[0] == 'X' or (testcase[0] == 'S'
and getenv("SANDBOX", False)):
self.ignore = True
# substitute '>' again so we get the correct formatting
testcase[0] = '>'
else:
self.ignore = False
self.test = strip_sentinal(testcase[1])
self.key = None
outs = testcase[2].splitlines()
for line in outs:
line = strip_sentinal(line)
if line:
if line.startswith('.'):
text = line[1:]
if text.startswith(' '):
text = text[1:]
text = '\n' + text
if self.result is not None:
self.result += text
elif self.outs:
self.outs[-1].text += text
continue
match = TESTCASE_OUT_RE.match(line)
symbol, text = match.group(1), match.group(2)
text = text.strip()
if symbol == '=':
self.result = text
elif symbol == ':':
out = Message('', '', text)
self.outs.append(out)
elif symbol == '|':
out = Print(text)
self.outs.append(out)