90 lines
2.2 KiB
JavaScript
90 lines
2.2 KiB
JavaScript
/*jslint browser: true, unparam: true, vars: true, white: true, plusplus: true, maxerr: 50, indent: 4 */
|
|
|
|
|
|
// Exceptions
|
|
|
|
(function(baselib) {
|
|
'use strict';
|
|
var exports = {};
|
|
baselib.boxes = exports;
|
|
|
|
|
|
//////////////////////////////////////////////////////////////////////
|
|
// Boxes
|
|
|
|
var Box = function(x, mutable) {
|
|
this.val = x;
|
|
this.mutable = mutable;
|
|
};
|
|
|
|
Box.prototype.ref = function() {
|
|
return this.val;
|
|
};
|
|
|
|
Box.prototype.set = function(newVal) {
|
|
if (this.mutable) {
|
|
this.val = newVal;
|
|
}
|
|
};
|
|
|
|
Box.prototype.toString = function(cache) {
|
|
cache.put(this, true);
|
|
return "#&" + baselib.format.toWrittenString(this.val, cache);
|
|
};
|
|
|
|
Box.prototype.toWrittenString = function(cache) {
|
|
cache.put(this, true);
|
|
return "#&" + baselib.format.toWrittenString(this.val, cache);
|
|
};
|
|
|
|
Box.prototype.toDisplayedString = function(cache) {
|
|
cache.put(this, true);
|
|
return "#&" + baselib.format.toDisplayedString(this.val, cache);
|
|
};
|
|
|
|
Box.prototype.toDomNode = function(cache) {
|
|
cache.put(this, true);
|
|
var parent = document.createElement("span");
|
|
parent.appendChild(document.createTextNode('#&'));
|
|
parent.appendChild(baselib.format.toDomNode(this.val, cache));
|
|
return parent;
|
|
};
|
|
|
|
Box.prototype.equals = function(other, aUnionFind) {
|
|
return ((other instanceof Box) &&
|
|
baselib.equality.equals(this.val, other.val, aUnionFind));
|
|
};
|
|
|
|
var makeBox = function(x) {
|
|
return new Box(x, true);
|
|
};
|
|
|
|
var makeImmutableBox = function(x) {
|
|
return new Box(x, false);
|
|
};
|
|
|
|
var isBox = function(x) {
|
|
return x instanceof Box;
|
|
};
|
|
|
|
var isMutableBox = function(x) {
|
|
return (x instanceof Box && x.mutable);
|
|
};
|
|
|
|
var isImmutableBox = function(x) {
|
|
return (x instanceof Box && (!x.mutable));
|
|
};
|
|
|
|
|
|
|
|
|
|
//////////////////////////////////////////////////////////////////////
|
|
exports.Box = Box;
|
|
exports.isBox = isBox;
|
|
exports.isMutableBox = isMutableBox;
|
|
exports.isImmutableBox = isImmutableBox;
|
|
exports.makeBox = makeBox;
|
|
exports.makeImmutableBox = makeImmutableBox;
|
|
|
|
|
|
}(this.plt.baselib)); |