scillaListener.js

// Generated from scilla.g4 by ANTLR 4.9
// jshint ignore: start
import antlr4 from 'antlr4';

// This class defines a complete listener for a parse tree produced by scillaParser.
export default class scillaListener extends antlr4.tree.ParseTreeListener {

	// Enter a parse tree produced by scillaParser#int_.
	enterInt_(ctx) {
	}

	// Exit a parse tree produced by scillaParser#int_.
	exitInt_(ctx) {
	}


	// Enter a parse tree produced by scillaParser#t_map_key.
	enterT_map_key(ctx) {
	}

	// Exit a parse tree produced by scillaParser#t_map_key.
	exitT_map_key(ctx) {
	}


	// Enter a parse tree produced by scillaParser#TMP3.
	enterTMP3(ctx) {
	}

	// Exit a parse tree produced by scillaParser#TMP3.
	exitTMP3(ctx) {
	}


	// Enter a parse tree produced by scillaParser#TMP4.
	enterTMP4(ctx) {
	}

	// Exit a parse tree produced by scillaParser#TMP4.
	exitTMP4(ctx) {
	}


	// Enter a parse tree produced by scillaParser#TMP5.
	enterTMP5(ctx) {
	}

	// Exit a parse tree produced by scillaParser#TMP5.
	exitTMP5(ctx) {
	}


	// Enter a parse tree produced by scillaParser#TMPScid.
	enterTMPScid(ctx) {
	}

	// Exit a parse tree produced by scillaParser#TMPScid.
	exitTMPScid(ctx) {
	}


	// Enter a parse tree produced by scillaParser#TMPMap.
	enterTMPMap(ctx) {
	}

	// Exit a parse tree produced by scillaParser#TMPMap.
	exitTMPMap(ctx) {
	}


	// Enter a parse tree produced by scillaParser#TMPParen.
	enterTMPParen(ctx) {
	}

	// Exit a parse tree produced by scillaParser#TMPParen.
	exitTMPParen(ctx) {
	}


	// Enter a parse tree produced by scillaParser#TMPAddr.
	enterTMPAddr(ctx) {
	}

	// Exit a parse tree produced by scillaParser#TMPAddr.
	exitTMPAddr(ctx) {
	}


	// Enter a parse tree produced by scillaParser#TMP1.
	enterTMP1(ctx) {
	}

	// Exit a parse tree produced by scillaParser#TMP1.
	exitTMP1(ctx) {
	}


	// Enter a parse tree produced by scillaParser#TMP2.
	enterTMP2(ctx) {
	}

	// Exit a parse tree produced by scillaParser#TMP2.
	exitTMP2(ctx) {
	}


	// Enter a parse tree produced by scillaParser#AnyAdress.
	enterAnyAdress(ctx) {
	}

	// Exit a parse tree produced by scillaParser#AnyAdress.
	exitAnyAdress(ctx) {
	}


	// Enter a parse tree produced by scillaParser#ContrAddr.
	enterContrAddr(ctx) {
	}

	// Exit a parse tree produced by scillaParser#ContrAddr.
	exitContrAddr(ctx) {
	}


	// Enter a parse tree produced by scillaParser#LibAddr.
	enterLibAddr(ctx) {
	}

	// Exit a parse tree produced by scillaParser#LibAddr.
	exitLibAddr(ctx) {
	}


	// Enter a parse tree produced by scillaParser#CodeAddr.
	enterCodeAddr(ctx) {
	}

	// Exit a parse tree produced by scillaParser#CodeAddr.
	exitCodeAddr(ctx) {
	}


	// Enter a parse tree produced by scillaParser#TypeVarType.
	enterTypeVarType(ctx) {
	}

	// Exit a parse tree produced by scillaParser#TypeVarType.
	exitTypeVarType(ctx) {
	}


	// Enter a parse tree produced by scillaParser#AddrType.
	enterAddrType(ctx) {
	}

	// Exit a parse tree produced by scillaParser#AddrType.
	exitAddrType(ctx) {
	}


	// Enter a parse tree produced by scillaParser#FunType.
	enterFunType(ctx) {
	}

	// Exit a parse tree produced by scillaParser#FunType.
	exitFunType(ctx) {
	}


	// Enter a parse tree produced by scillaParser#PolyFunTy.
	enterPolyFunTy(ctx) {
	}

	// Exit a parse tree produced by scillaParser#PolyFunTy.
	exitPolyFunTy(ctx) {
	}


	// Enter a parse tree produced by scillaParser#PrimorADTType.
	enterPrimorADTType(ctx) {
	}

	// Exit a parse tree produced by scillaParser#PrimorADTType.
	exitPrimorADTType(ctx) {
	}


	// Enter a parse tree produced by scillaParser#MapType.
	enterMapType(ctx) {
	}

	// Exit a parse tree produced by scillaParser#MapType.
	exitMapType(ctx) {
	}


	// Enter a parse tree produced by scillaParser#ParenType.
	enterParenType(ctx) {
	}

	// Exit a parse tree produced by scillaParser#ParenType.
	exitParenType(ctx) {
	}


	// Enter a parse tree produced by scillaParser#TypTarg.
	enterTypTarg(ctx) {
	}

	// Exit a parse tree produced by scillaParser#TypTarg.
	exitTypTarg(ctx) {
	}


	// Enter a parse tree produced by scillaParser#ScidTarg.
	enterScidTarg(ctx) {
	}

	// Exit a parse tree produced by scillaParser#ScidTarg.
	exitScidTarg(ctx) {
	}


	// Enter a parse tree produced by scillaParser#TvarTarg.
	enterTvarTarg(ctx) {
	}

	// Exit a parse tree produced by scillaParser#TvarTarg.
	exitTvarTarg(ctx) {
	}


	// Enter a parse tree produced by scillaParser#AddrTarg.
	enterAddrTarg(ctx) {
	}

	// Exit a parse tree produced by scillaParser#AddrTarg.
	exitAddrTarg(ctx) {
	}


	// Enter a parse tree produced by scillaParser#MapTarg.
	enterMapTarg(ctx) {
	}

	// Exit a parse tree produced by scillaParser#MapTarg.
	exitMapTarg(ctx) {
	}


	// Enter a parse tree produced by scillaParser#address_type_field.
	enterAddress_type_field(ctx) {
	}

	// Exit a parse tree produced by scillaParser#address_type_field.
	exitAddress_type_field(ctx) {
	}


	// Enter a parse tree produced by scillaParser#exp.
	enterExp(ctx) {
	}

	// Exit a parse tree produced by scillaParser#exp.
	exitExp(ctx) {
	}


	// Enter a parse tree produced by scillaParser#Let.
	enterLet(ctx) {
	}

	// Exit a parse tree produced by scillaParser#Let.
	exitLet(ctx) {
	}


	// Enter a parse tree produced by scillaParser#Fun.
	enterFun(ctx) {
	}

	// Exit a parse tree produced by scillaParser#Fun.
	exitFun(ctx) {
	}


	// Enter a parse tree produced by scillaParser#App.
	enterApp(ctx) {
	}

	// Exit a parse tree produced by scillaParser#App.
	exitApp(ctx) {
	}


	// Enter a parse tree produced by scillaParser#Atomic.
	enterAtomic(ctx) {
	}

	// Exit a parse tree produced by scillaParser#Atomic.
	exitAtomic(ctx) {
	}


	// Enter a parse tree produced by scillaParser#Builtin.
	enterBuiltin(ctx) {
	}

	// Exit a parse tree produced by scillaParser#Builtin.
	exitBuiltin(ctx) {
	}


	// Enter a parse tree produced by scillaParser#Message.
	enterMessage(ctx) {
	}

	// Exit a parse tree produced by scillaParser#Message.
	exitMessage(ctx) {
	}


	// Enter a parse tree produced by scillaParser#Match.
	enterMatch(ctx) {
	}

	// Exit a parse tree produced by scillaParser#Match.
	exitMatch(ctx) {
	}


	// Enter a parse tree produced by scillaParser#DataConstructorApp.
	enterDataConstructorApp(ctx) {
	}

	// Exit a parse tree produced by scillaParser#DataConstructorApp.
	exitDataConstructorApp(ctx) {
	}


	// Enter a parse tree produced by scillaParser#TFun.
	enterTFun(ctx) {
	}

	// Exit a parse tree produced by scillaParser#TFun.
	exitTFun(ctx) {
	}


	// Enter a parse tree produced by scillaParser#TApp.
	enterTApp(ctx) {
	}

	// Exit a parse tree produced by scillaParser#TApp.
	exitTApp(ctx) {
	}


	// Enter a parse tree produced by scillaParser#AtomicSid.
	enterAtomicSid(ctx) {
	}

	// Exit a parse tree produced by scillaParser#AtomicSid.
	exitAtomicSid(ctx) {
	}


	// Enter a parse tree produced by scillaParser#AtomicLit.
	enterAtomicLit(ctx) {
	}

	// Exit a parse tree produced by scillaParser#AtomicLit.
	exitAtomicLit(ctx) {
	}


	// Enter a parse tree produced by scillaParser#LitInt.
	enterLitInt(ctx) {
	}

	// Exit a parse tree produced by scillaParser#LitInt.
	exitLitInt(ctx) {
	}


	// Enter a parse tree produced by scillaParser#LitHex.
	enterLitHex(ctx) {
	}

	// Exit a parse tree produced by scillaParser#LitHex.
	exitLitHex(ctx) {
	}


	// Enter a parse tree produced by scillaParser#LitString.
	enterLitString(ctx) {
	}

	// Exit a parse tree produced by scillaParser#LitString.
	exitLitString(ctx) {
	}


	// Enter a parse tree produced by scillaParser#LitEmp.
	enterLitEmp(ctx) {
	}

	// Exit a parse tree produced by scillaParser#LitEmp.
	exitLitEmp(ctx) {
	}


	// Enter a parse tree produced by scillaParser#ctargs.
	enterCtargs(ctx) {
	}

	// Exit a parse tree produced by scillaParser#ctargs.
	exitCtargs(ctx) {
	}


	// Enter a parse tree produced by scillaParser#map_access.
	enterMap_access(ctx) {
	}

	// Exit a parse tree produced by scillaParser#map_access.
	exitMap_access(ctx) {
	}


	// Enter a parse tree produced by scillaParser#Wildcard.
	enterWildcard(ctx) {
	}

	// Exit a parse tree produced by scillaParser#Wildcard.
	exitWildcard(ctx) {
	}


	// Enter a parse tree produced by scillaParser#Binder.
	enterBinder(ctx) {
	}

	// Exit a parse tree produced by scillaParser#Binder.
	exitBinder(ctx) {
	}


	// Enter a parse tree produced by scillaParser#Constructor.
	enterConstructor(ctx) {
	}

	// Exit a parse tree produced by scillaParser#Constructor.
	exitConstructor(ctx) {
	}


	// Enter a parse tree produced by scillaParser#WildcardArg.
	enterWildcardArg(ctx) {
	}

	// Exit a parse tree produced by scillaParser#WildcardArg.
	exitWildcardArg(ctx) {
	}


	// Enter a parse tree produced by scillaParser#BinderArg.
	enterBinderArg(ctx) {
	}

	// Exit a parse tree produced by scillaParser#BinderArg.
	exitBinderArg(ctx) {
	}


	// Enter a parse tree produced by scillaParser#ConstructorArg.
	enterConstructorArg(ctx) {
	}

	// Exit a parse tree produced by scillaParser#ConstructorArg.
	exitConstructorArg(ctx) {
	}


	// Enter a parse tree produced by scillaParser#PatternArg.
	enterPatternArg(ctx) {
	}

	// Exit a parse tree produced by scillaParser#PatternArg.
	exitPatternArg(ctx) {
	}


	// Enter a parse tree produced by scillaParser#exp_pm_clause.
	enterExp_pm_clause(ctx) {
	}

	// Exit a parse tree produced by scillaParser#exp_pm_clause.
	exitExp_pm_clause(ctx) {
	}


	// Enter a parse tree produced by scillaParser#msg_entry.
	enterMsg_entry(ctx) {
	}

	// Exit a parse tree produced by scillaParser#msg_entry.
	exitMsg_entry(ctx) {
	}


	// Enter a parse tree produced by scillaParser#BuiltinArgsSid.
	enterBuiltinArgsSid(ctx) {
	}

	// Exit a parse tree produced by scillaParser#BuiltinArgsSid.
	exitBuiltinArgsSid(ctx) {
	}


	// Enter a parse tree produced by scillaParser#BuildinArgsParen.
	enterBuildinArgsParen(ctx) {
	}

	// Exit a parse tree produced by scillaParser#BuildinArgsParen.
	exitBuildinArgsParen(ctx) {
	}


	// Enter a parse tree produced by scillaParser#exp_term.
	enterExp_term(ctx) {
	}

	// Exit a parse tree produced by scillaParser#exp_term.
	exitExp_term(ctx) {
	}


	// Enter a parse tree produced by scillaParser#type_term.
	enterType_term(ctx) {
	}

	// Exit a parse tree produced by scillaParser#type_term.
	exitType_term(ctx) {
	}


	// Enter a parse tree produced by scillaParser#identifier.
	enterIdentifier(ctx) {
	}

	// Exit a parse tree produced by scillaParser#identifier.
	exitIdentifier(ctx) {
	}


	// Enter a parse tree produced by scillaParser#SidName.
	enterSidName(ctx) {
	}

	// Exit a parse tree produced by scillaParser#SidName.
	exitSidName(ctx) {
	}


	// Enter a parse tree produced by scillaParser#SidSPID.
	enterSidSPID(ctx) {
	}

	// Exit a parse tree produced by scillaParser#SidSPID.
	exitSidSPID(ctx) {
	}


	// Enter a parse tree produced by scillaParser#SidCid.
	enterSidCid(ctx) {
	}

	// Exit a parse tree produced by scillaParser#SidCid.
	exitSidCid(ctx) {
	}


	// Enter a parse tree produced by scillaParser#ScidName.
	enterScidName(ctx) {
	}

	// Exit a parse tree produced by scillaParser#ScidName.
	exitScidName(ctx) {
	}


	// Enter a parse tree produced by scillaParser#ScidCid.
	enterScidCid(ctx) {
	}

	// Exit a parse tree produced by scillaParser#ScidCid.
	exitScidCid(ctx) {
	}


	// Enter a parse tree produced by scillaParser#ScidHex.
	enterScidHex(ctx) {
	}

	// Exit a parse tree produced by scillaParser#ScidHex.
	exitScidHex(ctx) {
	}


	// Enter a parse tree produced by scillaParser#CidCid.
	enterCidCid(ctx) {
	}

	// Exit a parse tree produced by scillaParser#CidCid.
	exitCidCid(ctx) {
	}


	// Enter a parse tree produced by scillaParser#CidBystr.
	enterCidBystr(ctx) {
	}

	// Exit a parse tree produced by scillaParser#CidBystr.
	exitCidBystr(ctx) {
	}


	// Enter a parse tree produced by scillaParser#type_annot.
	enterType_annot(ctx) {
	}

	// Exit a parse tree produced by scillaParser#type_annot.
	exitType_annot(ctx) {
	}


	// Enter a parse tree produced by scillaParser#id_with_typ.
	enterId_with_typ(ctx) {
	}

	// Exit a parse tree produced by scillaParser#id_with_typ.
	exitId_with_typ(ctx) {
	}


	// Enter a parse tree produced by scillaParser#Load.
	enterLoad(ctx) {
	}

	// Exit a parse tree produced by scillaParser#Load.
	exitLoad(ctx) {
	}


	// Enter a parse tree produced by scillaParser#RemoteFetch.
	enterRemoteFetch(ctx) {
	}

	// Exit a parse tree produced by scillaParser#RemoteFetch.
	exitRemoteFetch(ctx) {
	}


	// Enter a parse tree produced by scillaParser#Store.
	enterStore(ctx) {
	}

	// Exit a parse tree produced by scillaParser#Store.
	exitStore(ctx) {
	}


	// Enter a parse tree produced by scillaParser#Bind.
	enterBind(ctx) {
	}

	// Exit a parse tree produced by scillaParser#Bind.
	exitBind(ctx) {
	}


	// Enter a parse tree produced by scillaParser#ReadFromBC.
	enterReadFromBC(ctx) {
	}

	// Exit a parse tree produced by scillaParser#ReadFromBC.
	exitReadFromBC(ctx) {
	}


	// Enter a parse tree produced by scillaParser#MapGet.
	enterMapGet(ctx) {
	}

	// Exit a parse tree produced by scillaParser#MapGet.
	exitMapGet(ctx) {
	}


	// Enter a parse tree produced by scillaParser#MapGetExists.
	enterMapGetExists(ctx) {
	}

	// Exit a parse tree produced by scillaParser#MapGetExists.
	exitMapGetExists(ctx) {
	}


	// Enter a parse tree produced by scillaParser#MapUpdate.
	enterMapUpdate(ctx) {
	}

	// Exit a parse tree produced by scillaParser#MapUpdate.
	exitMapUpdate(ctx) {
	}


	// Enter a parse tree produced by scillaParser#MapUpdateDelete.
	enterMapUpdateDelete(ctx) {
	}

	// Exit a parse tree produced by scillaParser#MapUpdateDelete.
	exitMapUpdateDelete(ctx) {
	}


	// Enter a parse tree produced by scillaParser#Accept.
	enterAccept(ctx) {
	}

	// Exit a parse tree produced by scillaParser#Accept.
	exitAccept(ctx) {
	}


	// Enter a parse tree produced by scillaParser#Send.
	enterSend(ctx) {
	}

	// Exit a parse tree produced by scillaParser#Send.
	exitSend(ctx) {
	}


	// Enter a parse tree produced by scillaParser#CreateEvnt.
	enterCreateEvnt(ctx) {
	}

	// Exit a parse tree produced by scillaParser#CreateEvnt.
	exitCreateEvnt(ctx) {
	}


	// Enter a parse tree produced by scillaParser#Throw.
	enterThrow(ctx) {
	}

	// Exit a parse tree produced by scillaParser#Throw.
	exitThrow(ctx) {
	}


	// Enter a parse tree produced by scillaParser#MatchStmt.
	enterMatchStmt(ctx) {
	}

	// Exit a parse tree produced by scillaParser#MatchStmt.
	exitMatchStmt(ctx) {
	}


	// Enter a parse tree produced by scillaParser#CallProc.
	enterCallProc(ctx) {
	}

	// Exit a parse tree produced by scillaParser#CallProc.
	exitCallProc(ctx) {
	}


	// Enter a parse tree produced by scillaParser#Iterate.
	enterIterate(ctx) {
	}

	// Exit a parse tree produced by scillaParser#Iterate.
	exitIterate(ctx) {
	}


	// Enter a parse tree produced by scillaParser#RemoteLoadSid.
	enterRemoteLoadSid(ctx) {
	}

	// Exit a parse tree produced by scillaParser#RemoteLoadSid.
	exitRemoteLoadSid(ctx) {
	}


	// Enter a parse tree produced by scillaParser#RemoteLoadSpid.
	enterRemoteLoadSpid(ctx) {
	}

	// Exit a parse tree produced by scillaParser#RemoteLoadSpid.
	exitRemoteLoadSpid(ctx) {
	}


	// Enter a parse tree produced by scillaParser#RemoteMapGetTrue.
	enterRemoteMapGetTrue(ctx) {
	}

	// Exit a parse tree produced by scillaParser#RemoteMapGetTrue.
	exitRemoteMapGetTrue(ctx) {
	}


	// Enter a parse tree produced by scillaParser#RemoteMapGetFalse.
	enterRemoteMapGetFalse(ctx) {
	}

	// Exit a parse tree produced by scillaParser#RemoteMapGetFalse.
	exitRemoteMapGetFalse(ctx) {
	}


	// Enter a parse tree produced by scillaParser#TypeCast.
	enterTypeCast(ctx) {
	}

	// Exit a parse tree produced by scillaParser#TypeCast.
	exitTypeCast(ctx) {
	}


	// Enter a parse tree produced by scillaParser#stmt_pm_clause.
	enterStmt_pm_clause(ctx) {
	}

	// Exit a parse tree produced by scillaParser#stmt_pm_clause.
	exitStmt_pm_clause(ctx) {
	}


	// Enter a parse tree produced by scillaParser#stmts.
	enterStmts(ctx) {
	}

	// Exit a parse tree produced by scillaParser#stmts.
	exitStmts(ctx) {
	}


	// Enter a parse tree produced by scillaParser#stmts_term.
	enterStmts_term(ctx) {
	}

	// Exit a parse tree produced by scillaParser#stmts_term.
	exitStmts_term(ctx) {
	}


	// Enter a parse tree produced by scillaParser#param_pair.
	enterParam_pair(ctx) {
	}

	// Exit a parse tree produced by scillaParser#param_pair.
	exitParam_pair(ctx) {
	}


	// Enter a parse tree produced by scillaParser#TransitionComp.
	enterTransitionComp(ctx) {
	}

	// Exit a parse tree produced by scillaParser#TransitionComp.
	exitTransitionComp(ctx) {
	}


	// Enter a parse tree produced by scillaParser#ProcedureComp.
	enterProcedureComp(ctx) {
	}

	// Exit a parse tree produced by scillaParser#ProcedureComp.
	exitProcedureComp(ctx) {
	}


	// Enter a parse tree produced by scillaParser#procedure.
	enterProcedure(ctx) {
	}

	// Exit a parse tree produced by scillaParser#procedure.
	exitProcedure(ctx) {
	}


	// Enter a parse tree produced by scillaParser#transition.
	enterTransition(ctx) {
	}

	// Exit a parse tree produced by scillaParser#transition.
	exitTransition(ctx) {
	}


	// Enter a parse tree produced by scillaParser#component_id.
	enterComponent_id(ctx) {
	}

	// Exit a parse tree produced by scillaParser#component_id.
	exitComponent_id(ctx) {
	}


	// Enter a parse tree produced by scillaParser#component_params.
	enterComponent_params(ctx) {
	}

	// Exit a parse tree produced by scillaParser#component_params.
	exitComponent_params(ctx) {
	}


	// Enter a parse tree produced by scillaParser#component_body.
	enterComponent_body(ctx) {
	}

	// Exit a parse tree produced by scillaParser#component_body.
	exitComponent_body(ctx) {
	}


	// Enter a parse tree produced by scillaParser#field.
	enterField(ctx) {
	}

	// Exit a parse tree produced by scillaParser#field.
	exitField(ctx) {
	}


	// Enter a parse tree produced by scillaParser#with_constraint.
	enterWith_constraint(ctx) {
	}

	// Exit a parse tree produced by scillaParser#with_constraint.
	exitWith_constraint(ctx) {
	}


	// Enter a parse tree produced by scillaParser#contract.
	enterContract(ctx) {
	}

	// Exit a parse tree produced by scillaParser#contract.
	exitContract(ctx) {
	}


	// Enter a parse tree produced by scillaParser#tconstr.
	enterTconstr(ctx) {
	}

	// Exit a parse tree produced by scillaParser#tconstr.
	exitTconstr(ctx) {
	}


	// Enter a parse tree produced by scillaParser#LibVar.
	enterLibVar(ctx) {
	}

	// Exit a parse tree produced by scillaParser#LibVar.
	exitLibVar(ctx) {
	}


	// Enter a parse tree produced by scillaParser#LibTypEmpt.
	enterLibTypEmpt(ctx) {
	}

	// Exit a parse tree produced by scillaParser#LibTypEmpt.
	exitLibTypEmpt(ctx) {
	}


	// Enter a parse tree produced by scillaParser#LibTyp.
	enterLibTyp(ctx) {
	}

	// Exit a parse tree produced by scillaParser#LibTyp.
	exitLibTyp(ctx) {
	}


	// Enter a parse tree produced by scillaParser#library.
	enterLibrary(ctx) {
	}

	// Exit a parse tree produced by scillaParser#library.
	exitLibrary(ctx) {
	}


	// Enter a parse tree produced by scillaParser#lmodule.
	enterLmodule(ctx) {
	}

	// Exit a parse tree produced by scillaParser#lmodule.
	exitLmodule(ctx) {
	}


	// Enter a parse tree produced by scillaParser#NoShadowELib.
	enterNoShadowELib(ctx) {
	}

	// Exit a parse tree produced by scillaParser#NoShadowELib.
	exitNoShadowELib(ctx) {
	}


	// Enter a parse tree produced by scillaParser#ShadowELib.
	enterShadowELib(ctx) {
	}

	// Exit a parse tree produced by scillaParser#ShadowELib.
	exitShadowELib(ctx) {
	}


	// Enter a parse tree produced by scillaParser#imports.
	enterImports(ctx) {
	}

	// Exit a parse tree produced by scillaParser#imports.
	exitImports(ctx) {
	}


	// Enter a parse tree produced by scillaParser#cmodule.
	enterCmodule(ctx) {
	}

	// Exit a parse tree produced by scillaParser#cmodule.
	exitCmodule(ctx) {
	}



}