Gets the EBNF from the ECMAScript 5.1 spec

getJSEBNF.py

from bs4 import BeautifulSoup
import requests

r = requests.get('http://www.ecma-international.org/ecma-262/5.1/')
soup = BeautifulSoup(r.text)

sections = ('sec-A.1', 'sec-A.2', 'sec-A.3', 'sec-A.4', 'sec-A.5')

appendix = []
for s in sections:
	appendix.append(soup.find(id=s))

bnf = []
for a in appendix:
	divs = a.find_all('div', class_='gp')
	bnf += [x.get_text() for x in divs]

bnftxt = '\n'.join([x.strip('\n').replace('\n', '    ') for x in bnf])

with open('jsout.txt', 'w') as f:
	f.write(bnftxt.encode('utf-8'))