|
|
@ -3,6 +3,7 @@
|
|
|
|
"use strict";
|
|
|
|
"use strict";
|
|
|
|
|
|
|
|
|
|
|
|
const util = require( "../../util" );
|
|
|
|
const util = require( "../../util" );
|
|
|
|
|
|
|
|
const VERSION = require( "../../../package.json" ).version;
|
|
|
|
|
|
|
|
|
|
|
|
// Generates parser JavaScript code.
|
|
|
|
// Generates parser JavaScript code.
|
|
|
|
function generateJS( ast, session, options ) {
|
|
|
|
function generateJS( ast, session, options ) {
|
|
|
@ -1593,7 +1594,7 @@ function generateJS( ast, session, options ) {
|
|
|
|
|
|
|
|
|
|
|
|
function generateHeaderComment() {
|
|
|
|
function generateHeaderComment() {
|
|
|
|
|
|
|
|
|
|
|
|
let comment = "// Generated by PEG.js v0.11.0-dev, https://pegjs.org/";
|
|
|
|
let comment = `// Generated by PEG.js v${ VERSION }, https://pegjs.org/`;
|
|
|
|
const header = options.header;
|
|
|
|
const header = options.header;
|
|
|
|
|
|
|
|
|
|
|
|
if ( typeof header === "string" ) {
|
|
|
|
if ( typeof header === "string" ) {
|
|
|
|