main_marking3/re_test1.scala
changeset 463 0315d9983cd0
parent 424 daf561a83ba6
equal deleted inserted replaced
462:34feeb53c0ba 463:0315d9983cd0
     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