Tests for Boolean Logic - 1st cut

BooleanTest.scala

import booleanlogic.Boolean
import booleanlogic.false1
import booleanlogic.true1
import org.junit.Test

class BooleanTest {

  @Test def `equality`() {
    assert(true1  == true1 )
    assert(true1  != false1)
    assert(false1 != true1 )
    assert(false1 == false1)
  }

  @Test def `simple or`() {
    assert((true1  | true1)  == true1 )
    assert((true1  | false1) == true1 )
    assert((false1 | true1)  == true1 )
    assert((false1 | false1) == false1)
  }

  @Test def `simple and`() {
    assert((true1  & true1)  == true1 )
    assert((true1  & false1) == false1)
    assert((false1 & true1)  == false1)
    assert((false1 & false1) == false1)
  }

  @Test def xor() {
    assert((true1  ^ true1)  == false1)
    assert((true1  ^ false1) == true1 )
    assert((false1 ^ true1)  == true1 )
    assert((false1 ^ false1) == false1)
  }

  @Test def not() {
    assert(!true1  == false1);
    assert(!false1 == true1 );
  }
}