Exemplos de Numberer em Python

Exemplo n.º 1

Arquivo: test_numberer.py Projeto: lucawellmeier/mmd

def test_2_1():
    cfg = json.loads(config2)
    n = Numberer(cfg)
    assert n.counts[0]['count'] == 0
    assert n.counts[1]['count'] == 0
    assert [1] == n.track({'type': '#'})
    assert [0, 1] == n.track({'type': '###'})

Exemplo n.º 2

Arquivo: test_numberer.py Projeto: lucawellmeier/mmd

def test_1_4():
    cfg = json.loads(config1)
    n = Numberer(cfg)
    assert [0, 1] == n.track({'type': '###'})
    assert [0, 1] == n.track({'type': 'COROLLARY'})
    assert [1] == n.track({'type': '##'})
    assert [1, 1] == n.track({'type': 'PROPOSITION'})
    assert [1, 2] == n.track({'type': 'THEOREM'})
    assert [1, 1] == n.track({'type': '###'})
    assert [1, 2] == n.track({'type': '###'})
    assert [2] == n.track({'type': '##'})
    assert [2, 1] == n.track({'type': 'LEMMA'})

Exemplo n.º 3

Arquivo: test_numberer.py Projeto: lucawellmeier/mmd

def test_3_1():
    cfg = json.loads(config3)
    n = Numberer(cfg)
    assert [0, 1] == n.track({'type': '##'})
    assert [1] == n.track({'type': '#'})
    assert [2] == n.track({'type': '#'})
    assert [2, 1] == n.track({'type': '##'})
    assert [2, 1, 0, 1] == n.track({'type': '####'})
    assert [2, 1, 1] == n.track({'type': '###'})
    assert [2, 1, 2] == n.track({'type': '###'})
    assert [3] == n.track({'type': '#'})
    assert [4] == n.track({'type': '#'})
    assert [4, 0, 0, 1] == n.track({'type': '####'})

Exemplo n.º 4

Arquivo: test_numberer.py Projeto: lucawellmeier/mmd

def test_2_2():
    cfg = json.loads(config2)
    n = Numberer(cfg)
    assert [1] == n.track({'type': '##'})
    assert [1] == n.track({'type': '#'})
    assert [2] == n.track({'type': '#'})
    assert [2] == n.track({'type': '##'})
    assert [3] == n.track({'type': '#'})
    assert [4] == n.track({'type': '#'})
    assert [] == n.track({'type': 'PROOF'})
    assert [2, 1] == n.track({'type': '###'})

Exemplo n.º 5

Arquivo: test_numberer.py Projeto: lucawellmeier/mmd

def test_1_2():
    cfg = json.loads(config1)
    n = Numberer(cfg)
    n.track({'type': '##'})
    assert n.counts[0]['count'] == 1 and n.counts[0]['children'][0][
        'count'] == 0
    n.track({'type': '###'})
    n.track({'type': '###'})
    assert n.counts[0]['count'] == 1 and n.counts[0]['children'][0][
        'count'] == 2
    n.track({'type': '##'})
    assert n.counts[0]['count'] == 2 and n.counts[0]['children'][0][
        'count'] == 0

Exemplo n.º 6

Arquivo: test_numberer.py Projeto: lucawellmeier/mmd

def test_1_5():
    cfg = json.loads(config1)
    n = Numberer(cfg)
    assert [] == n.track({'type': '#'})
    assert [] == n.track({'type': 'EXAMPLE'})
    assert [] == n.track({'type': ''})
    assert [1] == n.track({'type': '##'})
    assert [1, 1] == n.track({'type': 'PROPOSITION'})
    assert [] == n.track({'type': 'EXAMPLE'})
    assert [1, 2] == n.track({'type': 'THEOREM'})
    assert [] == n.track({'type': 'PROOF'})
    assert [1, 1] == n.track({'type': '###'})
    assert [1, 2] == n.track({'type': '###'})
    assert [2] == n.track({'type': '##'})
    assert [] == n.track({'type': '#'})
    assert [2, 1] == n.track({'type': 'LEMMA'})

Exemplo n.º 7

Arquivo: test_numberer.py Projeto: lucawellmeier/mmd

def test_1_3():
    cfg = json.loads(config1)
    n = Numberer(cfg)
    n.track({'type': '##'})
    n.track({'type': '##'})
    n.track({'type': 'PROPOSITION'})
    n.track({'type': 'THEOREM'})
    assert n.counts[0]['children'][1]['count'] == 2
    n.track({'type': '###'})
    n.track({'type': '###'})
    n.track({'type': '##'})
    n.track({'type': 'PROPOSITION'})
    assert n.counts[0]['children'][1]['count'] == 1

Exemplo n.º 8

Arquivo: test_numberer.py Projeto: lucawellmeier/mmd

def test_1_1():
    cfg = json.loads(config1)
    n = Numberer(cfg)
    assert n.counts[0]['count'] == 0
    assert n.counts[0]['children'][1]['count'] == 0