/* Functions concerned with parsing representations of tiddlers */ var argParser = require("./ArgParser.js"), utils = require("./Utils.js"); var tiddlerOutput = exports; /* Output a tiddler as an HTML
out - array to push the output strings tid - the tiddler to be output options - options: omitPrecedingLineFeed - determines if a linefeed is inserted between the
 tag and the text
*/
tiddlerOutput.outputTiddlerDiv = function(out,tid) {
	var result = [];
	var outputAttribute = function(name,value) {
		result.push(" " + name + "=\"" + value + "\"");
	};
	result.push("\n
\n");
	result.push(utils.htmlEncode(tid.fields.text));
	result.push("
\n
"); out.push(result.join("")); } tiddlerOutput.stringifyTags = function(tags) { var results = []; for(var t=0; t