"use strict";
/*
Railroad DiagramNodes
by Tab Atkins Jr. (and others)
http://xanthir.com
http://twitter.com/tabatkins
http://github.com/tabatkins/railroad-diagrams

This document and all associated files in the github project are licensed under CC0: http://creativecommons.org/publicdomain/zero/1.0/
This means you can reuse, remix, or otherwise appropriate this project for your own use WITHOUT RESTRICTION.
(The actual legal meaning can be found at the above link.)
Don't ask me for permission to use any part of this project, JUST USE IT.
I would appreciate attribution, but that is not required by the license.
*/

/*
This file uses a module pattern to avoid leaking names into the global scope.
Should be compatible with AMD, CommonJS, and plain ol' browser JS.

As well, several configuration constants are passed into the module function at the bottom of this file.
At runtime, these constants can be found on the DiagramNode class,
and can be changed before creating a DiagramNode.
*/

(function(options) {
	var funcs = {};

	function subclassOf(baseClass, superClass) {
		baseClass.prototype = Object.create(superClass.prototype);
		baseClass.prototype.$super = superClass.prototype;
	}

	function unnull(/* children */) {
		return [].slice.call(arguments).reduce(function(sofar, x) { return sofar !== undefined ? sofar : x; });
	}

	function determineGaps(outer, inner) {
		var diff = outer - inner;
		switch(DiagramNode.INTERNAL_ALIGNMENT) {
			case 'left': return [0, diff]; break;
			case 'right': return [diff, 0]; break;
			case 'center':
			default: return [diff/2, diff/2]; break;
		}
	}

	function wrapString(value) {
		return value instanceof FakeSVG ? value : new Terminal(""+value);
	}

	function sum(iter, func) {
		if(!func) func = function(x) { return x; };
		return iter.map(func).reduce(function(a,b){return a+b}, 0);
	}

	function max(iter, func) {
		if(!func) func = function(x) { return x; };
		return Math.max.apply(null, iter.map(func));
	}

	function* enumerate(iter) {
		var count = 0;
		for(const x of iter) {
			yield [count, x];
			count++;
		}
	}

	var SVG = funcs.SVG = function SVG(name, attrs, text) {
		attrs = attrs || {};
		text = text || '';
		var el = document.createElementNS("http://www.w3.org/2000/svg",name);
		for(var attr in attrs) {
			if(attr === 'xlink:href')
				el.setAttributeNS("http://www.w3.org/1999/xlink", 'href', attrs[attr]);
			else
				el.setAttribute(attr, attrs[attr]);
		}
		el.textContent = text;
		return el;
	}

	var FakeSVG = funcs.FakeSVG = function FakeSVG(tagName, attrs, text){
		if(!(this instanceof FakeSVG)) return new FakeSVG(tagName, attrs, text);
		if(text) this.children = text;
		else this.children = [];
		this.tagName = tagName;
		this.attrs = unnull(attrs, {});
		return this;
	};
	FakeSVG.prototype.format = function(x, y, width) {
		// Virtual
	};
	FakeSVG.prototype.addTo = function(parent) {
		if(parent instanceof FakeSVG) {
			parent.children.push(this);
			return this;
		} else {
			var svg = this.toSVG();
			parent.appendChild(svg);
			return svg;
		}
	};
	FakeSVG.prototype.escapeString = function(string) {
		// Escape markdown and HTML special characters
		return string.replace(/[*_\`\[\]<&]/g, function(charString) {
			return '&#' + charString.charCodeAt(0) + ';';
		});
	};
	FakeSVG.prototype.toSVG = function() {
		var el = SVG(this.tagName, this.attrs);
		if(typeof this.children == 'string') {
			el.textContent = this.children;
		} else {
			this.children.forEach(function(e) {
				el.appendChild(e.toSVG());
			});
		}
		return el;
	};
	FakeSVG.prototype.toString = function() {
		var str = '<' + this.tagName;
		var group = this.tagName == "g" || this.tagName == "svg";
		for(var attr in this.attrs) {
			str += ' ' + attr + '="' + (this.attrs[attr]+'').replace(/&/g, '&amp;').replace(/"/g, '&quot;') + '"';
		}
		str += '>';
		if(group) str += "\n";
		if(typeof this.children == 'string') {
			str += FakeSVG.prototype.escapeString(this.children);
		} else {
			this.children.forEach(function(e) {
				str += e;
			});
		}
		str += '</' + this.tagName + '>\n';
		return str;
	}
	FakeSVG.prototype.walk = function(cb) {
		cb(this);
	}

	var Path = funcs.Path = function Path(x,y) {
		if(!(this instanceof Path)) return new Path(x,y);
		FakeSVG.call(this, 'path');
		this.attrs.d = "M"+x+' '+y;
	}
	subclassOf(Path, FakeSVG);
	Path.prototype.m = function(x,y) {
		this.attrs.d += 'm'+x+' '+y;
		return this;
	}
	Path.prototype.h = function(val) {
		this.attrs.d += 'h'+val;
		return this;
	}
	Path.prototype.right = function(val) { return this.h(Math.max(0, val)); }
	Path.prototype.left = function(val) { return this.h(-Math.max(0, val)); }
	Path.prototype.v = function(val) {
		this.attrs.d += 'v'+val;
		return this;
	}
	Path.prototype.down = function(val) { return this.v(Math.max(0, val)); }
	Path.prototype.up = function(val) { return this.v(-Math.max(0, val)); }
	Path.prototype.arc = function(sweep){
		// 1/4 of a circle
		var x = DiagramNode.ARC_RADIUS;
		var y = DiagramNode.ARC_RADIUS;
		if(sweep[0] == 'e' || sweep[1] == 'w') {
			x *= -1;
		}
		if(sweep[0] == 's' || sweep[1] == 'n') {
			y *= -1;
		}
		if(sweep == 'ne' || sweep == 'es' || sweep == 'sw' || sweep == 'wn') {
			var cw = 1;
		} else {
			var cw = 0;
		}
		this.attrs.d += "a"+DiagramNode.ARC_RADIUS+" "+DiagramNode.ARC_RADIUS+" 0 0 "+cw+' '+x+' '+y;
		return this;
	}
	Path.prototype.arc_8 = function(start, dir) {
		// 1/8 of a circle
		const arc = DiagramNode.ARC_RADIUS;
		const s2 = 1/Math.sqrt(2) * arc;
		const s2inv = (arc - s2);
		let path = "a " + arc + " " + arc + " 0 0 " + (dir=='cw' ? "1" : "0") + " ";
		const sd = start+dir;
		const offset =
			sd == 'ncw'   ? [s2, s2inv] :
			sd == 'necw'  ? [s2inv, s2] :
			sd == 'ecw'   ? [-s2inv, s2] :
			sd == 'secw'  ? [-s2, s2inv] :
			sd == 'scw'   ? [-s2, -s2inv] :
			sd == 'swcw'  ? [-s2inv, -s2] :
			sd == 'wcw'   ? [s2inv, -s2] :
			sd == 'nwcw'  ? [s2, -s2inv] :
			sd == 'nccw'  ? [-s2, s2inv] :
			sd == 'nwccw' ? [-s2inv, s2] :
			sd == 'wccw'  ? [s2inv, s2] :
			sd == 'swccw' ? [s2, s2inv] :
			sd == 'sccw'  ? [s2, -s2inv] :
			sd == 'seccw' ? [s2inv, -s2] :
			sd == 'eccw'  ? [-s2inv, -s2] :
			sd == 'neccw' ? [-s2, -s2inv] : null
		;
		path += offset.join(" ");
		this.attrs.d += path;
		return this;
	}
	Path.prototype.l = function(x, y) {
		this.attrs.d += 'l'+x+' '+y;
		return this;
	}
	Path.prototype.format = function() {
		// All paths in this library start/end horizontally.
		// The extra .5 ensures a minor overlap, so there's no seams in bad rasterizers.
		this.attrs.d += 'h.5';
		return this;
	}


	var DiagramNodeMultiContainer = funcs.DiagramNodeMultiContainer = function DiagramNodeMultiContainer(tagName, items, attrs, text) {
		FakeSVG.call(this, tagName, attrs, text);
		this.items = items.map(wrapString);
	}
	subclassOf(DiagramNodeMultiContainer, FakeSVG);
	DiagramNodeMultiContainer.prototype.walk = function(cb) {
		cb(this);
		this.items.forEach(x=>w.walk(cb));
	}


	var DiagramNode = funcs.DiagramNode = function DiagramNode(items) {
		if(!(this instanceof DiagramNode)) return new DiagramNode([].slice.call(arguments));
		DiagramNodeMultiContainer.call(this, 'svg', items, {class: DiagramNode.DIAGRAM_CLASS});
		if(!(this.items[0] instanceof Start)) {
			this.items.unshift(new Start());
		}
		if(!(this.items[this.items.length-1] instanceof End)) {
			this.items.push(new End());
		}
		this.up = this.down = this.height = this.width = 0;
		for(var i = 0; i < this.items.length; i++) {
			var item = this.items[i];
			this.width += item.width + (item.needsSpace?20:0);
			this.up = Math.max(this.up, item.up - this.height);
			this.height += item.height;
			this.down = Math.max(this.down - item.height, item.down);
		}
		this.formatted = false;
	}
	subclassOf(DiagramNode, DiagramNodeMultiContainer);
	for(var option in options) {
		DiagramNode[option] = options[option];
	}
	DiagramNode.prototype.format = function(paddingt, paddingr, paddingb, paddingl) {
		paddingt = unnull(paddingt, 20);
		paddingr = unnull(paddingr, paddingt, 20);
		paddingb = unnull(paddingb, paddingt, 20);
		paddingl = unnull(paddingl, paddingr, 20);
		var x = paddingl;
		var y = paddingt;
		y += this.up;
		var g = FakeSVG('g', DiagramNode.STROKE_ODD_PIXEL_LENGTH ? {transform:'translate(.5 .5)'} : {});
		for(var i = 0; i < this.items.length; i++) {
			var item = this.items[i];
			if(item.needsSpace) {
				Path(x,y).h(10).addTo(g);
				x += 10;
			}
			item.format(x, y, item.width).addTo(g);
			x += item.width;
			y += item.height;
			if(item.needsSpace) {
				Path(x,y).h(10).addTo(g);
				x += 10;
			}
		}
		this.attrs.width = this.width + paddingl + paddingr;
		this.attrs.height = this.up + this.height + this.down + paddingt + paddingb;
		this.attrs.viewBox = "0 0 " + this.attrs.width + " " + this.attrs.height;
		g.addTo(this);
		this.formatted = true;
		return this;
	}
	DiagramNode.prototype.addTo = function(parent) {
		if(!parent) {
			var scriptTag = document.getElementsByTagName('script');
			scriptTag = scriptTag[scriptTag.length - 1];
			parent = scriptTag.parentNode;
		}
		return this.$super.addTo.call(this, parent);
	}
	DiagramNode.prototype.toSVG = function() {
		if (!this.formatted) {
			this.format();
		}
		return this.$super.toSVG.call(this);
	}
	DiagramNode.prototype.toString = function() {
		if (!this.formatted) {
			this.format();
		}
		return this.$super.toString.call(this);
	}
	DiagramNode.DEBUG = false;

	var ComplexDiagramNode = funcs.ComplexDiagramNode = function ComplexDiagramNode() {
		var diagram = new DiagramNode([].slice.call(arguments));
		var items = diagram.items;
		items.shift();
		items.pop();
		items.unshift(new Start({type:"complex"}));
		items.push(new End({type:"complex"}));
		diagram.items = items;
		return diagram;
	}

	var SequenceNode = funcs.SequenceNode = function SequenceNode(items) {
		if(!(this instanceof SequenceNode)) return new SequenceNode([].slice.call(arguments));
		DiagramNodeMultiContainer.call(this, 'g', items);
		var numberOfItems = this.items.length;
		this.needsSpace = true;
		this.up = this.down = this.height = this.width = 0;
		for(var i = 0; i < this.items.length; i++) {
			var item = this.items[i];
			this.width += item.width + (item.needsSpace?20:0);
			this.up = Math.max(this.up, item.up - this.height);
			this.height += item.height;
			this.down = Math.max(this.down - item.height, item.down);
		}
		if(this.items[0].needsSpace) this.width -= 10;
		if(this.items[this.items.length-1].needsSpace) this.width -= 10;
		if(DiagramNode.DEBUG) {
			this.attrs['data-updown'] = this.up + " " + this.height + " " + this.down
			this.attrs['data-type'] = "sequence"
		}
	}
	subclassOf(SequenceNode, DiagramNodeMultiContainer);
	SequenceNode.prototype.format = function(x,y,width) {
		// Hook up the two sides if this is narrower than its stated width.
		var gaps = determineGaps(width, this.width);
		Path(x,y).h(gaps[0]).addTo(this);
		Path(x+gaps[0]+this.width,y+this.height).h(gaps[1]).addTo(this);
		x += gaps[0];

		for(var i = 0; i < this.items.length; i++) {
			var item = this.items[i];
			if(item.needsSpace && i > 0) {
				Path(x,y).h(10).addTo(this);
				x += 10;
			}
			item.format(x, y, item.width).addTo(this);
			x += item.width;
			y += item.height;
			if(item.needsSpace && i < this.items.length-1) {
				Path(x,y).h(10).addTo(this);
				x += 10;
			}
		}
		return this;
	}

	var StackNode = funcs.StackNode = function StackNode(items) {
		if(!(this instanceof StackNode)) return new StackNode([].slice.call(arguments));
		DiagramNodeMultiContainer.call(this, 'g', items);
		if( items.length === 0 ) {
			throw new RangeError("StackNode() must have at least one child.");
		}
		this.width = Math.max.apply(null, this.items.map(function(e) { return e.width + (e.needsSpace?20:0); }));
		//if(this.items[0].needsSpace) this.width -= 10;
		//if(this.items[this.items.length-1].needsSpace) this.width -= 10;
		if(this.items.length > 1){
			this.width += DiagramNode.ARC_RADIUS*2;
		}
		this.needsSpace = true;
		this.up = this.items[0].up;
		this.down = this.items[this.items.length-1].down;

		this.height = 0;
		var last = this.items.length - 1;
		for(var i = 0; i < this.items.length; i++) {
			var item = this.items[i];
			this.height += item.height;
			if(i > 0) {
				this.height += Math.max(DiagramNode.ARC_RADIUS*2, item.up + DiagramNode.VERTICAL_SEPARATION);
			}
			if(i < last) {
				this.height += Math.max(DiagramNode.ARC_RADIUS*2, item.down + DiagramNode.VERTICAL_SEPARATION);
			}
		}
		if(DiagramNode.DEBUG) {
			this.attrs['data-updown'] = this.up + " " + this.height + " " + this.down
			this.attrs['data-type'] = "stack"
		}
	}
	subclassOf(StackNode, DiagramNodeMultiContainer);
	StackNode.prototype.format = function(x,y,width) {
		var gaps = determineGaps(width, this.width);
		Path(x,y).h(gaps[0]).addTo(this);
		x += gaps[0];
		var xInitial = x;
		if(this.items.length > 1) {
			Path(x, y).h(DiagramNode.ARC_RADIUS).addTo(this);
			x += DiagramNode.ARC_RADIUS;
		}

		for(var i = 0; i < this.items.length; i++) {
			var item = this.items[i];
			var innerWidth = this.width - (this.items.length>1 ? DiagramNode.ARC_RADIUS*2 : 0);
			item.format(x, y, innerWidth).addTo(this);
			x += innerWidth;
			y += item.height;

			if(i !== this.items.length-1) {
				Path(x, y)
					.arc('ne').down(Math.max(0, item.down + DiagramNode.VERTICAL_SEPARATION - DiagramNode.ARC_RADIUS*2))
					.arc('es').left(innerWidth)
					.arc('nw').down(Math.max(0, this.items[i+1].up + DiagramNode.VERTICAL_SEPARATION - DiagramNode.ARC_RADIUS*2))
					.arc('ws').addTo(this);
				y += Math.max(item.down + DiagramNode.VERTICAL_SEPARATION, DiagramNode.ARC_RADIUS*2) + Math.max(this.items[i+1].up + DiagramNode.VERTICAL_SEPARATION, DiagramNode.ARC_RADIUS*2);
				//y += Math.max(DiagramNode.ARC_RADIUS*4, item.down + DiagramNode.VERTICAL_SEPARATION*2 + this.items[i+1].up)
				x = xInitial+DiagramNode.ARC_RADIUS;
			}

		}

		if(this.items.length > 1) {
			Path(x,y).h(DiagramNode.ARC_RADIUS).addTo(this);
			x += DiagramNode.ARC_RADIUS;
		}
		Path(x,y).h(gaps[1]).addTo(this);

		return this;
	}

	var OptionalSequenceNode = funcs.OptionalSequenceNode = function OptionalSequenceNode(items) {
		if(!(this instanceof OptionalSequenceNode)) return new OptionalSequenceNode([].slice.call(arguments));
		DiagramNodeMultiContainer.call(this, 'g', items);
		if( items.length === 0 ) {
			throw new RangeError("OptionalSequenceNode() must have at least one child.");
		}
		if( items.length === 1 ) {
			return new SequenceNode(items);
		}
		var arc = DiagramNode.ARC_RADIUS;
		this.needsSpace = false;
		this.width = 0;
		this.up = 0;
		this.height = sum(this.items, function(x){return x.height});
		this.down = this.items[0].down;
		var heightSoFar = 0;
		for(var i = 0; i < this.items.length; i++) {
			var item = this.items[i];
			this.up = Math.max(this.up, Math.max(arc*2, item.up + DiagramNode.VERTICAL_SEPARATION) - heightSoFar);
			heightSoFar += item.height;
			if(i > 0) {
				this.down = Math.max(this.height + this.down, heightSoFar + Math.max(arc*2, item.down + DiagramNode.VERTICAL_SEPARATION)) - this.height;
			}
			var itemWidth = (item.needsSpace?10:0) + item.width;
			if(i == 0) {
				this.width += arc + Math.max(itemWidth, arc);
			} else {
				this.width += arc*2 + Math.max(itemWidth, arc) + arc;
			}
		}
		if(DiagramNode.DEBUG) {
			this.attrs['data-updown'] = this.up + " " + this.height + " " + this.down
			this.attrs['data-type'] = "optseq"
		}
	}
	subclassOf(OptionalSequenceNode, DiagramNodeMultiContainer);
	OptionalSequenceNode.prototype.format = function(x, y, width) {
		var arc = DiagramNode.ARC_RADIUS;
		var gaps = determineGaps(width, this.width);
		Path(x, y).right(gaps[0]).addTo(this);
		Path(x + gaps[0] + this.width, y + this.height).right(gaps[1]).addTo(this);
		x += gaps[0]
		var upperLineY = y - this.up;
		var last = this.items.length - 1;
		for(var i = 0; i < this.items.length; i++) {
			var item = this.items[i];
			var itemSpace = (item.needsSpace?10:0);
			var itemWidth = item.width + itemSpace;
			if(i == 0) {
				// Upper skip
				Path(x,y)
					.arc('se')
					.up(y - upperLineY - arc*2)
					.arc('wn')
					.right(itemWidth - arc)
					.arc('ne')
					.down(y + item.height - upperLineY - arc*2)
					.arc('ws')
					.addTo(this);
				// Straight line
				Path(x, y)
					.right(itemSpace + arc)
					.addTo(this);
				item.format(x + itemSpace + arc, y, item.width).addTo(this);
				x += itemWidth + arc;
				y += item.height;
				// x ends on the far side of the first element,
				// where the next element's skip needs to begin
			} else if(i < last) {
				// Upper skip
				Path(x, upperLineY)
					.right(arc*2 + Math.max(itemWidth, arc) + arc)
					.arc('ne')
					.down(y - upperLineY + item.height - arc*2)
					.arc('ws')
					.addTo(this);
				// Straight line
				Path(x,y)
					.right(arc*2)
					.addTo(this);
				item.format(x + arc*2, y, item.width).addTo(this);
				Path(x + item.width + arc*2, y + item.height)
					.right(itemSpace + arc)
					.addTo(this);
				// Lower skip
				Path(x,y)
					.arc('ne')
					.down(item.height + Math.max(item.down + DiagramNode.VERTICAL_SEPARATION, arc*2) - arc*2)
					.arc('ws')
					.right(itemWidth - arc)
					.arc('se')
					.up(item.down + DiagramNode.VERTICAL_SEPARATION - arc*2)
					.arc('wn')
					.addTo(this);
				x += arc*2 + Math.max(itemWidth, arc) + arc;
				y += item.height;
			} else {
				// Straight line
				Path(x, y)
					.right(arc*2)
					.addTo(this);
				item.format(x + arc*2, y, item.width).addTo(this);
				Path(x + arc*2 + item.width, y + item.height)
					.right(itemSpace + arc)
					.addTo(this);
				// Lower skip
				Path(x,y)
					.arc('ne')
					.down(item.height + Math.max(item.down + DiagramNode.VERTICAL_SEPARATION, arc*2) - arc*2)
					.arc('ws')
					.right(itemWidth - arc)
					.arc('se')
					.up(item.down + DiagramNode.VERTICAL_SEPARATION - arc*2)
					.arc('wn')
					.addTo(this);
			}
		}
		return this;
	}

	var AlternatingSequenceNode = funcs.AlternatingSequenceNode = function AlternatingSequenceNode(items) {
		if(!(this instanceof AlternatingSequenceNode)) return new AlternatingSequenceNode([].slice.call(arguments));
		DiagramNodeMultiContainer.call(this, 'g', items);
		if( items.length === 1 ) {
			return new SequenceNode(items);
		}
		if( items.length !== 2 ) {
			throw new RangeError("AlternatingSequenceNode() must have one or two children.");
		}
		this.needsSpace = false;

		const arc = DiagramNode.ARC_RADIUS;
		const vert = DiagramNode.VERTICAL_SEPARATION;
		const max = Math.max;
		const first = this.items[0];
		const second = this.items[1];

		const arcX = 1 / Math.sqrt(2) * arc * 2;
		const arcY = (1 - 1 / Math.sqrt(2)) * arc * 2;
		const crossY = Math.max(arc, DiagramNode.VERTICAL_SEPARATION);
		const crossX = (crossY - arcY) + arcX;

		const firstOut = max(arc + arc, crossY/2 + arc + arc, crossY/2 + vert + first.down);
		this.up = firstOut + first.height + first.up;

		const secondIn = max(arc + arc, crossY/2 + arc + arc, crossY/2 + vert + second.up);
		this.down = secondIn + second.height + second.down;

		this.height = 0;

		const firstWidth = 2*(first.needsSpace?10:0) + first.width;
		const secondWidth = 2*(second.needsSpace?10:0) + second.width;
		this.width = 2*arc + max(firstWidth, crossX, secondWidth) + 2*arc;

		if(DiagramNode.DEBUG) {
			this.attrs['data-updown'] = this.up + " " + this.height + " " + this.down
			this.attrs['data-type'] = "altseq"
		}
	}
	subclassOf(AlternatingSequenceNode, DiagramNodeMultiContainer);
	AlternatingSequenceNode.prototype.format = function(x, y, width) {
		const arc = DiagramNode.ARC_RADIUS;
		const gaps = determineGaps(width, this.width);
		Path(x,y).right(gaps[0]).addTo(this);
		x += gaps[0];
		Path(x+this.width, y).right(gaps[1]).addTo(this);
		// bounding box
		//Path(x+gaps[0], y).up(this.up).right(this.width).down(this.up+this.down).left(this.width).up(this.down).addTo(this);
		const first = this.items[0];
		const second = this.items[1];

		// top
		const firstIn = this.up - first.up;
		const firstOut = this.up - first.up - first.height;
		Path(x,y).arc('se').up(firstIn-2*arc).arc('wn').addTo(this);
		first.format(x + 2*arc, y - firstIn, this.width - 4*arc).addTo(this);
		Path(x + this.width - 2*arc, y - firstOut).arc('ne').down(firstOut - 2*arc).arc('ws').addTo(this);

		// bottom
		const secondIn = this.down - second.down - second.height;
		const secondOut = this.down - second.down;
		Path(x,y).arc('ne').down(secondIn - 2*arc).arc('ws').addTo(this);
		second.format(x + 2*arc, y + secondIn, this.width - 4*arc).addTo(this);
		Path(x + this.width - 2*arc, y + secondOut).arc('se').up(secondOut - 2*arc).arc('wn').addTo(this);

		// crossover
		const arcX = 1 / Math.sqrt(2) * arc * 2;
		const arcY = (1 - 1 / Math.sqrt(2)) * arc * 2;
		const crossY = Math.max(arc, DiagramNode.VERTICAL_SEPARATION);
		const crossX = (crossY - arcY) + arcX;
		const crossBar = (this.width - 4*arc - crossX)/2;
		Path(x+arc, y - crossY/2 - arc).arc('ws').right(crossBar)
			.arc_8('n', 'cw').l(crossX - arcX, crossY - arcY).arc_8('sw', 'ccw')
			.right(crossBar).arc('ne').addTo(this);
		Path(x+arc, y + crossY/2 + arc).arc('wn').right(crossBar)
			.arc_8('s', 'ccw').l(crossX - arcX, -(crossY - arcY)).arc_8('nw', 'cw')
			.right(crossBar).arc('se').addTo(this);

		return this;
	}

	var ChoiceNode = funcs.ChoiceNode = function ChoiceNode(normal, items) {
		if(!(this instanceof ChoiceNode)) return new ChoiceNode(normal, [].slice.call(arguments,1));
		DiagramNodeMultiContainer.call(this, 'g', items);
		if( typeof normal !== "number" || normal !== Math.floor(normal) ) {
			throw new TypeError("The first argument of ChoiceNode() must be an integer.");
		} else if(normal < 0 || normal >= items.length) {
			throw new RangeError("The first argument of ChoiceNode() must be an index for one of the items.");
		} else {
			this.normal = normal;
		}
		var first = 0;
		var last = items.length - 1;
		this.width = Math.max.apply(null, this.items.map(function(el){return el.width})) + DiagramNode.ARC_RADIUS*4;
		this.height = this.items[normal].height;
		this.up = this.items[first].up;
		for(var i = first; i < normal; i++) {
			if(i == normal-1) var arcs = DiagramNode.ARC_RADIUS*2;
			else var arcs = DiagramNode.ARC_RADIUS;
			this.up += Math.max(arcs, this.items[i].height + this.items[i].down + DiagramNode.VERTICAL_SEPARATION + this.items[i+1].up);
		}
		this.down = this.items[last].down;
		for(var i = normal+1; i <= last; i++) {
			if(i == normal+1) var arcs = DiagramNode.ARC_RADIUS*2;
			else var arcs = DiagramNode.ARC_RADIUS;
			this.down += Math.max(arcs, this.items[i-1].height + this.items[i-1].down + DiagramNode.VERTICAL_SEPARATION + this.items[i].up);
		}
		this.down -= this.items[normal].height; // already counted in ChoiceNode.height
		if(DiagramNode.DEBUG) {
			this.attrs['data-updown'] = this.up + " " + this.height + " " + this.down
			this.attrs['data-type'] = "choice"
		}
	}
	subclassOf(ChoiceNode, DiagramNodeMultiContainer);
	ChoiceNode.prototype.format = function(x,y,width) {
		// Hook up the two sides if this is narrower than its stated width.
		var gaps = determineGaps(width, this.width);
		Path(x,y).h(gaps[0]).addTo(this);
		Path(x+gaps[0]+this.width,y+this.height).h(gaps[1]).addTo(this);
		x += gaps[0];

		var last = this.items.length -1;
		var innerWidth = this.width - DiagramNode.ARC_RADIUS*4;

		// Do the elements that curve above
		for(var i = this.normal - 1; i >= 0; i--) {
			var item = this.items[i];
			if( i == this.normal - 1 ) {
				var distanceFromY = Math.max(DiagramNode.ARC_RADIUS*2, this.items[this.normal].up + DiagramNode.VERTICAL_SEPARATION + item.down + item.height);
			}
			Path(x,y)
				.arc('se')
				.up(distanceFromY - DiagramNode.ARC_RADIUS*2)
				.arc('wn').addTo(this);
			item.format(x+DiagramNode.ARC_RADIUS*2,y - distanceFromY,innerWidth).addTo(this);
			Path(x+DiagramNode.ARC_RADIUS*2+innerWidth, y-distanceFromY+item.height)
				.arc('ne')
				.down(distanceFromY - item.height + this.height - DiagramNode.ARC_RADIUS*2)
				.arc('ws').addTo(this);
			distanceFromY += Math.max(DiagramNode.ARC_RADIUS, item.up + DiagramNode.VERTICAL_SEPARATION + (i == 0 ? 0 : this.items[i-1].down+this.items[i-1].height));
		}

		// Do the straight-line path.
		Path(x,y).right(DiagramNode.ARC_RADIUS*2).addTo(this);
		this.items[this.normal].format(x+DiagramNode.ARC_RADIUS*2, y, innerWidth).addTo(this);
		Path(x+DiagramNode.ARC_RADIUS*2+innerWidth, y+this.height).right(DiagramNode.ARC_RADIUS*2).addTo(this);

		// Do the elements that curve below
		for(var i = this.normal+1; i <= last; i++) {
			var item = this.items[i];
			if( i == this.normal + 1 ) {
				var distanceFromY = Math.max(DiagramNode.ARC_RADIUS*2, this.height + this.items[this.normal].down + DiagramNode.VERTICAL_SEPARATION + item.up);
			}
			Path(x,y)
				.arc('ne')
				.down(distanceFromY - DiagramNode.ARC_RADIUS*2)
				.arc('ws').addTo(this);
			item.format(x+DiagramNode.ARC_RADIUS*2, y+distanceFromY, innerWidth).addTo(this);
			Path(x+DiagramNode.ARC_RADIUS*2+innerWidth, y+distanceFromY+item.height)
				.arc('se')
				.up(distanceFromY - DiagramNode.ARC_RADIUS*2 + item.height - this.height)
				.arc('wn').addTo(this);
			distanceFromY += Math.max(DiagramNode.ARC_RADIUS, item.height + item.down + DiagramNode.VERTICAL_SEPARATION + (i == last ? 0 : this.items[i+1].up));
		}

		return this;
	}


	var HorizontalChoiceNode = funcs.HorizontalChoiceNode = function HorizontalChoiceNode(items) {
		if(!(this instanceof HorizontalChoiceNode)) return new HorizontalChoiceNode([].slice.call(arguments));
		if( items.length === 0 ) {
			throw new RangeError("HorizontalChoiceNode() must have at least one child.");
		}
		if( items.length === 1) {
			return new SequenceNode(items);
		}
		DiagramNodeMultiContainer.call(this, 'g', items);

		const allButLast = this.items.slice(0, -1);
		const middles = this.items.slice(1, -1);
		const first = this.items[0];
		const last = this.items[this.items.length - 1];
		this.needsSpace = false;

		this.width = DiagramNode.ARC_RADIUS; // starting track
		this.width += DiagramNode.ARC_RADIUS*2 * (this.items.length-1); // inbetween tracks
		this.width += sum(this.items, x=>x.width + (x.needsSpace?20:0)); // items
		this.width += (last.height > 0 ? DiagramNode.ARC_RADIUS : 0); // needs space to curve up
		this.width += DiagramNode.ARC_RADIUS; //ending track

		// Always exits at entrance height
		this.height = 0;

		// All but the last have a track running above them
		this._upperTrack = Math.max(
			DiagramNode.ARC_RADIUS*2,
			DiagramNode.VERTICAL_SEPARATION,
			max(allButLast, x=>x.up) + DiagramNode.VERTICAL_SEPARATION
		);
		this.up = Math.max(this._upperTrack, last.up);

		// All but the first have a track running below them
		// Last either straight-lines or curves up, so has different calculation
		this._lowerTrack = Math.max(
			DiagramNode.VERTICAL_SEPARATION,
			max(middles, x=>x.height+Math.max(x.down+DiagramNode.VERTICAL_SEPARATION, DiagramNode.ARC_RADIUS*2)),
			last.height + last.down + DiagramNode.VERTICAL_SEPARATION
		);
		if(first.height < this._lowerTrack) {
			// Make sure there's at least 2*AR room between first exit and lower track
			this._lowerTrack = Math.max(this._lowerTrack, first.height + DiagramNode.ARC_RADIUS*2);
		}
		this.down = Math.max(this._lowerTrack, first.height + first.down);

		if(DiagramNode.DEBUG) {
			this.attrs['data-updown'] = this.up + " " + this.height + " " + this.down
			this.attrs['data-type'] = "horizontalchoice"
		}
	}
	subclassOf(HorizontalChoiceNode, DiagramNodeMultiContainer);
	HorizontalChoiceNode.prototype.format = function(x,y,width) {
		// Hook up the two sides if this is narrower than its stated width.
		var gaps = determineGaps(width, this.width);
		new Path(x,y).h(gaps[0]).addTo(this);
		new Path(x+gaps[0]+this.width,y+this.height).h(gaps[1]).addTo(this);
		x += gaps[0];

		const first = this.items[0];
		const last = this.items[this.items.length-1];
		const allButFirst = this.items.slice(1);
		const allButLast = this.items.slice(0, -1);

		// upper track
		var upperSpan = (sum(allButLast, x=>x.width+(x.needsSpace?20:0))
			+ (this.items.length - 2) * DiagramNode.ARC_RADIUS*2
			- DiagramNode.ARC_RADIUS
		);
		new Path(x,y)
			.arc('se')
			.v(-(this._upperTrack - DiagramNode.ARC_RADIUS*2))
			.arc('wn')
			.h(upperSpan)
			.addTo(this);

		// lower track
		var lowerSpan = (sum(allButFirst, x=>x.width+(x.needsSpace?20:0))
			+ (this.items.length - 2) * DiagramNode.ARC_RADIUS*2
			+ (last.height > 0 ? DiagramNode.ARC_RADIUS : 0)
			- DiagramNode.ARC_RADIUS
		);
		var lowerStart = x + DiagramNode.ARC_RADIUS + first.width+(first.needsSpace?20:0) + DiagramNode.ARC_RADIUS*2;
		new Path(lowerStart, y+this._lowerTrack)
			.h(lowerSpan)
			.arc('se')
			.v(-(this._lowerTrack - DiagramNode.ARC_RADIUS*2))
			.arc('wn')
			.addTo(this);

		// Items
		for(const [i, item] of enumerate(this.items)) {
			// input track
			if(i === 0) {
				new Path(x,y)
					.h(DiagramNode.ARC_RADIUS)
					.addTo(this);
				x += DiagramNode.ARC_RADIUS;
			} else {
				new Path(x, y - this._upperTrack)
					.arc('ne')
					.v(this._upperTrack - DiagramNode.ARC_RADIUS*2)
					.arc('ws')
					.addTo(this);
				x += DiagramNode.ARC_RADIUS*2;
			}

			// item
			var itemWidth = item.width + (item.needsSpace?20:0);
			item.format(x, y, itemWidth).addTo(this);
			x += itemWidth;

			// output track
			if(i === this.items.length-1) {
				if(item.height === 0) {
					new Path(x,y)
						.h(DiagramNode.ARC_RADIUS)
						.addTo(this);
				} else {
					new Path(x,y+item.height)
					.arc('se')
					.addTo(this);
				}
			} else if(i === 0 && item.height > this._lowerTrack) {
				// Needs to arc up to meet the lower track, not down.
				if(item.height - this._lowerTrack >= DiagramNode.ARC_RADIUS*2) {
					new Path(x, y+item.height)
						.arc('se')
						.v(this._lowerTrack - item.height + DiagramNode.ARC_RADIUS*2)
						.arc('wn')
						.addTo(this);
				} else {
					// Not enough space to fit two arcs
					// so just bail and draw a straight line for now.
					new Path(x, y+item.height)
						.l(DiagramNode.ARC_RADIUS*2, this._lowerTrack - item.height)
						.addTo(this);
				}
			} else {
				new Path(x, y+item.height)
					.arc('ne')
					.v(this._lowerTrack - item.height - DiagramNode.ARC_RADIUS*2)
					.arc('ws')
					.addTo(this);
			}
		}
		return this;
	}


	var MultipleChoiceNode = funcs.MultipleChoiceNode = function MultipleChoiceNode(normal, type, items) {
		if(!(this instanceof MultipleChoiceNode)) return new MultipleChoiceNode(normal, type, [].slice.call(arguments,2));
		DiagramNodeMultiContainer.call(this, 'g', items);
		if( typeof normal !== "number" || normal !== Math.floor(normal) ) {
			throw new TypeError("The first argument of MultipleChoiceNode() must be an integer.");
		} else if(normal < 0 || normal >= items.length) {
			throw new RangeError("The first argument of MultipleChoiceNode() must be an index for one of the items.");
		} else {
			this.normal = normal;
		}
		if( type != "any" && type != "all" ) {
			throw new SyntaxError("The second argument of MultipleChoiceNode must be 'any' or 'all'.");
		} else {
			this.type = type;
		}
		this.needsSpace = true;
		this.innerWidth = max(this.items, function(x){return x.width});
		this.width = 30 + DiagramNode.ARC_RADIUS + this.innerWidth + DiagramNode.ARC_RADIUS + 20;
		this.up = this.items[0].up;
		this.down = this.items[this.items.length-1].down;
		this.height = this.items[normal].height;
		for(var i = 0; i < this.items.length; i++) {
			var item = this.items[i];
			if(i == normal - 1 || i == normal + 1) var minimum = 10 + DiagramNode.ARC_RADIUS;
			else var minimum = DiagramNode.ARC_RADIUS;
			if(i < normal) {
				this.up += Math.max(minimum, item.height + item.down + DiagramNode.VERTICAL_SEPARATION + this.items[i+1].up);
			} else if(i > normal) {
				this.down += Math.max(minimum, item.up + DiagramNode.VERTICAL_SEPARATION + this.items[i-1].down + this.items[i-1].height);
			}
		}
		this.down -= this.items[normal].height; // already counted in this.height
		if(DiagramNode.DEBUG) {
			this.attrs['data-updown'] = this.up + " " + this.height + " " + this.down
			this.attrs['data-type'] = "multiplechoice"
		}
	}
	subclassOf(MultipleChoiceNode, DiagramNodeMultiContainer);
	MultipleChoiceNode.prototype.format = function(x, y, width) {
		var gaps = determineGaps(width, this.width);
		Path(x, y).right(gaps[0]).addTo(this);
		Path(x + gaps[0] + this.width, y + this.height).right(gaps[1]).addTo(this);
		x += gaps[0];

		var normal = this.items[this.normal];

		// Do the elements that curve above
		for(var i = this.normal - 1; i >= 0; i--) {
			var item = this.items[i];
			if( i == this.normal - 1 ) {
				var distanceFromY = Math.max(10 + DiagramNode.ARC_RADIUS, normal.up + DiagramNode.VERTICAL_SEPARATION + item.down + item.height);
			}
			Path(x + 30,y)
				.up(distanceFromY - DiagramNode.ARC_RADIUS)
				.arc('wn').addTo(this);
			item.format(x + 30 + DiagramNode.ARC_RADIUS, y - distanceFromY, this.innerWidth).addTo(this);
			Path(x + 30 + DiagramNode.ARC_RADIUS + this.innerWidth, y - distanceFromY + item.height)
				.arc('ne')
				.down(distanceFromY - item.height + this.height - DiagramNode.ARC_RADIUS - 10)
				.addTo(this);
			if(i != 0) {
				distanceFromY += Math.max(DiagramNode.ARC_RADIUS, item.up + DiagramNode.VERTICAL_SEPARATION + this.items[i-1].down + this.items[i-1].height);
			}
		}

		Path(x + 30, y).right(DiagramNode.ARC_RADIUS).addTo(this);
		normal.format(x + 30 + DiagramNode.ARC_RADIUS, y, this.innerWidth).addTo(this);
		Path(x + 30 + DiagramNode.ARC_RADIUS + this.innerWidth, y + this.height).right(DiagramNode.ARC_RADIUS).addTo(this);

		for(var i = this.normal+1; i < this.items.length; i++) {
			var item = this.items[i];
			if(i == this.normal + 1) {
				var distanceFromY = Math.max(10+DiagramNode.ARC_RADIUS, normal.height + normal.down + DiagramNode.VERTICAL_SEPARATION + item.up);
			}
			Path(x + 30, y)
				.down(distanceFromY - DiagramNode.ARC_RADIUS)
				.arc('ws')
				.addTo(this);
			item.format(x + 30 + DiagramNode.ARC_RADIUS, y + distanceFromY, this.innerWidth).addTo(this)
			Path(x + 30 + DiagramNode.ARC_RADIUS + this.innerWidth, y + distanceFromY + item.height)
				.arc('se')
				.up(distanceFromY - DiagramNode.ARC_RADIUS + item.height - normal.height)
				.addTo(this);
			if(i != this.items.length - 1) {
				distanceFromY += Math.max(DiagramNode.ARC_RADIUS, item.height + item.down + DiagramNode.VERTICAL_SEPARATION + this.items[i+1].up);
			}
		}
		var text = FakeSVG('g', {"class": "diagram-text"}).addTo(this)
		FakeSVG('title', {}, (this.type=="any"?"take one or more branches, once each, in any order":"take all branches, once each, in any order")).addTo(text)
		FakeSVG('path', {
			"d": "M "+(x+30)+" "+(y-10)+" h -26 a 4 4 0 0 0 -4 4 v 12 a 4 4 0 0 0 4 4 h 26 z",
			"class": "diagram-text"
			}).addTo(text)
		FakeSVG('text', {
			"x": x + 15,
			"y": y + 4,
			"class": "diagram-text"
			}, (this.type=="any"?"1+":"all")).addTo(text)
		FakeSVG('path', {
			"d": "M "+(x+this.width-20)+" "+(y-10)+" h 16 a 4 4 0 0 1 4 4 v 12 a 4 4 0 0 1 -4 4 h -16 z",
			"class": "diagram-text"
			}).addTo(text)
		FakeSVG('path', {
			"d": "M "+(x+this.width-13)+" "+(y-2)+" a 4 4 0 1 0 6 -1 m 2.75 -1 h -4 v 4 m 0 -3 h 2",
			"style": "stroke-width: 1.75"
		}).addTo(text)
		return this;
	};

	var OptionalNode = funcs.OptionalNode = function OptionalNode(item, skip) {
		if( skip === undefined )
			return ChoiceNode(1, Skip(), item);
		else if ( skip === "skip" )
			return ChoiceNode(0, Skip(), item);
		else
			throw "Unknown value for OptionalNode()'s 'skip' argument.";
	}

	var OneOrMoreNode = funcs.OneOrMoreNode = function OneOrMoreNode(item, rep) {
		if(!(this instanceof OneOrMoreNode)) return new OneOrMoreNode(item, rep);
		FakeSVG.call(this, 'g');
		rep = rep || (new Skip);
		this.item = wrapString(item);
		this.rep = wrapString(rep);
		this.width = Math.max(this.item.width, this.rep.width) + DiagramNode.ARC_RADIUS*2;
		this.height = this.item.height;
		this.up = this.item.up;
		this.down = Math.max(DiagramNode.ARC_RADIUS*2, this.item.down + DiagramNode.VERTICAL_SEPARATION + this.rep.up + this.rep.height + this.rep.down);
		if(DiagramNode.DEBUG) {
			this.attrs['data-updown'] = this.up + " " + this.height + " " + this.down
			this.attrs['data-type'] = "oneormore"
		}
	}
	subclassOf(OneOrMoreNode, FakeSVG);
	OneOrMoreNode.prototype.needsSpace = true;
	OneOrMoreNode.prototype.format = function(x,y,width) {
		// Hook up the two sides if this is narrower than its stated width.
		var gaps = determineGaps(width, this.width);
		Path(x,y).h(gaps[0]).addTo(this);
		Path(x+gaps[0]+this.width,y+this.height).h(gaps[1]).addTo(this);
		x += gaps[0];

		// Draw item
		Path(x,y).right(DiagramNode.ARC_RADIUS).addTo(this);
		this.item.format(x+DiagramNode.ARC_RADIUS,y,this.width-DiagramNode.ARC_RADIUS*2).addTo(this);
		Path(x+this.width-DiagramNode.ARC_RADIUS,y+this.height).right(DiagramNode.ARC_RADIUS).addTo(this);

		// Draw repeat arc
		var distanceFromY = Math.max(DiagramNode.ARC_RADIUS*2, this.item.height+this.item.down+DiagramNode.VERTICAL_SEPARATION+this.rep.up);
		Path(x+DiagramNode.ARC_RADIUS,y).arc('nw').down(distanceFromY-DiagramNode.ARC_RADIUS*2).arc('ws').addTo(this);
		this.rep.format(x+DiagramNode.ARC_RADIUS, y+distanceFromY, this.width - DiagramNode.ARC_RADIUS*2).addTo(this);
		Path(x+this.width-DiagramNode.ARC_RADIUS, y+distanceFromY+this.rep.height).arc('se').up(distanceFromY-DiagramNode.ARC_RADIUS*2+this.rep.height-this.item.height).arc('en').addTo(this);

		return this;
	}
	OneOrMoreNode.prototype.walk = function(cb) {
		cb(this);
		this.item.walk(cb);
		this.rep.walk(cb);
	}

	var ZeroOrMoreNode = funcs.ZeroOrMoreNode = function ZeroOrMoreNode(item, rep, skip) {
		return OptionalNode(OneOrMoreNode(item, rep), skip);
	}

	var Start = funcs.Start = function Start({type="simple", label}={}) {
		if(!(this instanceof Start)) return new Start({type, label});
		FakeSVG.call(this, 'g');
		this.width = 20;
		this.height = 0;
		this.up = 10;
		this.down = 10;
		this.type = type;
		if(label != undefined) {
			this.label = ""+label;
			this.width = Math.max(20, this.label.length * DiagramNode.CHAR_WIDTH + 10);
		}
		if(DiagramNode.DEBUG) {
			this.attrs['data-updown'] = this.up + " " + this.height + " " + this.down
			this.attrs['data-type'] = "start"
		}
	}
	subclassOf(Start, FakeSVG);
	Start.prototype.format = function(x,y) {
		let path = new Path(x, y-10);
		if (this.type === "complex") {
			path.down(20)
				.m(0, -10)
				.right(this.width)
				.addTo(this);
		} else {
			path.down(20)
				.m(10, -20)
				.down(20)
				.m(-10, -10)
				.right(this.width)
				.addTo(this);
		}
		if(this.label) {
			new FakeSVG('text', {x:x, y:y-15, style:"text-anchor:start"}, this.label).addTo(this);
		}
		return this;
	}

	var End = funcs.End = function End({type="simple"}={}) {
		if(!(this instanceof End)) return new End({type});
		FakeSVG.call(this, 'path');
		this.width = 20;
		this.height = 0;
		this.up = 10;
		this.down = 10;
		this.type = type;
		if(DiagramNode.DEBUG) {
			this.attrs['data-updown'] = this.up + " " + this.height + " " + this.down
			this.attrs['data-type'] = "end"
		}
	}
	subclassOf(End, FakeSVG);
	End.prototype.format = function(x,y) {
		if (this.type === "complex") {
			this.attrs.d = 'M '+x+' '+y+' h 20 m 0 -10 v 20';
		} else {
			this.attrs.d = 'M '+x+' '+y+' h 20 m -10 -10 v 20 m 10 -20 v 20';
		}
		return this;
	}

	var Terminal = funcs.Terminal = function Terminal(text, {href, title}={}) {
		if(!(this instanceof Terminal)) return new Terminal(text, {href, title});
		FakeSVG.call(this, 'g', {'class': 'terminal'});
		this.text = ""+text;
		this.href = href;
		this.title = title;
		this.width = this.text.length * DiagramNode.CHAR_WIDTH + 20;
		this.height = 0;
		this.up = 11;
		this.down = 11;
		if(DiagramNode.DEBUG) {
			this.attrs['data-updown'] = this.up + " " + this.height + " " + this.down
			this.attrs['data-type'] = "terminal"
		}
	}
	subclassOf(Terminal, FakeSVG);
	Terminal.prototype.needsSpace = true;
	Terminal.prototype.format = function(x, y, width) {
		// Hook up the two sides if this is narrower than its stated width.
		var gaps = determineGaps(width, this.width);
		Path(x,y).h(gaps[0]).addTo(this);
		Path(x+gaps[0]+this.width,y).h(gaps[1]).addTo(this);
		x += gaps[0];

		FakeSVG('rect', {x:x, y:y-11, width:this.width, height:this.up+this.down, rx:7, ry:7}).addTo(this);
		var text = FakeSVG('text', {x:x+this.width/2, y:y+4}, this.text);
		if(this.href)
			FakeSVG('a', {'xlink:href': this.href}, [text]).addTo(this);
		else
			text.addTo(this);
		if(this.title)
			new FakeSVG('title', {}, this.title).addTo(this);
		return this;
	}

	var NonTerminal = funcs.NonTerminal = function NonTerminal(text, element_class, on_click, {href, title}={}) {
		if(!(this instanceof NonTerminal)) return new NonTerminal(text, {href, title});
		FakeSVG.call(this, 'g', {'class': 'non-terminal'});
		this.text = ""+text;
		this.href = href;
		this.title = title;
		this.width = this.text.length * DiagramNode.CHAR_WIDTH + 20;
		this.height = 0;
		this.element_class = element_class;
		this.on_click = on_click;
		this.up = 11;
		this.down = 11;
		if(DiagramNode.DEBUG) {
			this.attrs['data-updown'] = this.up + " " + this.height + " " + this.down
			this.attrs['data-type'] = "nonterminal"
		}
	}
	subclassOf(NonTerminal, FakeSVG);
	NonTerminal.prototype.needsSpace = true;
	NonTerminal.prototype.format = function(x, y, width) {
		// Hook up the two sides if this is narrower than its stated width.
		var gaps = determineGaps(width, this.width);
		Path(x,y).h(gaps[0]).addTo(this);
		Path(x+gaps[0]+this.width,y).h(gaps[1]).addTo(this);
		x += gaps[0];

		var rect = FakeSVG('rect', {x:x, y:y-11, width:this.width, height:this.up+this.down})
		rect.attrs['class'] = this.element_class
		rect.addTo(this);
		if (this.on_click !== undefined) {
			rect.attrs['onclick'] = this.on_click;
		}

		var text = FakeSVG('text', {x:x+this.width/2, y:y+4}, this.text);
		text.attrs['class'] = this.element_class
		if (this.on_click !== undefined) {
			text.attrs['onclick'] = this.on_click;
		}
		if(this.href)
			FakeSVG('a', {'xlink:href': this.href}, [text]).addTo(this);
		else
			text.addTo(this);
		if(this.title)
			new FakeSVG('title', {}, this.title).addTo(this);
		return this;
	}

	var Comment = funcs.Comment = function Comment(text, {href, title}={}) {
		if(!(this instanceof Comment)) return new Comment(text, {href, title});
		FakeSVG.call(this, 'g');
		this.text = ""+text;
		this.href = href;
		this.title = title;
		this.width = this.text.length * DiagramNode.COMMENT_CHAR_WIDTH + 10;
		this.height = 0;
		this.up = 11;
		this.down = 11;
		if(DiagramNode.DEBUG) {
			this.attrs['data-updown'] = this.up + " " + this.height + " " + this.down
			this.attrs['data-type'] = "comment"
		}
	}
	subclassOf(Comment, FakeSVG);
	Comment.prototype.needsSpace = true;
	Comment.prototype.format = function(x, y, width) {
		// Hook up the two sides if this is narrower than its stated width.
		var gaps = determineGaps(width, this.width);
		Path(x,y).h(gaps[0]).addTo(this);
		Path(x+gaps[0]+this.width,y+this.height).h(gaps[1]).addTo(this);
		x += gaps[0];

		var text = FakeSVG('text', {x:x+this.width/2, y:y+5, class:'comment'}, this.text);
		if(this.href)
			FakeSVG('a', {'xlink:href': this.href}, [text]).addTo(this);
		else
			text.addTo(this);
		if(this.title)
			new FakeSVG('title', {}, this.title).addTo(this);
		return this;
	}

	var Skip = funcs.Skip = function Skip() {
		if(!(this instanceof Skip)) return new Skip();
		FakeSVG.call(this, 'g');
		this.width = 0;
		this.height = 0;
		this.up = 0;
		this.down = 0;
		if(DiagramNode.DEBUG) {
			this.attrs['data-updown'] = this.up + " " + this.height + " " + this.down
			this.attrs['data-type'] = "skip"
		}
	}
	subclassOf(Skip, FakeSVG);
	Skip.prototype.format = function(x, y, width) {
		Path(x,y).right(width).addTo(this);
		return this;
	}


	var Block = funcs.Block = function Block({width=50, up=15, height=25, down=15, needsSpace=true}={}) {
		if(!(this instanceof Block)) return new Block({width, up, height, down, needsSpace});
		FakeSVG.call(this, 'g');
		this.width = width;
		this.height = height;
		this.up = up;
		this.down = down;
		this.needsSpace = true;
		if(DiagramNode.DEBUG) {
			this.attrs['data-updown'] = this.up + " " + this.height + " " + this.down;
			this.attrs['data-type'] = "block"
		}
	}
	subclassOf(Block, FakeSVG);
	Block.prototype.format = function(x, y, width) {
		// Hook up the two sides if this is narrower than its stated width.
		var gaps = determineGaps(width, this.width);
		new Path(x,y).h(gaps[0]).addTo(this);
		new Path(x+gaps[0]+this.width,y).h(gaps[1]).addTo(this);
		x += gaps[0];

		new FakeSVG('rect', {x:x, y:y-this.up, width:this.width, height:this.up+this.height+this.down}).addTo(this);
		return this;
	}

	var root;
	if (typeof define === 'function' && define.amd) {
		// AMD. Register as an anonymous module.
		root = {};
		define([], function() {
			return root;
		});
	} else if (typeof exports === 'object') {
		// CommonJS for node
		root = exports;
	} else {
		// Browser globals (root is window)
		root = this;
	}

	for(var name in funcs) {
		root[name] = funcs[name];
	}
}).call(this,
	{
	VERTICAL_SEPARATION: 8,
	ARC_RADIUS: 10,
	DIAGRAM_CLASS: 'railroad-diagram',
	STROKE_ODD_PIXEL_LENGTH: true,
	INTERNAL_ALIGNMENT: 'left',
	CHAR_WIDTH: 8.5, // width of each monospace character. play until you find the right value for your font
	COMMENT_CHAR_WIDTH: 7, // comments are in smaller text by default
	}
);

function Diagram(items) {
	return new DiagramNode(items);
}

function Sequence(items) {
	return new SequenceNode(items);
}

function Stack(items) {
	return new StackNode(items);
}

function AutomaticStack(items) {
	var result_items = [];
	var sequence_items = [];
	var window_width = window.innerWidth;
	if (window_width > 800) {
		window_width = 800;
	}
	var padding = 200;
	for (var i = 0; i < items.length; i++) {
		sequence_items.push(items[i]);
		var test_sequence = new Sequence(sequence_items);
		if (padding + test_sequence.width >= window_width) {
			// no longer fits: generate a sequence from the previous items
			if (sequence_items.length > 1) {
				sequence_items.pop();
				result_items.push(new Sequence(sequence_items));
				sequence_items = [items[i]];
			} else {
				// this item by itself did not fit: just render it anyway
				result_items.push(new Sequence(sequence_items));
				sequence_items = [];
			}
		}
	}
	if (sequence_items.length > 0) {
		// items remain: push them into the result items set
		result_items.push(new Sequence(sequence_items));
	}
	return new StackNode(result_items);
}

function Optional(items, skip) {
	return new OptionalNode(items, skip);
}

function OptionalSequence(items) {
	return new OptionalSequenceNode(items);
}

function OneOrMore(items, rep) {
	return new OneOrMoreNode(items, rep);
}

function ZeroOrMore(items, rep, skip) {
	return new ZeroOrMoreNode(items, rep, skip);
}

function Choice(normal, items) {
	return new ChoiceNode(normal, items);
}

function Expression(text="expr", cl="expression", on_click=undefined) {
	return Sequence([new NonTerminal(text, cl, on_click)]);
}

function Keyword(text) {
	return new Terminal(text);
}

function Expandable(text, options, node_name, expand_func) {
	if (options[node_name]) {
		var sequence = expand_func(options);
		sequence.unshift(Expression("-", "expanded", "Refresh(\"" + node_name + "\", false)"));
		return Sequence(sequence)
	} else {
		return Expression(text, "expandable", "Refresh(\"" + node_name + "\", true)");
	}
}

function GenerateValues(options) {
	return [
		Keyword("VALUES"),
		OneOrMore(
			Sequence([
				Keyword("("),
				OneOrMore(Expression(), ","),
				Keyword(")")
			]), Keyword(","))
	]
}

function GenerateQualifiedTableName(options, tname = "table-name") {
	return Sequence([
			Choice(0, [
			new Skip(),
			Sequence([
				Expression("catalog-name"),
				Keyword("."),
				Expression("schema-name"),
				Keyword(".")
			]),
			Sequence([
				Expression("schema-name"),
				Keyword(".")
			])
		]),
		Expression("type-name")
	]);
}

function GenerateTemporary(options) {
	return Optional(Choice(0, [Keyword("TEMPORARY"), Keyword("TEMP")]), "skip");
}

function GenerateIfNotExists(options) {
	return Optional(Keyword("IF NOT EXISTS"), "skip");
}

function GenerateIfExists(options) {
	return Optional(Keyword("IF EXISTS"), "skip");
}

function GenerateOrReplace(options) {
	return Optional(Keyword("OR REPLACE"), "skip");
}

function GenerateOptionalColumnList(options) {
	return Optional(Sequence([
			Keyword("("),
			OneOrMore(Expression("column-name"), Keyword(",")),
			Keyword(")")
		]), "skip");
}

function GenerateOrderTerms(options) {
	return Choice(0, [
		OneOrMore(Sequence([
			Expression(),
			Choice(0, [
				new Skip(),
				Keyword("ASC"),
				Keyword("DESC")
			]),
			Choice(0, [
				Skip(),
				Sequence([
					Keyword("NULLS"),
					Choice(0, [
						Keyword("FIRST"),
						Keyword("LAST"),
					]),
				])
			])
		]), ","),
		Sequence([
			Keyword("ALL"),
			Choice(0, [
				new Skip(),
				Keyword("ASC"),
				Keyword("DESC")
			]),
			Choice(0, [
				Skip(),
				Sequence([
					Keyword("NULLS"),
					Choice(0, [
						Keyword("FIRST"),
						Keyword("LAST"),
					]),
				])
			])
		]),
	])
}


function GenerateFrameSpec(options) {
	return [
		Choice(0, [
			Keyword("GROUPS"),
			Keyword("RANGE"),
			Keyword("ROWS")
		]),
		Choice(0, [
			Sequence([
				Keyword("BETWEEN"),
				Choice(0, [
					Sequence([
						Keyword("UNBOUNDED PRECEDING")
					]),
					Sequence([
						Expression(),
						Keyword("PRECEDING")
					]),
					Sequence([
						Keyword("CURRENT ROW")
					]),
					Sequence([
						Expression(),
						Keyword("FOLLOWING")
					]),
				]),
				Keyword("AND"),
				Choice(0, [
					Sequence([
						Expression(),
						Keyword("PRECEDING")
					]),
					Sequence([
						Keyword("CURRENT ROW")
					]),
					Sequence([
						Expression(),
						Keyword("FOLLOWING")
					]),
					Sequence([
						Keyword("UNBOUNDED FOLLOWING")
					])
				]),
			]),
			Sequence([
				Keyword("UNBOUNDED PRECEDING")
			]),
			Sequence([
				Expression(),
				Keyword("PRECEDING")
			]),
			Sequence([
				Keyword("CURRENT ROW")
			])
		]),
		Optional(
			Sequence([
				Keyword("EXCLUDE"),
				Choice(0, [
					Keyword("CURRENT ROW"),
					Keyword("GROUP"),
					Keyword("TIES"),
					Keyword("NO OTHERS"),
				]),
			]),
			"skip"
		),
	]
}
function GenerateWindowSpec(options) {
	return [
		Keyword("("),
		Optional(Expression("base-window-name"), "skip"),
		Stack([
			Optional(Sequence([
				Keyword("PARTITION BY"),
				OneOrMore(Expression(), ",")
			])),
			GenerateOrderBy(),
			Expandable("frame-spec", options, "frame-spec", GenerateFrameSpec),
		]),
		Keyword(")")
	]
}

function GenerateColumnConstraints(options) {
	return [ZeroOrMore(Choice(0, [
		Sequence([
			Keyword("PRIMARY KEY")
		]),
		Sequence([
			Optional(Keyword("NOT")),
			Keyword("NULL")
		]),
		Keyword("UNIQUE"),
		Sequence([
			Keyword("CHECK"),
			Keyword("("),
			Expression(),
			Keyword(")")
		]),
		Sequence([
			Keyword("DEFAULT"),
			Choice(0, [
				Expression("literal-value"),
				Sequence([
					Keyword("("),
					Expression(),
					Keyword(")")
				])
			])
		]),
		Sequence([
			Keyword("REFERENCES"),
			Expression("foreign-table"),
			Keyword("("),
			OneOrMore(Expression("column-name"), ","),
			Keyword(")")
		]),
		Sequence([
			Keyword("COLLATE"),
			Expression("collation-name"),
		]),
	]), undefined, "skip")]
}


function GenerateColumnList(options) {
	return Sequence([
		Keyword("("),
		OneOrMore(Expression("column-name"), ","),
		Keyword(")")
	])
}

function GenerateCopyFromOptions(options) {
	return [
		Optional(Sequence([
			Optional(Keyword("WITH"), "skip"),
			Keyword("("),
			OneOrMore(Choice(0, [
				Sequence([Keyword("FORMAT"), Expression("format-type")]),
				Sequence([Keyword("⟨format-specific-option⟩"), Expression("value")])
			]), ",", "skip"),
			Keyword(")")
		]), "skip")
	]
}

function GenerateCopyToOptions(options) {
	return [
		Optional(Sequence([
			Optional(Keyword("WITH"), "skip"),
			Keyword("("),
			OneOrMore(Choice(0, [
				Sequence([Keyword("FORMAT"), Expression("format-type")]),
				Sequence([Keyword("⟨format-specific-option⟩"), Expression("value")]),
				Sequence([Keyword("USE_TMP_FILE"), Choice(0, [Keyword("true"), Keyword("false")])]),
				Sequence([Keyword("OVERWRITE_OR_IGNORE"), Choice(0, [Keyword("true"), Keyword("false")])]),
				Sequence([Keyword("OVERWRITE"), Choice(0, [Keyword("true"), Keyword("false")])]),
				Sequence([Keyword("APPEND"), Choice(0, [Keyword("true"), Keyword("false")])]),
				Sequence([Keyword("FILENAME_PATTERN"), Expression("filename-pattern")]),
				Sequence([Keyword("FILE_EXTENSION"), Expression("file-extension")]),
				Sequence([Keyword("PER_THREAD_OUTPUT"), Choice(0, [Keyword("true"), Keyword("false")])]),
				Sequence([Keyword("FILE_SIZE_BYTES"), Choice(0, [
					Expression("size-as-string"),
					Expression("bytes"),
				])]),
				Sequence([Keyword("PARTITION_BY"), Choice(0, [GenerateColumnList(), Expression("column-name")])]),
				Sequence([Keyword("RETURN_FILES"), Choice(0, [Keyword("true"), Keyword("false")])]),
				Sequence([Keyword("WRITE_PARTITION_COLUMNS"), Choice(0, [Keyword("true"), Keyword("false")])]),
			]), ",", "skip"),
			Keyword(")")
		]), "skip")
	]
}

function GenerateSample(options) {
	return [
		Choice(0, [
			Sequence([
				Expression("sample-size"),
				Choice(0, [
					Skip(),
					Keyword("%"),
					Keyword("PERCENT"),
					Keyword("ROWS")
				]),
				Optional(Sequence([
					Keyword("("),
					Expression("sampling-method"),
					Optional(Sequence([
						Keyword(","),
						Expression("seed")
					]), "skip"),
					Keyword(")")
				]), "skip")
			]),
			Sequence([
				Optional(Expression("sampling-method"), "skip"),
				Expression("("),
				Expression("sample-size"),
				Choice(0, [
					Skip(),
					Keyword("%"),
					Keyword("PERCENT"),
					Keyword("ROWS")
				]),
				Expression(")"),
				Optional(Sequence([
					Keyword("REPEATABLE"),
					Keyword("("),
					Expression("seed"),
					Keyword(")")
				]), "skip")
			])
		])
	]
}

function GenerateSampleClause(options) {
	return [
		Sequence([Keyword("USING SAMPLE")].concat(GenerateSample(options)))
	]
}

function GenerateJoinType(options) {
	return [
		Optional(Choice(0,[
			Keyword("INNER"),
			Keyword("ANTI"),
			Keyword("SEMI"),
			Sequence([
				Choice(0, [Keyword("LEFT"), Keyword("RIGHT"), Keyword("FULL")]),
				Optional(Keyword("OUTER"), "skip")
			])
		]), "skip")
	]
}

function GenerateJoinCondition(options) {
	return [
		Optional(Choice(0, [
			Sequence([
				Keyword("ON"),
				Expression()
			]),
			Sequence([
				Keyword("USING"),
				Keyword("("),
				OneOrMore(Expression("column-name"), ","),
				Keyword(")")
			])
		]), "skip")
	]
}

function GenerateJoinClause(options) {
	return [
		Expression("table-or-subquery"),
		OneOrMore(
			Sequence([
				Choice(0,[
					Sequence([
						Optional(
							Choice(0,[
								Keyword("NATURAL"),
								Keyword("ASOF")
							]),
							"skip"),
						Expandable("join-type", options, "join-type", GenerateJoinType),
					]),
					Keyword("CROSS"),
					Keyword("POSITIONAL")
				]),
				Keyword("JOIN"),
				Expression("table-or-subquery"),
				Expandable("join-conditions", options, "join-conditions", GenerateJoinCondition)
			])
		)
	]
}

function GenerateTableSample(options) {
	return [
		Sequence([
			Keyword("TABLESAMPLE")
		].concat(GenerateSample(options)))
	]
}


function GenerateTableReference(options) {
	return [
		Sequence([
			Optional(Sequence([Expression("schema-name"), Keyword(".")]), "skip"),
			Expression("table-name"),
			Optional(Sequence([
				Keyword("AT"),
				Keyword("("),
				Choice(0,[
					Sequence([Keyword("VERSION"), Keyword("=>"), Expression("version")]),
					Sequence([Keyword("TIMESTAMP"), Keyword("=>"), Expression("timestamp")])
				]),
				Keyword(")")
			]), "skip")
		])
	]
}

function GenerateTableFunction(options) {
	return [
		Sequence([
			Optional(Sequence([Expression("schema-name"), Keyword(".")]), "skip"),
			Expression("table-function-name"),
			Keyword("("),
			ZeroOrMore(Expression(), ","),
			Keyword(")")
		])
	]
}

function GenerateSubquery(options) {
	return [
		Sequence([
			Optional(Keyword("LATERAL")),
			Sequence([
				Keyword("("),
				Expression("select-node"),
				Keyword(")")
			]),
			Optional(Expandable("table-alias", options, "table-alias", GenerateTableAlias), "skip")
		])
	]
}

function GenerateValuesFromClause(options) {
	return [
		Sequence([
			Keyword("("),
			Sequence(
				GenerateValues()
			),
			Keyword(")")
		])
	]
}

function GenerateTableAlias(options) {
	return [
		Sequence([
			Optional(Keyword("AS")),
			Expression("table-alias"),
			Optional(
				Sequence([
					Keyword("("),
					OneOrMore(Expression("column-alias"), ","),
					Keyword(")")
				]), "skip")
		])
	]
}

function GenerateTableOrSubquery(options) {
	return [
		Choice(0, [
			Sequence([
				Choice(0,[
					Expandable("table-reference", options, "table-reference", GenerateTableReference),
					Expandable("table-function", options, "table-function", GenerateTableFunction),
					Expandable("subquery", options, "subquery", GenerateSubquery),
					Expandable("values", options, "values", GenerateValuesFromClause)
				]),
				Optional(Expandable("table-alias", options, "table-alias", GenerateTableAlias), "skip"),
				Optional(Expandable("table-sample", options, "table-sample-reference", GenerateTableSample), "skip")
			]),
			Expandable("join-clause", options, "join-clause", GenerateJoinClause),
			Sequence([
				Keyword("("), Expandable("join-clause", options, "join-clause", GenerateJoinClause), Keyword(")"),
				Optional(Sequence([Keyword("AS"), Expression("join-alias")]), "skip"),
			]),
		])
	]
}


function GenerateDistinctClause(options) {
	return [
		Choice(0, [
			new Skip(),
			Sequence([
				Keyword("DISTINCT"),
				Optional(Sequence([
					Keyword("ON"),
					Keyword("("),
					OneOrMore(Expression(), ","),
					Keyword(")"),
				]), "skip")
			]),
			Keyword("ALL")
		])
	]
}

function GenerateCommonTableExpression(options) {
	return [
		Expression("table-name"),
		Optional(Sequence([
			Keyword("("),
			OneOrMore(Expression("column-name"), Keyword(",")),
			Keyword(")")
		]), "skip"),
		Optional(
			Sequence([
				Keyword("USING KEY"),
				Keyword("("),
				OneOrMore(Expression("column-name"), Keyword(",")),
				Keyword(")")]), "skip"),
		Sequence([
			Keyword("AS"),
			Optional(Sequence([Optional(Keyword("NOT")), Keyword("MATERIALIZED")])),
		]),
		Choice(0, [
			Expression("select-node"),
			Sequence([Keyword("("), Expression("select-node"), Keyword(")")])
		])
	]
}

function GenerateOrderBy(options) {
	return Optional(Sequence([
		Keyword("ORDER BY"),
		GenerateOrderTerms()
	]))
}

function GenerateStarOptions(options) {
	return [
		Optional(
			Choice(0, [
				Sequence([
					Keyword("EXCLUDE"),
					Keyword("("),
					OneOrMore(Expression("exclude-name"), ","),
					Keyword(")"),
				]),
				Sequence([
					Keyword("REPLACE"),
					Keyword("("),
					OneOrMore(Sequence([
						Expression(),
						Keyword("AS"),
						Expression("column-name")
					]), ","),
					Keyword(")"),
				]),
				Sequence([
					Keyword("RENAME"),
					Keyword("("),
					OneOrMore(Sequence([
						Expression("column-name"),
						Keyword("AS"),
						Expression("column-name")
					]), ","),
					Keyword(")"),
				]),
				Sequence([
					Optional(Keyword("NOT"), "skip"),
					Choice(0, [
						Keyword("LIKE"),
						Keyword("SIMILAR TO"),
						Keyword("GLOB"),
						Keyword("ILIKE"),
					]),
					Expression("pattern"),
				]),
			]),
			"skip"
		)
	]
}

function GenerateStarExpression(options, index) {
	return [
		Optional(Sequence([Expression("table-name"), Keyword(".")]), "skip"),
		Keyword("*"),
		Expandable("star-options", options, "star-options" + index, GenerateStarOptions)
	]
}

function GenerateStarClause(options) {
	return [
		Choice(0, [
			Sequence(GenerateStarExpression(options, "-1")),
			Sequence([
				Choice(0,[
					Keyword("COLUMNS"),
					Keyword("*COLUMNS")
				]),
				Keyword("("),
				Choice(0, [
					Sequence(GenerateStarExpression(options, "-2")),
					Expression("regex"),
					Sequence([
						Expression("c"),
						Keyword("->"),
						Expression("lambda-filter")
					])
				]),
				Keyword(")")
			])
		])
	]
}

function GenerateSelectClause(options) {
	return [
		Keyword("SELECT"),
		Expandable("distinct-clause", options, "distinct-clause", GenerateDistinctClause),
		OneOrMore(Choice(0, [
			Sequence([Expression(), Optional(Sequence([Optional(Keyword("AS")), Expression("alias")]), "skip")]),
			Sequence([Expression("alias"), Keyword(":"), Expression()]),
			Sequence(GenerateStarClause(options))
		]), ",")
	]
}

function GenerateFromClause(options) {
	return [
		Keyword("FROM"),
		OneOrMore(Sequence(GenerateTableOrSubquery(options)), Keyword(","))
	]
}

function GenerateGroupByClause(options) {
	return [
		Optional(Sequence([
			Keyword("GROUP BY"),
			Choice(0,[
				OneOrMore(
					Choice(0, [
					Expression(),
					Sequence([
						Keyword("GROUPING SETS"),
						Keyword("("),
						OneOrMore(Sequence([
							Keyword("("),
							ZeroOrMore(Expression(), ","),
							Keyword(")")
						]), ","),
						Keyword(")")
					]),
					Sequence([
						Choice(0, [Keyword("CUBE"), Keyword("ROLLUP")]),
						Keyword("("),
						OneOrMore(Expression(), ","),
						Keyword(")")
					])
				]), ","),
				Keyword("ALL"),
			]),
		])),
		Optional(Sequence([
			Keyword("HAVING"),
			Expression()
		]))
	]
}

function GenerateWindowClause(options) {
	return [
		Keyword("WINDOW"),
		OneOrMore(Sequence([
				Expression("window-name"),
				Keyword("AS"),
				Expandable("window-definition", options, "window-definition", GenerateWindowSpec)
		]), Keyword(","))
	];
}

function GenerateLimitAndOrderBy(options) {
	return [
		Sequence([GenerateOrderBy(options)]),
		Optional(Sequence([
			Keyword("LIMIT"),
			Expression(),
		])),
		Optional(Sequence([
			Keyword("OFFSET"),
			Expression()
		])),
	]
}

function GenerateWhereClause(options) {
	return [
		Keyword("WHERE"),
		Expression()
	];
}

function GenerateSelectNode(options) {
	return [Stack([
		Sequence(
			GenerateSelectClause(options)
		),
		Sequence([
			Optional(Sequence(GenerateFromClause(options))),
			Optional(
				Sequence(GenerateWhereClause(options))
			)
		]),
		Sequence(
			GenerateGroupByClause(options)
		),
		Optional(Sequence(GenerateWindowClause(options)), "skip"),
		Optional(Sequence(GenerateQualifyClause(options)), "skip"),
		Sequence(GenerateLimitAndOrderBy(options))
	])]
}

function GenerateSetOperation(options) {
	return [
		Choice(0, [
			Sequence([Keyword("UNION"), Optional(Keyword("ALL"), "skip"), Optional(Sequence([Keyword("BY NAME")]), "skip")]),
			Sequence([Keyword("INTERSECT"), Optional(Keyword("ALL"), "skip")]),
			Sequence([Keyword("EXCEPT"), Optional(Keyword("ALL"), "skip")]),
		])
	]
}

function GenerateCTE(options) {
	return [
		Sequence([
			Keyword("WITH"),
			Optional(Keyword("RECURSIVE"), "skip"),
			OneOrMore(
				Sequence(GenerateCommonTableExpression()),
				","
			)
		])]
}

function GenerateFilterClause(options = {}) {
	return [
		Keyword("FILTER"),
		Keyword("("),
		Optional(Keyword("WHERE"), "skip"),
		Expression('filter_expr'),
		Keyword(")")
	]
}

function GenerateQualifyClause(options = {}) {
	return [
		Keyword("QUALIFY"),
		Expression("window_function_expr")
	]
}

function GenerateIn(options = {}) {
	return Diagram([
		Optional(Keyword("NOT"), "skip"),
		Keyword("IN"),
		Keyword("("),
		Choice(0, [
			Expression("select-node"),
			OneOrMore(Expression(), ","),
		]),
		Keyword(")")
	])
}
