| 
									
										
										
										
											2014-08-11 16:24:17 +02:00
										 |  |  | package javascript | 
					
						
							| 
									
										
										
										
											2014-05-19 16:32:45 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  | const jsLib = ` | 
					
						
							|  |  |  | function pp(object) { | 
					
						
							|  |  |  |     var str = ""; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     if(object instanceof Array) { | 
					
						
							|  |  |  |         str += "[ "; | 
					
						
							|  |  |  |         for(var i = 0, l = object.length; i < l; i++) { | 
					
						
							|  |  |  |             str += pp(object[i]); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |             if(i < l-1) { | 
					
						
							|  |  |  |                 str += ", "; | 
					
						
							|  |  |  |             } | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  |         str += " ]"; | 
					
						
							|  |  |  |     } else if(typeof(object) === "object") { | 
					
						
							|  |  |  |         str += "{ "; | 
					
						
							| 
									
										
										
										
											2015-02-28 19:15:57 +01:00
										 |  |  |         var last = Object.keys(object).pop() | 
					
						
							| 
									
										
										
										
											2014-05-19 16:32:45 +02:00
										 |  |  |         for(var k in object) { | 
					
						
							|  |  |  |             str += k + ": " + pp(object[k]); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |             if(k !== last) { | 
					
						
							|  |  |  |                 str += ", "; | 
					
						
							|  |  |  |             } | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  |         str += " }"; | 
					
						
							|  |  |  |     } else if(typeof(object) === "string") { | 
					
						
							|  |  |  |         str += "\033[32m'" + object + "'"; | 
					
						
							|  |  |  |     } else if(typeof(object) === "undefined") { | 
					
						
							|  |  |  |         str += "\033[1m\033[30m" + object; | 
					
						
							|  |  |  |     } else if(typeof(object) === "number") { | 
					
						
							|  |  |  |         str += "\033[31m" + object; | 
					
						
							| 
									
										
										
										
											2014-05-19 17:01:40 +02:00
										 |  |  |     } else if(typeof(object) === "function") { | 
					
						
							|  |  |  | 	str += "\033[35m[Function]"; | 
					
						
							| 
									
										
										
										
											2014-05-19 16:32:45 +02:00
										 |  |  |     } else { | 
					
						
							|  |  |  |         str += object;                     | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     str += "\033[0m"; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     return str; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-05-19 17:01:40 +02:00
										 |  |  | function prettyPrint(/* */) { | 
					
						
							|  |  |  |     var args = arguments; | 
					
						
							| 
									
										
										
										
											2014-10-15 02:41:26 +03:00
										 |  |  |     var ret = ""; | 
					
						
							| 
									
										
										
										
											2014-05-19 17:01:40 +02:00
										 |  |  |     for(var i = 0, l = args.length; i < l; i++) { | 
					
						
							| 
									
										
										
										
											2014-10-15 02:41:26 +03:00
										 |  |  | 	    ret += pp(args[i]) + "\n"; | 
					
						
							| 
									
										
										
										
											2014-05-19 17:01:40 +02:00
										 |  |  |     } | 
					
						
							| 
									
										
										
										
											2014-10-15 02:41:26 +03:00
										 |  |  |     return ret; | 
					
						
							| 
									
										
										
										
											2014-05-19 16:32:45 +02:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											2014-05-19 17:01:40 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  | var print = prettyPrint; | 
					
						
							| 
									
										
										
										
											2014-05-19 16:32:45 +02:00
										 |  |  | ` |