(strings)
| 3798 | } |
| 3799 | |
| 3800 | function makeStringIndex(strings) { |
| 3801 | var t = new table.Table('String INDEX', [ |
| 3802 | {name: 'strings', type: 'INDEX', value: []} |
| 3803 | ]); |
| 3804 | t.strings = []; |
| 3805 | for (var i = 0; i < strings.length; i += 1) { |
| 3806 | t.strings.push({name: 'string_' + i, type: 'STRING', value: strings[i]}); |
| 3807 | } |
| 3808 | |
| 3809 | return t; |
| 3810 | } |
| 3811 | |
| 3812 | function makeGlobalSubrIndex() { |
| 3813 | // Currently we don't use subroutines. |