context("dnf")
test_that("dnf", {
expr <- quote(if (x > 1) y > 3)
clause <- as_dnf(expr)
expect_equal(length(clause), 2)
})
test_that("rewritten if", {
expr <- quote(!(gender %in% "male" & y > 3) | x > 6)
clause <- as_dnf(expr)
expect_equal(as.character(clause), '!(gender %in% "male") | y <= 3 | x > 6')
})
test_that("clause as.character", {
expr <- quote(if (x > 1) y > 3)
clause <- as_dnf(expr)
expect_equal(as.character(clause), "x <= 1 | y > 3")
})
test_that("clause as if", {
expr <- quote(if (x > 1) y > 3)
clause <- as_dnf(expr)
expect_equal(as.character(clause, as_if = TRUE), "if (x > 1) y > 3")
expr <- quote(if (x > 1) (y > 3))
clause <- as_dnf(expr)
expect_equal(as.character(clause, as_if = TRUE), "if (x > 1) y > 3")
expr <- quote(!(x > 1)|(y > 3))
clause <- as_dnf(expr)
expect_equal(as.character(clause, as_if = TRUE), "if (x > 1) y > 3")
expr <- quote(!(x > 1) | y > 3)
clause <- as_dnf(expr)
expect_equal(as.character(clause, as_if = TRUE), "if (x > 1) y > 3")
expr <- quote(!(x > 1 & z > 2) | y > 3)
clause <- as_dnf(expr)
expect_equal(as.character(clause), "x <= 1 | z <= 2 | y > 3")
expect_equal(as.character(clause, as_if=TRUE), "if (x > 1 & z > 2) y > 3")
})
test_that("simple clause works",{
expr <- quote(x > 1)
clause <- as_dnf(expr)
expect_equal(as.character(clause), "x > 1")
expr <- quote((x > 1))
clause <- as_dnf(expr)
expect_equal(as.character(clause), "x > 1")
expr <- quote(!(x > 1))
clause <- as_dnf(expr)
expect_equal(as.character(clause), "x <= 1")
})
test_that("low level stuff works", {
# to test for op edge case
expect_equal(op(quote(1)), 1)
# to test for or statement
expr <- quote( x > 1 || y > 2)
dnf <- as_dnf(expr)
expect_equal(as.character(dnf), "x > 1 | y > 2")
# to test for print (output is equal to previous test)
expect_output(print(dnf), as.character(dnf))
# invalid expression
expr <- quote(while(true){})
expect_error(as_dnf(expr), "Invalid expression")
})
test_that("long statement works", {
long_sum <- paste0("x", 1:100, collapse = " + ")
text <- paste0(long_sum, " == 0")
expr <- parse(text = text)[[1]]
dnf <- as_dnf(expr)
s <- as.character(dnf)
expect_equal(s, text)
})
describe("as_dnf", {
it("works with simple expressions", {
dnf <- as_dnf(quote(x > 1))
expect_equal(dnf[[1]], quote(x > 1))
expect_equal(length(dnf), 1)
dnf <- as_dnf(quote(x == 1))
expect_equal(dnf[[1]], quote(x == 1))
expect_equal(length(dnf), 1)
dnf <- as_dnf(quote(A == "a"))
expect_equal(dnf[[1]], quote(A == "a"))
expect_equal(length(dnf), 1)
})
it("works with if statements", {
dnf <- as_dnf(quote(if (x > 1) y < 0))
expect_equivalent(dnf, expression(x <=1, y < 0))
dnf <- as_dnf(quote(if (A == "a") y < 0))
expect_equivalent(dnf, expression(A != "a", y < 0))
dnf <- as_dnf(quote(if (A != "a") y < 0))
expect_equivalent(dnf, expression(A == "a", y < 0))
dnf <- as_dnf(quote(if (A %in% "a") y < 0))
expect_equivalent(dnf, expression(!(A %in% "a"), y < 0))
})
it("works with complex if statements", {
dnf <- as_dnf(quote(if (x > 1 & z > 1) y < 0))
expect_equal(dnf[[1]], quote(x <= 1))
expect_equal(dnf[[2]], quote(z <= 1))
expect_equal(dnf[[3]], quote(y < 0))
expect_equal(length(dnf), 3)
dnf <- as_dnf(quote(if (x > 1 & z > 1 & w > 1) y < 0))
expect_equivalent(dnf, expression(x <= 1, z <= 1, w <= 1, y < 0))
})
it("works on issue of negated linear consequent", {
dnf <- as_dnf(quote(if (A==TRUE) !x < 0))
expect_equivalent(as.expression(dnf), expression(A == FALSE | x >= 0))
dnf <- as_dnf(quote(if (y > 0) !x < 0))
expect_equivalent(as.expression(dnf), expression(y <= 0 | x >= 0))
dnf <- as_dnf(quote(if (!y > 0) !x < 0))
expect_equivalent(as.expression(dnf), expression(y > 0 | x >= 0))
dnf <- as_dnf(quote(if (!y > 0) !x < 0 | z > 0))
expect_equivalent(as.expression(dnf), expression(y > 0 | x >= 0 | z > 0))
dnf <- as_dnf(quote(if (!y > 0) !x < 0 | !z > 0))
expect_equivalent(as.expression(dnf), expression(y > 0 | x >= 0 | z <= 0))
})
})
#as_dnf(quote( )
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.