<s> """<STR_LIT>""" <EOL> def init ( ) : <EOL> JS ( """<STR_LIT>""" ) <EOL> def addHistoryListener ( listener ) : <EOL> historyListeners . append ( listener ) <EOL> def back ( ) : <EOL> JS ( """<STR_LIT>""" ) <EOL> def forward ( ) : <EOL> JS ( """<STR_LIT>""" ) <EOL> def getToken ( ) : <EOL> JS ( """<STR_LIT>""" ) <EOL> def newItem ( _historyToken ) : <EOL> JS ( """<STR_LIT>""" ) <EOL> def onHistoryChanged ( historyToken ) : <EOL> fireHistoryChangedImpl ( historyToken ) <EOL> def fireHistoryChangedAndCatch ( ) : <EOL> pass <EOL> def fireHistoryChangedImpl ( historyToken ) : <EOL> for listener in historyListeners : <EOL> listener . onHistoryChanged ( historyToken ) <EOL> def removeHistoryListener ( listener ) : <EOL> historyListeners . remove ( listener ) </s>
