Python NumberSet.assert_consistency示例

示例#1

文件： test-NumberSet-transform-cp037.py 项目： xxyzzzq/quex

 def test(UC):
     global trafo_cp037
     x = NumberSet(UC)
     y = x.clone()
     x.transform_by_table(trafo_cp037)
     x.assert_consistency()
     print "0x%02X --> 0x%s" % (UC, x.get_string(Option="hex"))

示例#2

文件： test-NumberSet-transform-cp037.py 项目： xxyzzzq/quex

 def test(UC):
     global trafo_cp037
     x = NumberSet(UC)
     y = x.clone()
     x.transform_by_table(trafo_cp037)
     x.assert_consistency()
     print "0x%02X --> 0x%s" % (UC, x.get_string(Option="hex"))

示例#3

文件： test-NumberSet-transform.py 项目： xxyzzzq/quex

def verify(A, TrafoInfo):
    result = NumberSet()
    for interval in A.get_intervals():
        for x in range(interval.begin, interval.end):
            for source_begin, source_end, target_begin in TrafoInfo:
                if x >= source_begin and x < source_end:
                    offset = x - source_begin
                    y      = target_begin + offset
                    result.add_interval(Interval(y))
    result.assert_consistency()
    return result

示例#4

文件： test-NumberSet-is_superset.py 项目： mplucinski/quex

def prepare(A_list, B_list):
    A = NumberSet()
    B = NumberSet()
    for begin, end in A_list:
        A.add_interval(Interval(begin, end))
    for begin, end in B_list:
        B.add_interval(Interval(begin, end))

    A.assert_consistency()
    B.assert_consistency()
    return A, B

示例#5

def verify(A, TrafoInfo):
    result = NumberSet()
    for interval in A.get_intervals():
        for x in range(interval.begin, interval.end):
            for source_begin, source_end, target_begin in TrafoInfo:
                if x >= source_begin and x < source_end:
                    offset = x - source_begin
                    y = target_begin + offset
                    result.add_interval(Interval(y))
    result.assert_consistency()
    return result

示例#6

文件： test-NumberSet-is_superset.py 项目： xxyzzzq/quex

def prepare(A_list, B_list):
    A = NumberSet()
    B = NumberSet()
    for begin, end in A_list:
        A.add_interval(Interval(begin, end))
    for begin, end in B_list:
        B.add_interval(Interval(begin, end))

    A.assert_consistency()
    B.assert_consistency()
    return A, B

示例#7

文件： test-NumberSet-cut.py 项目： mplucinski/quex

def test(Border, List):
    x = NumberSet([Interval(a, b) for a, b in List])
    y = deepcopy(x)
    z = deepcopy(x)
    print "Border:              %s" % Border
    print "NumberSet:           %s" % x
    x.cut_lesser(Border)
    x.assert_consistency()
    y.cut_greater_or_equal(Border)
    x.assert_consistency()
    print "cut_lesser           --> %s" % x
    print "cut_greater_or_equal --> %s" % y
    print "______________________________________"

    assert x.union(y).is_equal(z)

示例#8

文件： test-NumberSet-cut.py 项目： xxyzzzq/quex

def test(Border, List):
    x = NumberSet([Interval(a, b) for a, b in List])
    y = deepcopy(x)
    z = deepcopy(x)
    print "Border:              %s" % Border
    print "NumberSet:           %s" % x
    x.cut_lesser(Border)
    x.assert_consistency()
    y.cut_greater_or_equal(Border)
    x.assert_consistency()
    print "cut_lesser           --> %s" % x
    print "cut_greater_or_equal --> %s" % y
    print "______________________________________"

    assert x.union(y).is_equal(z)

示例#9

文件： test-NumberSet-transform-cp037.py 项目： xxyzzzq/quex

        global trafo_cp037
        x = NumberSet(UC)
        y = x.clone()
        x.transform_by_table(trafo_cp037)
        x.assert_consistency()
        print "0x%02X --> 0x%s" % (UC, x.get_string(Option="hex"))

    for letter in xrange(-2, 258):
        test(letter)

elif "all" in sys.argv:

    x = NumberSet(Interval(0, 0x100))
    y = x.clone()
    x.transform_by_table(trafo_cp037)
    x.assert_consistency()
    print "0x%s --> 0x%s" % (y, x.get_string(Option="hex"))

elif "some" in sys.argv:
    x = NumberSet(Interval(0, 0x32))
    y = x.clone()
    x.transform_by_table(trafo_cp037)
    x.assert_consistency()
    print "0x%s --> 0x%s" % (y, x.get_string(Option="hex"))

    x = NumberSet(Interval(0x42, 0x80))
    y = x.clone()
    x.transform_by_table(trafo_cp037)
    x.assert_consistency()
    print "0x%s --> 0x%s" % (y, x.get_string(Option="hex"))

示例#10

文件： test-NumberSet-transform-cp037.py 项目： xxyzzzq/quex

        global trafo_cp037
        x = NumberSet(UC)
        y = x.clone()
        x.transform_by_table(trafo_cp037)
        x.assert_consistency()
        print "0x%02X --> 0x%s" % (UC, x.get_string(Option="hex"))

    for letter in xrange(-2, 258):
        test(letter)

elif "all" in sys.argv:

    x = NumberSet(Interval(0, 0x100))
    y = x.clone()
    x.transform_by_table(trafo_cp037)
    x.assert_consistency()
    print "0x%s --> 0x%s" % (y, x.get_string(Option="hex"))

elif "some" in sys.argv:
    x = NumberSet(Interval(0, 0x32))
    y = x.clone()
    x.transform_by_table(trafo_cp037)
    x.assert_consistency()
    print "0x%s --> 0x%s" % (y, x.get_string(Option="hex"))

    x = NumberSet(Interval(0x42, 0x80))
    y = x.clone()
    x.transform_by_table(trafo_cp037)
    x.assert_consistency()
    print "0x%s --> 0x%s" % (y, x.get_string(Option="hex"))