Comprehensive and systematic unit testing of all rule language constructs.
This commit is contained in:
parent
98f1579869
commit
540e8df404
|
|
@ -109,12 +109,12 @@
|
||||||
([tokens]
|
([tokens]
|
||||||
(parse-value tokens false)))
|
(parse-value tokens false)))
|
||||||
|
|
||||||
(defn- parse-member-condition
|
(defn parse-member-condition
|
||||||
"Parses a condition of the form '[property] in [value] or [value]...'"
|
"Parses a condition of the form '[property] in [value] or [value]...'"
|
||||||
[[property IS IN & rest]]
|
[[property IS IN & rest]]
|
||||||
(if (and (member? IS '("is" "are")) (= IN "in"))
|
(if (and (member? IS '("is" "are")) (= IN "in"))
|
||||||
(let [[l remainder] (parse-disjunct-value (cons "in" rest) false)]
|
(let [[l remainder] (parse-disjunct-value (cons "in" rest) false)]
|
||||||
[(list 'member? (keyword property) l) remainder])))
|
[(list 'member? (list (keyword property) 'cell) (list 'quote l)) remainder])))
|
||||||
|
|
||||||
(defn- parse-less-condition
|
(defn- parse-less-condition
|
||||||
"Parse '[property] less than [value]'."
|
"Parse '[property] less than [value]'."
|
||||||
|
|
@ -218,9 +218,9 @@
|
||||||
(cond (and (= comp1 "equal") (= comp2 "to"))
|
(cond (and (= comp1 "equal") (= comp2 "to"))
|
||||||
(gen-neighbours-condition '= quantity property value remainder =)
|
(gen-neighbours-condition '= quantity property value remainder =)
|
||||||
(and (= comp1 "more") (= comp2 "than"))
|
(and (= comp1 "more") (= comp2 "than"))
|
||||||
(gen-neighbours-condition '> quantity property value remainder >)
|
(gen-neighbours-condition '= quantity property value remainder >)
|
||||||
(and (= comp1 "less") (= comp2 "than"))
|
(and (= comp1 "less") (= comp2 "than"))
|
||||||
(gen-neighbours-condition '< quantity property value remainder <)
|
(gen-neighbours-condition '= quantity property value remainder <)
|
||||||
))))))
|
))))))
|
||||||
|
|
||||||
(defn parse-neighbours-condition
|
(defn parse-neighbours-condition
|
||||||
|
|
|
||||||
|
|
@ -1,11 +1,11 @@
|
||||||
(ns mw-parser.core-test
|
(ns mw-parser.core-test
|
||||||
(:use mw-engine.core
|
(:use clojure.pprint
|
||||||
|
mw-engine.core
|
||||||
mw-engine.utils
|
mw-engine.utils
|
||||||
mw-engine.world)
|
mw-engine.world)
|
||||||
(:require [clojure.test :refer :all]
|
(:require [clojure.test :refer :all]
|
||||||
[mw-parser.core :refer :all]))
|
[mw-parser.core :refer :all]))
|
||||||
|
|
||||||
|
|
||||||
(deftest rules-tests
|
(deftest rules-tests
|
||||||
(testing "Rule parser - does not test whether generated functions actually work, just that something is generated!"
|
(testing "Rule parser - does not test whether generated functions actually work, just that something is generated!"
|
||||||
(is (parse-rule "if altitude is less than 100 and state is forest then state should be climax and deer should be 3"))
|
(is (parse-rule "if altitude is less than 100 and state is forest then state should be climax and deer should be 3"))
|
||||||
|
|
@ -17,45 +17,342 @@
|
||||||
(is (parse-rule "if state is forest and fertility is between 55 and 75 then state should be climax"))
|
(is (parse-rule "if state is forest and fertility is between 55 and 75 then state should be climax"))
|
||||||
(is (parse-rule "if 6 neighbours have state equal to water then state should be village"))
|
(is (parse-rule "if 6 neighbours have state equal to water then state should be village"))
|
||||||
(is (parse-rule "if state is in grassland or pasture or heath and 4 neighbours are water then state should be village"))
|
(is (parse-rule "if state is in grassland or pasture or heath and 4 neighbours are water then state should be village"))
|
||||||
;; (is (parse-rule "if state is climax and some neighbours have state is fire then 3 chance in 5 that state should be fire"))
|
(is (parse-rule "if state is climax and some neighbours have state equal to fire then 3 chance in 5 state should be fire"))
|
||||||
(is (parse-rule "if state is pasture and more than 3 neighbours have state equal to scrub then state should be scrub"))
|
(is (parse-rule "if state is pasture and more than 3 neighbours have state equal to scrub then state should be scrub"))
|
||||||
))
|
))
|
||||||
|
|
||||||
;; ideally should also test that the rule works, but I haven't worked out how
|
|
||||||
;; to make mw-engine.utils available during eval
|
|
||||||
(deftest generation-tests
|
|
||||||
(testing "Code generation"
|
|
||||||
(is
|
|
||||||
(do
|
|
||||||
(use 'mw-engine.utils)
|
|
||||||
(eval
|
|
||||||
(parse-rule "if altitude is less than 100 and state is forest then state should be climax and deer should be 3"))))))
|
|
||||||
|
|
||||||
(deftest correctness-tests
|
(deftest correctness-tests
|
||||||
(testing "Testing that generated code performs as expected."
|
(testing "Simplest possible rule"
|
||||||
(is (let [afn (compile-rule "if altitude is less than 100 and state is forest then state should be climax and deer should be 3")]
|
(let [afn (compile-rule "if state is new then state should be grassland")]
|
||||||
(= (apply afn (list {:state :forest :altitude 99} nil))
|
(is (= (apply afn (list {:state :new} nil))
|
||||||
{:state :climax :altitude 99 :deer 3})))
|
{:state :grassland})
|
||||||
(is (let [afn (compile-rule "if more than 3 neighbours have state equal to new then state should be scrub")]
|
"Rule fires when condition is met")
|
||||||
(= (transform-world (make-world 3 3) (list afn))
|
(is (nil? (apply afn (list {:state :forest} nil))))
|
||||||
'(({:generation 1 :x 0, :y 0, :state :new}
|
"Rule doesn't fire when condition isn't met"))
|
||||||
{:generation 1 :x 1, :y 0, :state :scrub}
|
|
||||||
{:generation 1 :x 2, :y 0, :state :new})
|
(testing "Condition conjunction rule"
|
||||||
({:generation 1 :x 0, :y 1, :state :scrub}
|
(let [afn (compile-rule "if state is new and altitude is 0 then state should be water")]
|
||||||
{:generation 1 :x 1, :y 1, :state :scrub}
|
(is (= (apply afn (list {:state :new :altitude 0} nil))
|
||||||
{:generation 1 :x 2, :y 1, :state :scrub})
|
{:state :water :altitude 0})
|
||||||
({:generation 1 :x 0, :y 2, :state :new}
|
"Rule fires when conditions are met")
|
||||||
{:generation 1 :x 1, :y 2, :state :scrub}
|
(is (nil? (apply afn (list {:state :new :altitude 5} nil)))
|
||||||
{:generation 1 :x 2, :y 2, :state :new}))))
|
"Rule does not fire: second condition not met")
|
||||||
"The 'Keyword cannnot be cast to Number' bug")
|
(is (nil? (apply afn (list {:state :forest :altitude 0} nil)))
|
||||||
(is (let [afn (compile-rule "if state is new then fertility should be fertility + 1")]
|
"Rule does not fire: first condition not met")))
|
||||||
(empty?
|
|
||||||
(remove
|
(testing "Condition disjunction rule"
|
||||||
#(= % 1)
|
(let [afn (compile-rule "if state is new or state is waste then state should be grassland")]
|
||||||
(map #(:fertility %)
|
(is (= (apply afn (list {:state :new} nil))
|
||||||
(flatten
|
{:state :grassland})
|
||||||
(transform-world (make-world 3 3) (list afn)))))))
|
"Rule fires: first condition met")
|
||||||
"Arithmetic action")
|
(is (= (apply afn (list {:state :waste} nil))
|
||||||
|
{:state :grassland})
|
||||||
|
"Rule fires: second condition met")
|
||||||
|
(is (nil? (apply afn (list {:state :forest} nil)))
|
||||||
|
"Rule does not fire: neither condition met")))
|
||||||
|
|
||||||
|
(testing "Simple negation rule"
|
||||||
|
(let [afn (compile-rule "if state is not new then state should be grassland")]
|
||||||
|
(is (nil? (apply afn (list {:state :new} nil)))
|
||||||
|
"Rule doesn't fire when condition isn't met")
|
||||||
|
(is (= (apply afn (list {:state :forest} nil))
|
||||||
|
{:state :grassland})
|
||||||
|
"Rule fires when condition is met")))
|
||||||
|
|
||||||
|
(testing "Simple list membership rule"
|
||||||
|
(let [afn (compile-rule "if state is in heath or scrub or forest then state should be climax")]
|
||||||
|
(is (= (apply afn (list {:state :heath} nil))
|
||||||
|
{:state :climax})
|
||||||
|
"Rule fires when condition is met")
|
||||||
|
(is (= (apply afn (list {:state :scrub} nil))
|
||||||
|
{:state :climax})
|
||||||
|
"Rule fires when condition is met")
|
||||||
|
(is (= (apply afn (list {:state :forest} nil))
|
||||||
|
{:state :climax})
|
||||||
|
"Rule fires when condition is met")
|
||||||
|
(is (nil? (apply afn (list {:state :grassland} nil)))
|
||||||
|
"Rule does not fire when condition is not met")))
|
||||||
|
|
||||||
|
(testing "Negated list membership rule"
|
||||||
|
(let [afn (compile-rule "if state is not in heath or scrub or forest then state should be climax")]
|
||||||
|
(is (nil? (apply afn (list {:state :heath} nil)))
|
||||||
|
"Rule does not fire when condition is not met")
|
||||||
|
(is (nil? (apply afn (list {:state :scrub} nil)))
|
||||||
|
"Rule does not fire when condition is not met")
|
||||||
|
(is (nil? (apply afn (list {:state :forest} nil)))
|
||||||
|
"Rule does not fire when condition is not met")
|
||||||
|
(is (= (apply afn (list {:state :grassland} nil))
|
||||||
|
{:state :climax})
|
||||||
|
"Rule fires when condition is met")))
|
||||||
|
|
||||||
|
(testing "Property is more than numeric-value"
|
||||||
|
(let [afn (compile-rule "if altitude is more than 200 then state should be snow")]
|
||||||
|
(is (= (apply afn (list {:altitude 201} nil))
|
||||||
|
{:state :snow :altitude 201})
|
||||||
|
"Rule fires when condition is met")
|
||||||
|
(is (nil? (apply afn (list {:altitude 200} nil)))
|
||||||
|
"Rule does not fire when condition is not met")))
|
||||||
|
|
||||||
|
(testing "Property is less than numeric-value"
|
||||||
|
(let [afn (compile-rule "if altitude is less than 10 then state should be water")]
|
||||||
|
(is (= (apply afn (list {:altitude 9} nil))
|
||||||
|
{:state :water :altitude 9})
|
||||||
|
"Rule fires when condition is met")
|
||||||
|
(is (nil? (apply afn (list {:altitude 10} nil)))
|
||||||
|
"Rule does not fire when condition is not met")))
|
||||||
|
|
||||||
|
(testing "Number neighbours have property equal to value"
|
||||||
|
(let [afn (compile-rule "if 3 neighbours have state equal to new then state should be water")
|
||||||
|
world (make-world 3 3)]
|
||||||
|
(is (= (apply afn (list {:x 0 :y 0} world))
|
||||||
|
{:state :water :x 0 :y 0})
|
||||||
|
"Rule fires when condition is met (in a new world all cells are new, corner cell has three neighbours)")
|
||||||
|
(is (nil? (apply afn (list {:x 1 :y 1} world)))
|
||||||
|
"Middle cell has eight neighbours, so rule does not fire.")))
|
||||||
|
|
||||||
|
(testing "Number neighbours have property more than numeric-value"
|
||||||
|
(let [afn (compile-rule "if 3 neighbours have altitude more than 10 then state should be beach")
|
||||||
|
world (transform-world
|
||||||
|
(make-world 3 3)
|
||||||
|
(list (compile-rule "if x is 2 then altitude should be 11")
|
||||||
|
(compile-rule "if x is less than 2 then altitude should be 0")))]
|
||||||
|
(is (= (:state (apply afn (list {:x 1 :y 1} world))) :beach)
|
||||||
|
"Rule fires when condition is met (strip of altitude 11 down right hand side)")
|
||||||
|
(is (nil? (apply afn (list {:x 2 :y 1} world)))
|
||||||
|
"Middle cell of the strip has only two high neighbours, so rule should not fire.")))
|
||||||
|
|
||||||
|
(testing "Number neighbours have property less than numeric-value"
|
||||||
|
(let [afn (compile-rule "if 5 neighbours have altitude less than 10 then state should be beach")
|
||||||
|
world (transform-world
|
||||||
|
(make-world 3 3)
|
||||||
|
(list (compile-rule "if x is 2 then altitude should be 11")
|
||||||
|
(compile-rule "if x is less than 2 then altitude should be 0")))]
|
||||||
|
(is (= (:state (apply afn (list {:x 1 :y 1} world))) :beach)
|
||||||
|
"Rule fires when condition is met (strip of altitude 11 down right hand side)")
|
||||||
|
(is (nil? (apply afn (list {:x 2 :y 1} world)))
|
||||||
|
"Middle cell of the strip has two high neighbours, so rule should not fire.")))
|
||||||
|
|
||||||
|
(testing "More than number neighbours have property equal to numeric-value"
|
||||||
|
(let [afn (compile-rule "if more than 2 neighbours have altitude equal to 11 then state should be beach")
|
||||||
|
world (transform-world
|
||||||
|
(make-world 3 3)
|
||||||
|
(list (compile-rule "if x is 2 then altitude should be 11")
|
||||||
|
(compile-rule "if x is less than 2 then altitude should be 0")))]
|
||||||
|
(is (= (:state (apply afn (list {:x 1 :y 1} world))) :beach)
|
||||||
|
"Rule fires when condition is met (strip of altitude 11 down right hand side)")
|
||||||
|
(is (nil? (apply afn (list {:x 2 :y 1} world)))
|
||||||
|
"Middle cell of the strip has only two high neighbours, so rule should not fire.")))
|
||||||
|
|
||||||
|
(testing "More than number neighbours have property equal to symbolic-value"
|
||||||
|
(let [afn (compile-rule "if more than 2 neighbours have state equal to grassland then state should be beach")
|
||||||
|
world (transform-world
|
||||||
|
(make-world 3 3)
|
||||||
|
(list (compile-rule "if x is 2 then altitude should be 11 and state should be grassland")
|
||||||
|
(compile-rule "if x is less than 2 then altitude should be 0 and state should be water")))]
|
||||||
|
(is (= (:state (apply afn (list {:x 1 :y 1} world))) :beach)
|
||||||
|
"Rule fires when condition is met (strip of altitude 11 down right hand side)")
|
||||||
|
(is (nil? (apply afn (list {:x 2 :y 1} world)))
|
||||||
|
"Middle cell of the strip has only two high neighbours, so rule should not fire.")))
|
||||||
|
|
||||||
|
(testing "Fewer than number neighbours have property equal to numeric-value"
|
||||||
|
(let [afn (compile-rule "if fewer than 3 neighbours have altitude equal to 11 then state should be beach")
|
||||||
|
world (transform-world
|
||||||
|
(make-world 3 3)
|
||||||
|
(list (compile-rule "if x is 2 then altitude should be 11")
|
||||||
|
(compile-rule "if x is less than 2 then altitude should be 0")))]
|
||||||
|
(is (= (:state (apply afn (list {:x 2 :y 1} world))) :beach)
|
||||||
|
"Rule fires when condition is met (Middle cell of the strip has only two high neighbours)")
|
||||||
|
(is (nil? (apply afn (list {:x 1 :y 1} world)))
|
||||||
|
"Middle cell of world has three high neighbours, so rule should not fire.")))
|
||||||
|
|
||||||
|
(testing "Fewer than number neighbours have property equal to symbolic-value"
|
||||||
|
(let [afn (compile-rule "if fewer than 3 neighbours have state equal to grassland then state should be beach")
|
||||||
|
world (transform-world
|
||||||
|
(make-world 3 3)
|
||||||
|
(list (compile-rule "if x is 2 then altitude should be 11 and state should be grassland")
|
||||||
|
(compile-rule "if x is less than 2 then altitude should be 0 and state should be water")))]
|
||||||
|
(is (= (:state (apply afn (list {:x 2 :y 1} world))) :beach)
|
||||||
|
"Rule fires when condition is met (Middle cell of the strip has only two high neighbours)")
|
||||||
|
(is (nil? (apply afn (list {:x 1 :y 1} world)))
|
||||||
|
"Middle cell of world has three high neighbours, so rule should not fire.")))
|
||||||
|
|
||||||
|
;; some neighbours have property equal to value
|
||||||
|
(testing "Some neighbours have property equal to numeric-value"
|
||||||
|
(let [afn (compile-rule "if some neighbours have altitude equal to 11 then state should be beach")
|
||||||
|
world (transform-world
|
||||||
|
(make-world 3 3)
|
||||||
|
(list (compile-rule "if x is 2 then altitude should be 11")
|
||||||
|
(compile-rule "if x is less than 2 then altitude should be 0")))]
|
||||||
|
(is (= (:state (apply afn (list {:x 1 :y 1} world))) :beach)
|
||||||
|
"Rule fires when condition is met (strip of altitude 11 down right hand side)")
|
||||||
|
(is (nil? (apply afn (list {:x 0 :y 1} world)))
|
||||||
|
"Left hand side of world has no high neighbours, so rule should not fire.")))
|
||||||
|
|
||||||
|
(testing "Some neighbours have property equal to symbolic-value"
|
||||||
|
(let [afn (compile-rule "if some neighbours have state equal to grassland then state should be beach")
|
||||||
|
world (transform-world
|
||||||
|
(make-world 3 3)
|
||||||
|
(list (compile-rule "if x is 2 then altitude should be 11 and state should be grassland")
|
||||||
|
(compile-rule "if x is less than 2 then altitude should be 0 and state should be water")))]
|
||||||
|
(is (= (:state (apply afn (list {:x 1 :y 1} world))) :beach)
|
||||||
|
"Rule fires when condition is met (strip of altitude 11 down right hand side)")
|
||||||
|
(is (nil? (apply afn (list {:x 0 :y 1} world)))
|
||||||
|
"Left hand side of world has no high neighbours, so rule should not fire.")))
|
||||||
|
|
||||||
|
;; more than number neighbours have property more than numeric-value
|
||||||
|
(testing "More than number neighbours have property more than symbolic-value"
|
||||||
|
(let [afn (compile-rule "if more than 2 neighbours have altitude more than 10 then state should be beach")
|
||||||
|
world (transform-world
|
||||||
|
(make-world 3 3)
|
||||||
|
(list (compile-rule "if x is 2 then altitude should be 11 and state should be grassland")
|
||||||
|
(compile-rule "if x is less than 2 then altitude should be 0 and state should be water")))]
|
||||||
|
(is (= (:state (apply afn (list {:x 1 :y 1} world))) :beach)
|
||||||
|
"Rule fires when condition is met (strip of altitude 11 down right hand side)")
|
||||||
|
(is (nil? (apply afn (list {:x 2 :y 1} world)))
|
||||||
|
"Middle cell of the strip has only two high neighbours, so rule should not fire.")))
|
||||||
|
|
||||||
|
;; fewer than number neighbours have property more than numeric-value
|
||||||
|
(testing "Fewer than number neighbours have property more than numeric-value"
|
||||||
|
(let [afn (compile-rule "if fewer than 3 neighbours have altitude more than 10 then state should be beach")
|
||||||
|
world (transform-world
|
||||||
|
(make-world 3 3)
|
||||||
|
(list (compile-rule "if x is 2 then altitude should be 11")
|
||||||
|
(compile-rule "if x is less than 2 then altitude should be 0")))]
|
||||||
|
(is (= (:state (apply afn (list {:x 2 :y 1} world))) :beach)
|
||||||
|
"Rule fires when condition is met (Middle cell of the strip has only two high neighbours)")
|
||||||
|
(is (nil? (apply afn (list {:x 1 :y 1} world)))
|
||||||
|
"Middle cell of world has three high neighbours, so rule should not fire.")))
|
||||||
|
|
||||||
|
;; some neighbours have property more than numeric-value
|
||||||
|
(testing "Some neighbours have property more than numeric-value"
|
||||||
|
(let [afn (compile-rule "if some neighbours have altitude more than 10 then state should be beach")
|
||||||
|
world (transform-world
|
||||||
|
(make-world 3 3)
|
||||||
|
(list (compile-rule "if x is 2 then altitude should be 11")
|
||||||
|
(compile-rule "if x is less than 2 then altitude should be 0")))]
|
||||||
|
(is (= (:state (apply afn (list {:x 1 :y 1} world))) :beach)
|
||||||
|
"Rule fires when condition is met (strip of altitude 11 down right hand side)")
|
||||||
|
(is (nil? (apply afn (list {:x 0 :y 1} world)))
|
||||||
|
"Left hand side of world has no high neighbours, so rule should not fire.")))
|
||||||
|
|
||||||
|
;; more than number neighbours have property less than numeric-value
|
||||||
|
(testing "More than number neighbours have property less than numeric-value"
|
||||||
|
(let [afn (compile-rule "if more than 4 neighbours have altitude less than 10 then state should be beach")
|
||||||
|
world (transform-world
|
||||||
|
(make-world 3 3)
|
||||||
|
(list (compile-rule "if x is 2 then altitude should be 11")
|
||||||
|
(compile-rule "if x is less than 2 then altitude should be 0")))]
|
||||||
|
(is (= (:state (apply afn (list {:x 1 :y 1} world))) :beach)
|
||||||
|
"Rule fires when condition is met (strip of altitude 11 down right hand side)")
|
||||||
|
(is (nil? (apply afn (list {:x 2 :y 1} world)))
|
||||||
|
"Middle cell of the strip has only three low neighbours, so rule should not fire.")))
|
||||||
|
|
||||||
|
;; fewer than number neighbours have property less than numeric-value
|
||||||
|
(testing "Fewer than number neighbours have property less than numeric-value"
|
||||||
|
(let [afn (compile-rule "if fewer than 4 neighbours have altitude less than 10 then state should be beach")
|
||||||
|
world (transform-world
|
||||||
|
(make-world 3 3)
|
||||||
|
(list (compile-rule "if x is 2 then altitude should be 11")
|
||||||
|
(compile-rule "if x is less than 2 then altitude should be 0")))]
|
||||||
|
(is (nil? (apply afn (list {:x 1 :y 1} world)))
|
||||||
|
"Centre cell has five low neighbours, so rule should not fire")
|
||||||
|
(is (= (:state (apply afn (list {:x 2 :y 1} world))) :beach)
|
||||||
|
"Middle cell of the strip has only three low neighbours, so rule should fire.")))
|
||||||
|
|
||||||
|
;; some neighbours have property less than numeric-value
|
||||||
|
(testing "Some number neighbours have property less than numeric-value"
|
||||||
|
(let [afn (compile-rule "if some neighbours have altitude less than 10 then state should be beach")
|
||||||
|
world (transform-world
|
||||||
|
(make-world 3 3)
|
||||||
|
(list (compile-rule "if x is less than 2 then altitude should be 11")
|
||||||
|
(compile-rule "if x is 2 then altitude should be 0")))]
|
||||||
|
(is (= (:state (apply afn (list {:x 1 :y 1} world))) :beach)
|
||||||
|
"Rule fires when condition is met (strip of altitude 0 down right hand side)")
|
||||||
|
(is (nil? (apply afn (list {:x 0 :y 1} world)))
|
||||||
|
"Left of world is all high, so rule should not fire.")))
|
||||||
|
|
||||||
|
|
||||||
))
|
;; 'single action' already tested in 'condition' tests above
|
||||||
|
;; action and actions
|
||||||
|
(testing "Conjunction of actions"
|
||||||
|
(let [afn (compile-rule "if state is new then state should be grassland and fertility should be 0")]
|
||||||
|
(is (= (apply afn (list {:state :new} nil))
|
||||||
|
{:state :grassland :fertility 0})
|
||||||
|
"Both actions are executed")))
|
||||||
|
|
||||||
|
;; 'property should be symbolic-value' and 'property should be numeric-value'
|
||||||
|
;; already tested in tests above
|
||||||
|
|
||||||
|
;; number chance in number property should be value
|
||||||
|
(testing "Syntax of probability rule - action of real probability very hard to test"
|
||||||
|
(let [afn (compile-rule "if state is forest then 5 chance in 5 state should be climax")]
|
||||||
|
(is (= (:state (apply afn (list {:state :forest} nil))) :climax)
|
||||||
|
"five chance in five should fire every time"))
|
||||||
|
(let [afn (compile-rule "if state is forest then 0 chance in 5 state should be climax")]
|
||||||
|
(is (nil? (apply afn (list {:state :forest} nil)))
|
||||||
|
"zero chance in five should never fire")))
|
||||||
|
|
||||||
|
;; property operator numeric-value
|
||||||
|
(testing "Arithmetic action: addition of number"
|
||||||
|
(let [afn (compile-rule "if state is climax then fertility should be fertility + 1")]
|
||||||
|
(is (= (:fertility
|
||||||
|
(apply afn (list {:state :climax :fertility 0} nil)))
|
||||||
|
1)
|
||||||
|
"Addition is executed")))
|
||||||
|
|
||||||
|
(testing "Arithmetic action: addition of property value"
|
||||||
|
(let [afn (compile-rule "if state is climax then fertility should be fertility + leaf-fall")]
|
||||||
|
(is (= (:fertility
|
||||||
|
(apply afn
|
||||||
|
(list {:state :climax
|
||||||
|
:fertility 0
|
||||||
|
:leaf-fall 1} nil)))
|
||||||
|
1)
|
||||||
|
"Addition is executed")))
|
||||||
|
|
||||||
|
(testing "Arithmetic action: subtraction of number"
|
||||||
|
(let [afn (compile-rule "if state is crop then fertility should be fertility - 1")]
|
||||||
|
(is (= (:fertility
|
||||||
|
(apply afn (list {:state :crop :fertility 2} nil)))
|
||||||
|
1)
|
||||||
|
"Action is executed")))
|
||||||
|
|
||||||
|
(testing "Arithmetic action: subtraction of property value"
|
||||||
|
(let [afn (compile-rule "if wolves are more than 0 then deer should be deer - wolves")]
|
||||||
|
(is (= (:deer
|
||||||
|
(apply afn
|
||||||
|
(list {:deer 3
|
||||||
|
:wolves 2} nil)))
|
||||||
|
1)
|
||||||
|
"Action is executed")))
|
||||||
|
|
||||||
|
(testing "Arithmetic action: multiplication by number"
|
||||||
|
(let [afn (compile-rule "if deer are more than 1 then deer should be deer * 2")]
|
||||||
|
(is (= (:deer
|
||||||
|
(apply afn (list {:deer 2} nil)))
|
||||||
|
4)
|
||||||
|
"Action is executed")))
|
||||||
|
|
||||||
|
(testing "Arithmetic action: multiplication by property value"
|
||||||
|
(let [afn (compile-rule "if state is crop then deer should be deer * deer")]
|
||||||
|
(is (= (:deer
|
||||||
|
(apply afn
|
||||||
|
(list {:state :crop :deer 2} nil)))
|
||||||
|
4)
|
||||||
|
"Action is executed")))
|
||||||
|
|
||||||
|
(testing "Arithmetic action: division by number"
|
||||||
|
(let [afn (compile-rule "if wolves are more than 0 then deer should be deer / 2")]
|
||||||
|
(is (= (:deer
|
||||||
|
(apply afn (list {:deer 2 :wolves 1} nil)))
|
||||||
|
1)
|
||||||
|
"Action is executed")))
|
||||||
|
|
||||||
|
(testing "Arithmetic action: division by property value"
|
||||||
|
(let [afn (compile-rule "if wolves are more than 0 then deer should be deer / wolves")]
|
||||||
|
(is (= (:deer
|
||||||
|
(apply afn
|
||||||
|
(list {:deer 2 :wolves 2} nil)))
|
||||||
|
1)
|
||||||
|
"Action is executed")))
|
||||||
|
)
|
||||||
Loading…
Reference in a new issue