backtalk2

cassowary_ext.js:ClLinearExpression (extension):-- all --

X

–

Menu

N

...

../

babelsberg-lively.js (not parsed)

cassowary_ext.js (not parsed)

constraintinterpreter.js (not parsed)

core_ext.js (not parsed)

csp_ext.js (not parsed)

deltablue_ext.js (not parsed)

PerformanceTests.js (not parsed)

src_transform.js (not parsed)

src_transform_test.js (not parsed)

tests.js (not parsed)

uglify.js (not parsed)

-----

-----

-----

1
-----
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

>

<

tests.js:BabelsbergTest:-- all --:testAssignment (proto)

X

–

Menu

N

users/timfelgentreff/backtalk/

...

../

backtalk.js

backtalk_ext.js

constraints.js

tests.js

BabelsbergTest

BinaryConstraintTest

CSPTest

SolverForTest

SolverTest

VariableTest

-- all --

default category

tearDown (proto)

testAssignment (proto)

testAssignment2 (proto)

testBacktalkPaperExample (proto)

testErrorOnEmptyDomain (proto)

testFailingAssignment (proto)

testFailingAssignmentOnDomain (proto)

testForceToDomain (proto)

testRemainIfInDomain (proto)

testSimple (proto)

testSimpleEquals (proto)

testUnsatisfiableConstraint (proto)

31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
            ctx: {
                bbb: bbb,
                csp: csp,
                solver: solver,
                pt: pt,
                _$_self: this.doitContext || this
            }
        }, function() {
            return pt.x + 4 === pt.y;;
        });
    
        pt.x = 8;
        this.assert(pt.x === 8, "assignment 'x = 8' was not successful; x: " + pt.x);
        this.assert(pt.y === 12, "constraint 'x + 4 == y' not satisfied; y: " + pt.y);
        
        pt.y = 7;
        this.assert(pt.y === 7, "assignment 'y = 7' was not successful; y: " + pt.y);
        this.assert(pt.x === 3, "constraint 'x + 4 == y' not satisfied; x: " + pt.x);
    }
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

>

<

tests.js

X

–

Menu

N

users/timfelgentreff/backtalk/

...

../

backtalk.js

backtalk_ext.js

constraints.js

tests.js

BabelsbergTest

BinaryConstraintTest

CSPTest

SolverForTest

SolverTest

VariableTest

-----

-----

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
module('users.timfelgentreff.backtalk.tests').requires('users.timfelgentreff.backtalk.backtalk', 'users.timfelgent
reff.backtalk.constraints', 'lively.TestFramework', 'users.timfelgentreff.backtalk.backtalk_ext').toRun(function() 
{
TestCase.subclass('backtalk.VariableTest', {
    setUp: function() {
        this.variable = backtalk.Variable.labelFromTo('x', 1, 3);
    },
    testConnectionBetweenValuesToExploreAndCurrentValue: function () {
        this.variable.currentValue = 2;
        this.variable.valuesToExplore = [];
        this.assert(this.variable.valuesToExplore.length === 0);
        this.assert(!this.variable.currentValue);
    }
});
TestCase.subclass('backtalk.BinaryConstraintTest', {
    setUp: function() {
        this.variable1 = backtalk.Variable.labelFromTo('v1', 1, 10);
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

>

<

1
/home/tfelgentreff/babelsberg-js/standalone/minilively.js
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

save

load

remove

417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
                var part = parts[i];
                if (part && typeof(part) == 'object') {
                    var object = objects[objIndex++];
                    str += (part.appender || appendText)(object, str, part.precision);
                } else {
                    str += appendText(part, str);
                }
            }
            return str;
        }
    };
    Array.prototype.removeAt = (function(idx) {
        this.splice(idx, 1);
    });
    Array.prototype.remove = (function(obj) {
        var idx = this.indexOf(obj);
        if (idx >= 0) {
            this.removeAt(idx);
        }
    });
    
    Array.range = (function(begin, end, step) {
        step = step || 1;
        var result = [];
        for (var i = begin; i <= end; i += step) {
            result.push(i);
        }
        return result;
    });
    
    if (typeof(Set) == "undefined") {
        Global.Set = function() {
            throw 'Set not supported';
        };
    }
    window.alertOK = (function(msg) {
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

/home/tfelgentreff/babelsberg-js/standalone/minilively.js

X

–

Menu

depth: 1

reset

1
[].equals
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

show vars

JavaScript Workspace

X

–

Menu

tests.js:SolverTest:-- all --:testAllSolutionsOnATrivialCSP (proto)

X

–

Menu

N

users/timfelgentreff/backtalk/

...

../

backtalk.js

backtalk_ext.js

constraints.js

tests.js

BabelsbergTest

BinaryConstraintTest

CSPTest

SolverForTest

SolverTest

VariableTest

-- all --

default category

setUp (proto)

testAllSolutions (proto)

testAllSolutionsOnATrivialCSP (proto)

1
2
3
4
5
6
7
8
9
10
11
12
13
14
    testAllSolutionsOnATrivialCSP: function() {
        var expectedSolution,solutions;
        this.variable1.domain = [3]
        this.variable2.domain = [3]
        this.variable3.domain = [6]
        this.variable4.domain = [6]
        solutions = this.solver.allSolutions();
        this.assert(solutions.length === 1)
        this.assert(solutions[0].keys.equals([this.variable1, this.variable2, this.variable3, this.variable4]));
        this.assert(solutions[0][this.variable1.uuid] === 3)
        this.assert(solutions[0][this.variable2.uuid] === 3)
        this.assert(solutions[0][this.variable3.uuid] === 6)
        this.assert(solutions[0][this.variable4.uuid] === 6)
    }
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

>

<

1
/home/tfelgentreff/babelsberg-js/standalone/test_harness.js
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

save

load

remove

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
window.GlobalErrors = [];
window.runcount = 0;
Array.prototype.equals = (function (otherArray) {
    var array = this;
    // Returns true iff each element in `array` is equal (`==`) to its
    // corresponding element in `otherArray`
    var len = array.length;
    if (!otherArray || len !== otherArray.length) return false;
    for (var i = 0; i < len; i++) {
      if (array[i] && otherArray[i] && array[i].equals && otherArray[i].equals) {
        if (!array[i].equals(otherArray[i])) {
          return false;
        } else {
          continue;
        }
      }
      if (array[i] != otherArray[i]) return false;
    }
    return true;
});
Object.subclass("TestCase", {
    assert: function (bool, msg) {
        if (!bool) {
            throw new Error("Assertion failed " + msg);
        }
    },
    assertEquals: function (left, right, msg) {
        if (!left == right) {
            throw new Error("Expected " + left + " and " + right + " to be equal. " + 
msg);
        }
    },
    assertEqualsEpsilon: function(a, b, msg) {
        var eps = 0.01;
        if (Math.abs(a-b) <= eps) return;
        if (a == b) return;
        this.assert(false, (msg ? msg : '') + ' (' + a +' != ' + b +')');
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

/home/tfelgentreff/babelsberg-js/standalone/test_harness.js

X

–

Menu

tests.js

X

–

Menu

N

users/timfelgentreff/backtalk/

...

../

backtalk.js

backtalk_ext.js

constraints.js

tests.js

BabelsbergTest

BinaryConstraintTest

CSPTest

SolverForTest

SolverTest

VariableTest

-----

-----

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
module('users.timfelgentreff.backtalk.tests').requires('users.timfelgentreff.backtalk.backtalk', 'users.timfelgent
reff.backtalk.constraints', 'lively.TestFramework', 'users.timfelgentreff.backtalk.backtalk_ext').toRun(function() 
{
TestCase.subclass('backtalk.VariableTest', {
    setUp: function() {
        this.variable = backtalk.Variable.labelFromTo('x', 1, 3);
    },
    testConnectionBetweenValuesToExploreAndCurrentValue: function () {
        this.variable.currentValue = 2;
        this.variable.valuesToExplore = [];
        this.assert(this.variable.valuesToExplore.length === 0);
        this.assert(!this.variable.currentValue);
    }
});
TestCase.subclass('backtalk.BinaryConstraintTest', {
    setUp: function() {
        this.variable1 = backtalk.Variable.labelFromTo('v1', 1, 10);
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

>

<

TestRunner

X

M

–

lively.tests.TestFrameworkTests

Load module

▼

backtalk

▼

BabelsbergTest

testAssignment

testAssignment2

testBacktalkPaperExample

testErrorOnEmptyDomain

testFailingAssignment

testFailingAssignmentOnDomain

testForceToDomain

testRemainIfInDomain

testSimple

testSimpleEquals

testUnsatisfiableConstraint

►

BinaryConstraintTest

▼

SolverTest

testAllSolutions

testAllSolutionsOnATrivialCSP

►

VariableTest

Browse

Run

11 run, 0 failed

Reset

Bench