2015-06-09 09:48:18 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								package api
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								const Debug_JS = `
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-10 09:42:14 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								web3._extend({
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-09 09:48:18 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
									property: 'debug',
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									methods:
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									[
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-10 09:42:14 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
										new web3._extend.Method({
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-09 09:48:18 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											name: 'printBlock',
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											call: 'debug_printBlock',
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											params: 1,
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-10 09:42:14 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
											inputFormatter: [web3._extend.formatters.formatInputInt],
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											outputFormatter: web3._extend.formatters.formatOutputString
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-09 09:48:18 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
										}),
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-10 09:42:14 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
										new web3._extend.Method({
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-09 09:48:18 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											name: 'getBlockRlp',
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											call: 'debug_getBlockRlp',
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											params: 1,
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-10 09:42:14 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
											inputFormatter: [web3._extend.formatters.formatInputInt],
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											outputFormatter: web3._extend.formatters.formatOutputString
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-09 09:48:18 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
										}),
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-10 09:42:14 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
										new web3._extend.Method({
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-09 09:48:18 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											name: 'setHead',
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											call: 'debug_setHead',
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											params: 1,
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-10 09:42:14 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
											inputFormatter: [web3._extend.formatters.formatInputInt],
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											outputFormatter: web3._extend.formatters.formatOutputBool
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-09 09:48:18 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
										}),
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-10 09:42:14 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
										new web3._extend.Method({
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-09 09:48:18 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											name: 'processBlock',
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											call: 'debug_processBlock',
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											params: 1,
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-10 09:42:14 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
											inputFormatter: [web3._extend.formatters.formatInputInt],
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-09 09:48:18 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											outputFormatter: function(obj) { return obj; }
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										}),
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-10 09:42:14 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
										new web3._extend.Method({
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-09 09:48:18 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											name: 'seedHash',
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											call: 'debug_seedHash',
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											params: 1,
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-10 09:42:14 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
											inputFormatter: [web3._extend.formatters.formatInputInt],
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											outputFormatter: web3._extend.formatters.formatOutputString
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-10 09:42:14 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
										})		,
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										new web3._extend.Method({
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											name: 'dumpBlock',
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											call: 'debug_dumpBlock',
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											params: 1,
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											inputFormatter: [web3._extend.formatters.formatInputInt],
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											outputFormatter: function(obj) { return obj; }
							 | 
						
					
						
							
								
									
										
										
										
											2015-06-09 09:48:18 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
										})
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									],
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									properties:
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									[
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									]
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								});
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								`
							 |