()
| 374 | |
| 375 | |
| 376 | function getSCASTD3Option(){ |
| 377 | var result=JSON.parse(JSON.stringify(SCAST.types)) |
| 378 | for(let op in result){ |
| 379 | result[op]=document.getElementById('d3op_'+op).checked |
| 380 | } |
| 381 | result['all']=document.getElementById('d3op_all').checked |
| 382 | return result |
| 383 | } |
| 384 | function getESTreeD3Option(){ |
| 385 | var result=JSON.parse(JSON.stringify(ESTREEJS.types)) |
| 386 | for(let op in result){ |