marking/re1a_test.scala
changeset 281 87b9e3e2c1a7
parent 280 a057dc4457fc
child 282 ec9773fe1dc0
equal deleted inserted replaced
280:a057dc4457fc 281:87b9e3e2c1a7
     1 
       
     2 import scala.concurrent._
       
     3 import scala.concurrent.duration._
       
     4 import ExecutionContext.Implicits.global
       
     5 import scala.language.postfixOps 
       
     6 
       
     7 
       
     8 
       
     9 lazy val f = Future {
       
    10   assert(nullable(ZERO) == false)
       
    11   assert(nullable(ONE) == true)
       
    12   assert(nullable(CHAR('a')) == false)
       
    13   assert(nullable(ZERO | ONE) == true)
       
    14   assert(nullable(ZERO | CHAR('a')) == false)
       
    15   assert(nullable(ONE ~  ONE) == true)
       
    16   assert(nullable(ONE ~ CHAR('a')) == false)
       
    17   assert(nullable(STAR(ZERO)) == true)
       
    18 }
       
    19 
       
    20 Await.result(f, 120 second)