def highest_number_type(left, right):
if left == AST.DecimalTypeNode() or right == AST.DecimalTypeNode():
return AST.DecimalTypeNode()
elif left == AST.IntTypeNode() and right == AST.IntTypeNode():
return AST.IntTypeNode()
else:
assert False, "Not both operands are of number type!"
def test_arithmetic_expr(self):
self.check_good_expression("10 * 20", AST.IntTypeNode())
self.check_good_expression("10.0 * 20", AST.DecimalTypeNode())
self.check_good_expression("10 + 20", AST.IntTypeNode())
self.check_good_expression("10.0 + 20", AST.DecimalTypeNode())
self.check_good_expression("\"abc\" + \"def\"", AST.StringTypeNode())
self.check_bad_expression("10 * \"abc\"", 0, 1)
self.check_bad_expression("10 + true", 0, 1)
self.check_bad_expression("10 + \"abc\"", 0, 1)
def test_question_parsing(self):
def format_question(q, n, var_type):
return "\"{}\" {}: {}".format(q, n, var_type)
question = "Did you sell a house in 2010?"
name = "hasSoldHouse"
q_type = AST.BoolTypeNode()
q_str = format_question(question, name, "boolean")
test_node = AST.QuestionNode(question, name, q_type)
self.validate_node(self.q_parser, q_str, test_node)
question = "Did you sell a house in 2010?"
q_type = AST.IntTypeNode()
q_str = format_question(question, name, "integer")
test_node = AST.QuestionNode(question, name, q_type)
self.validate_node(self.q_parser, q_str, test_node)
question = "question?"
name = "decimalVar"
q_type = AST.DecimalTypeNode()
q_str = format_question(question, name, "decimal")
test_node = AST.QuestionNode(question, name, q_type)
self.validate_node(self.q_parser, q_str, test_node)
question_str = "name: \"question?\" boolean "
self.check_parse_exception(self.q_parser, question_str,
pp.ParseException)
question_str = "\"question\" name boolean "
self.check_parse_exception(self.q_parser, question_str,
pp.ParseException)
question_str = "\"question?\" boolean: name"
self.check_parse_exception(self.q_parser, question_str,
pp.ParseException)
def highest_number_type(left, right):
""" :type left: AST.TypeNode """
if left.is_decimal() or right.is_decimal():
return AST.DecimalTypeNode()
elif left.is_money() or right.is_money():
return AST.MoneyTypeNode()
elif left.is_integer() and right.is_integer():
return AST.IntTypeNode()
else:
assert False, "Not both operands are of number type!"
def test_parse_form(self):
form1 = """
form TestForm {
"question1?" var1 : integer
if (var1 > 200) {
"question2?" var2 : string
}
}
"""
q1 = AST.QuestionNode("question1?", "var1", AST.IntTypeNode())
q2 = AST.QuestionNode("question2?", "var2", AST.StringTypeNode())
expr = AST.GTNode(AST.VarNode("var1"), AST.IntNode(int("200")))
if_block = AST.IfNode(expr, AST.BlockNode([q2]))
form_block = AST.BlockNode([q1, if_block])
form_node = AST.FormNode("TestForm", form_block)
self.validate_node(self.parser.grammar, form1, form_node)
form2 = """
form TestForm {
"question1?" var1 : integer
if (var1 > 200) {
"question2?" var2 : string
}
else {
"question1?" var1 : integer
}
"question2?" var2 : string
}
"""
if_else_block = AST.IfElseNode(expr, AST.BlockNode([q2]),
AST.BlockNode([q1]))
form_block2 = AST.BlockNode([q1, if_else_block, q2])
form_node = AST.FormNode("TestForm", form_block2)
self.validate_node(self.parser.grammar, form2, form_node)
def test_monop(self):
self.check_good_expression("+10", AST.IntTypeNode())
self.check_good_expression("!true", AST.BoolTypeNode())
self.check_bad_expression("+\"example\"", 0, 1)
self.check_bad_expression("!\"example\"", 0, 1)
def int_node(_):
return AST.IntTypeNode()
