main_marking3/re_test1.scala
changeset 460 f5c0749858fd
parent 421 864107857d27
child 491 2a30c7dfe3ed
equal deleted inserted replaced
459:7acbef680bef 460:f5c0749858fd
     6 assert(nullable(ZERO | ONE) == true)
     6 assert(nullable(ZERO | ONE) == true)
     7 assert(nullable(ZERO | CHAR('a')) == false)
     7 assert(nullable(ZERO | CHAR('a')) == false)
     8 assert(nullable(ONE ~  ONE) == true)
     8 assert(nullable(ONE ~  ONE) == true)
     9 assert(nullable(ONE ~ CHAR('a')) == false)
     9 assert(nullable(ONE ~ CHAR('a')) == false)
    10 assert(nullable(STAR(ZERO)) == true)
    10 assert(nullable(STAR(ZERO)) == true)
       
    11 assert(nullable(ALTs(List(ONE, CHAR('a'), ZERO))) == true)
       
    12 assert(nullable(SEQs(List(ONE, ALTs(List(ONE, CHAR('a'), ZERO)), STAR(ZERO)))) == true)
    11 
    13 
       
    14