def test_dummy_seplist(self): _, Y = DummyVar('_'), Var('Y') eq_( eval( begin(parse_text(seplist(char(_), char(','), _, Y), '2,2,2'), Y)), ['2', '2', '2']) eq_( eval( begin(parse_text(seplist(char(_), char(','), _, Y), '2,3,4'), Y)), ['2', '3', '4']) eq_(eval(begin(parse_text(seplist(char(_), char(','), _, Y), '2'), Y)), ['2'])
def test_seplist(self): X, Y = Var('X'), Var('Y') eq_( eval( begin(parse_text(seplist(char(X), char(','), X, Y), '2,2,2'), Y)), ['2', '2', '2']) eq_( eval( begin(parse_text(seplist(char(X), char(','), X, Y), '2,3,4'), Y)), ['2']) eq_(eval(begin(parse_text(seplist(char(X), char(','), X, Y), '2'), Y)), ['2']) eq_(eval(begin(parse_text(seplist(char(X), char(','), X, Y), ''), Y)), [])
def test_seplist5(self): _ = DummyVar('_') y = LogicVar('y') eq_( eval( begin(set_text('a,b,cd'), seplist(char(_), char(','), _, y), char(_), eoi, getvalue(y))), ['a', 'b', 'c'])
def test_dummy_seplist(self): _, Y = DummyVar('_'), Var('Y') eq_(eval(begin(parse_text(seplist(char(_), char(','), _, Y), '2,2,2'), Y)), ['2','2','2']) eq_(eval(begin(parse_text(seplist(char(_), char(','), _, Y), '2,3,4'), Y)), ['2', '3', '4']) eq_(eval(begin(parse_text(seplist(char(_), char(','), _, Y), '2'), Y)), ['2'])
def test_seplist(self): X, Y = Var('X'), Var('Y') eq_(eval(begin(parse_text(seplist(char(X), char(','), X, Y), '2,2,2'), Y)), ['2','2','2']) eq_(eval(begin(parse_text(seplist(char(X), char(','), X, Y), '2,3,4'), Y)), ['2']) eq_(eval(begin(parse_text(seplist(char(X), char(','), X, Y), '2'), Y)), ['2']) eq_(eval(begin(parse_text(seplist(char(X), char(','), X, Y), ''), Y)), [])
def test_seplist5(self): _ = DummyVar('_') y = LogicVar('y') eq_(eval(begin(set_text('a,b,cd'), seplist(char(_), char(','), _, y), char(_), eoi, getvalue(y))), ['a', 'b', 'c'])
def test_seplist3(self): assert_raises(NoSolution, eval, begin(set_text(''), seplist(char('a'), char(','))))
def test_seplist2(self): eq_(eval(begin(set_text('a,a,aa'), seplist(char('a'), char(',')), char('a'), eoi)), True)
def test_seplist2(self): eq_( eval( begin(set_text('a,a,aa'), seplist(char('a'), char(',')), char('a'), eoi)), True)