Ejemplo n.º 1
0
def test_init_valid(string):
    state = PyState(string)
    assert state.is_valid('S')
    assert not state.is_valid('D')
    assert not state.is_valid('R-OBJ')
    assert not state.is_valid('L-SUBJ')
Ejemplo n.º 2
0
def test_right_valid(string):
    state = PyState(string, transitions=['S'])
    assert state.is_valid('R-OBJ')
Ejemplo n.º 3
0
def test_sunk_left(string, gold):
    state = PyState(string, gold=gold)
    state.transition('S')
    state.transition('L-SUBJ')
    state.transition('S')
    state.transition('S')
    assert not state.is_gold('S')
    state.transition('S')
    # Now have (is, a, test) on stack --- this is wrong
    assert state.is_gold('L-SUBJ')
    assert state.is_gold('L-ROOT')
    assert state.is_gold('L-OTHER')
    assert not state.is_gold('R-OTHER')
    assert not state.is_gold('R-OBJ')
    assert not state.is_gold('D')
    assert not state.is_gold('S')
    state.transition('L-SUBJ')
    assert state.is_gold('L-SUBJ')
    assert state.is_gold('L-ROOT')
    assert state.is_gold('L-OTHER')
    state.transition('L-ROOT')
    assert state.top == 2
    assert state.is_gold('R-OTHER')
Ejemplo n.º 4
0
def test_sunk_right(string, gold):
    state = PyState(string, gold=gold)
    state.transition('S')
    assert state.top == 1
    assert not state.is_gold('R-OBJ')
    assert state.top == 1
    state.transition('R-OBJ')
    assert state.top == 2
    assert not state.is_gold('D')
    state.transition('D')
    assert not state.is_gold('R-OBJ')
    state.transition('R-OBJ')
    assert state.is_gold('D')
    assert not state.is_gold('L-OTHER')
    assert not state.is_valid('L-OTHER')
Ejemplo n.º 5
0
def test_init_oracle(string, gold):
    state = PyState(string, gold=gold)
    assert state.is_gold('S')
    assert not state.is_gold('D')
    assert not state.is_gold('R-OBJ')
    assert not state.is_gold('L-SUBJ')
Ejemplo n.º 6
0
def test_init_valid(string):
    state = PyState(string)
    assert state.is_valid('S')
    assert not state.is_valid('D')
    assert not state.is_valid('R-OBJ')
    assert not state.is_valid('L-SUBJ')
Ejemplo n.º 7
0
def test_left_invalid(string):
    state = PyState(string, transitions=['S', 'R-OBJ'])
    assert not state.is_valid('L-SUBJ')
Ejemplo n.º 8
0
def test_reduce_valid(string):
    state = PyState(string, transitions=['S', 'R-OBJ'])
    assert state.is_valid('D')
Ejemplo n.º 9
0
def test_reduce_invalid(string):
    state = PyState(string, transitions=['S'])
    assert not state.is_valid('D')
Ejemplo n.º 10
0
def test_reduce_valid(string):
    state = PyState(string, transitions=['S', 'R-OBJ'])
    assert state.is_valid('D')
Ejemplo n.º 11
0
def test_left_valid(string):
    state = PyState(string, transitions=['S'])
    assert state.is_valid('L-SUBJ')
Ejemplo n.º 12
0
def test_right_valid(string):
    state = PyState(string, transitions=['S'])
    assert state.is_valid('R-OBJ')
Ejemplo n.º 13
0
def test_sunk_right(string, gold):
    state = PyState(string, gold=gold)
    state.transition('S')
    assert state.top == 1
    assert not state.is_gold('R-OBJ')
    assert state.top == 1
    state.transition('R-OBJ')
    assert state.top == 2
    assert not state.is_gold('D')
    state.transition('D')
    assert not state.is_gold('R-OBJ')
    state.transition('R-OBJ')
    assert state.is_gold('D')
    assert not state.is_gold('L-OTHER')
    assert not state.is_valid('L-OTHER')
Ejemplo n.º 14
0
def test_left_valid(string):
    state = PyState(string, transitions=['S'])
    assert state.is_valid('L-SUBJ')
Ejemplo n.º 15
0
def test_init_oracle(string, gold):
    state = PyState(string, gold=gold)
    assert state.is_gold('S')
    assert not state.is_gold('D')
    assert not state.is_gold('R-OBJ')
    assert not state.is_gold('L-SUBJ')
Ejemplo n.º 16
0
def test_reduce_invalid(string):
    state = PyState(string, transitions=['S'])
    assert not state.is_valid('D')
Ejemplo n.º 17
0
def test_gold_reduce_oracle(string, gold):
    state = PyState(string, gold=gold)
    state.transition('S')
    state.transition('L-SUBJ')
    state.transition('S')
    state.transition('S')
    state.transition('L-OTHER')
    state.transition('R-OBJ')
    assert not state.is_gold('R-OTHER')
    assert not state.is_gold('S')
    assert state.is_gold('D')
    assert not state.is_gold('L-ROOT')
    assert not state.is_gold('R-OBJ')
Ejemplo n.º 18
0
def test_left_invalid(string):
    state = PyState(string, transitions=['S', 'R-OBJ'])
    assert not state.is_valid('L-SUBJ')
Ejemplo n.º 19
0
def state(string, gold):
    return PyState(string, gold=gold, left_labels=[b'DET', b'ROOT', b'OTHER'],
                   right_labels=[b'OBJ', b'OTHER'], dfl_labels=[b'FILL', b'ERASE'])
Ejemplo n.º 20
0
def test_gold_reduce_oracle(string, gold):
    state = PyState(string, gold=gold)
    state.transition('S')
    state.transition('L-SUBJ')
    state.transition('S')
    state.transition('S')
    state.transition('L-OTHER')
    state.transition('R-OBJ')
    assert not state.is_gold('R-OTHER')
    assert not state.is_gold('S')
    assert state.is_gold('D')
    assert not state.is_gold('L-ROOT')
    assert not state.is_gold('R-OBJ')
Ejemplo n.º 21
0
def test_sunk_left(string, gold):
    state = PyState(string, gold=gold)
    state.transition('S')
    state.transition('L-SUBJ')
    state.transition('S')
    state.transition('S')
    assert not state.is_gold('S')
    state.transition('S')
    # Now have (is, a, test) on stack --- this is wrong
    assert state.is_gold('L-SUBJ')
    assert state.is_gold('L-ROOT')
    assert state.is_gold('L-OTHER')
    assert not state.is_gold('R-OTHER')
    assert not state.is_gold('R-OBJ')
    assert not state.is_gold('D')
    assert not state.is_gold('S')
    state.transition('L-SUBJ')
    assert state.is_gold('L-SUBJ')
    assert state.is_gold('L-ROOT')
    assert state.is_gold('L-OTHER')
    state.transition('L-ROOT')
    assert state.top == 2
    assert state.is_gold('R-OTHER')