chr/test/parser/simplification-rule.js

Interpreter for Constraint Handling Rules (CHR) in JavaScript

const test = require('tape')

const parse = require('../../parse').element('SimplificationRule')

test('a <=> b', function (t) {
  const res = parse('a <=> b')

  t.equal(typeof res, 'object')
  t.equal(res.type, 'SimplificationRule')

  t.equal(res.kept.length, 0)
  t.equal(res.removed.length, 1)
  t.equal(res.body.length, 1)

  t.end()
})

test('a<=>b', function (t) {
  const res = parse('a<=>b')

  t.equal(typeof res, 'object')
  t.equal(res.type, 'SimplificationRule')

  t.equal(res.kept.length, 0)
  t.equal(res.removed.length, 1)
  t.equal(res.body.length, 1)

  t.end()
})

test('a <=> b, c', function (t) {
  const res = parse('a <=> b, c')

  t.equal(res.kept.length, 0)
  t.equal(res.removed.length, 1)
  t.equal(res.body.length, 2)

  t.end()
})

test('a, b <=> c', function (t) {
  const res = parse('a, b <=> c')

  t.equal(res.kept.length, 0)
  t.equal(res.removed.length, 2)
  t.equal(res.body.length, 1)

  t.end()
})

test('a <=> X < 4 | c', function (t) {
  const res = parse('a <=> X < 4 | c')

  t.equal(res.kept.length, 0)
  t.equal(res.removed.length, 1)
  t.equal(res.body.length, 1)

  t.equal(res.guard.length, 1)

  t.end()
})

test('a <=> X < 4, X > 0 | c', function (t) {
  const res = parse('a <=> X < 4, X > 0 | c')

  t.equal(res.kept.length, 0)
  t.equal(res.removed.length, 1)
  t.equal(res.body.length, 1)

  t.equal(res.guard.length, 2)

  t.end()
})