Пример #1
0
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')
Пример #2
0
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')
Пример #3
0
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')
Пример #4
0
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')