commonTest.it.unibo.tuprolog.solve.stdlib.function.BitwiseAndTest.kt Maven / Gradle / Ivy

Go to download

package it.unibo.tuprolog.solve.stdlib.function

import it.unibo.tuprolog.core.Integer
import it.unibo.tuprolog.solve.Signature
import it.unibo.tuprolog.solve.stdlib.function.testutils.FunctionUtils
import it.unibo.tuprolog.solve.stdlib.function.testutils.FunctionUtils.computeOf
import kotlin.test.Test
import kotlin.test.assertEquals

/**
 * Test class for [BitwiseAnd]
 *
 * @author Enrico
 */
internal class BitwiseAndTest {

    @Test
    fun functorNameCorrect() {
        assertEquals(Signature("/\\", 2), BitwiseAnd.signature)
    }

    @Test
    fun computationCorrect() {
        assertEquals(
            Integer.of(125),
            BitwiseAnd.computeOf(
                Integer.of(17 * 256 + 125),
                Integer.of(255)
            )
        )
    }

    @Test
    fun rejectedInputs() {
        FunctionUtils.assertRejectsNonIntegerParameters(BitwiseAnd)
    }
}