def check_nat1(): parse_wrap_check('1', Syntax.integer_or_float) parse_wrap_check('2', Syntax.nat_constant2) parse_wrap_check('3', Syntax.definitely_constant_value) parse_wrap_check('4', Syntax.constant_value) eval_constant_same_exactly('5', 'Nat:5')
def check_nat1(): parse_wrap_check('1', Syntax.integer_or_float) parse_wrap_check('2', Syntax.nat_constant2) parse_wrap_check('3', Syntax.definitely_constant_value) parse_wrap_check('4', Syntax.constant_value) eval_constant_same_exactly('5', 'Nat:5')
def check_rcomp1(): parse_wrap_check('1.05', SyntaxBasics.floatnumber) parse_wrap_check('2.05', Syntax.rcomp_constant) parse_wrap_check('3.05', Syntax.definitely_constant_value) parse_wrap_check('4.05', Syntax.constant_value) eval_constant_same_exactly('5.05', 'Rcomp:5.05')
def check_rcomp1(): parse_wrap_check('1.05', SyntaxBasics.floatnumber) parse_wrap_check('2.05', Syntax.rcomp_constant) parse_wrap_check('3.05', Syntax.definitely_constant_value) parse_wrap_check('4.05', Syntax.constant_value) eval_constant_same_exactly('5.05', 'Rcomp:5.05')