text: // Generated from ResolveParser.g4 by ANTLR 4.7.2
  // jshint ignore: start
  var antlr4 = require('antlr4/index');
  
  // This class defines a complete listener for a parse tree produced by ResolveParser.
  function ResolveParserListener() {
  	antlr4.tree.ParseTreeListener.call(this);
  	return this;
  }
  
  ResolveParserListener.prototype = Object.create(antlr4.tree.ParseTreeListener.prototype);
  ResolveParserListener.prototype.constructor = ResolveParserListener;
  
  // Enter a parse tree produced by ResolveParser#module.
  ResolveParserListener.prototype.enterModule = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#module.
  ResolveParserListener.prototype.exitModule = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#precisModule.
  ResolveParserListener.prototype.enterPrecisModule = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#precisModule.
  ResolveParserListener.prototype.exitPrecisModule = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#precisItems.
  ResolveParserListener.prototype.enterPrecisItems = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#precisItems.
  ResolveParserListener.prototype.exitPrecisItems = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#precisItem.
  ResolveParserListener.prototype.enterPrecisItem = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#precisItem.
  ResolveParserListener.prototype.exitPrecisItem = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#facilityModule.
  ResolveParserListener.prototype.enterFacilityModule = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#facilityModule.
  ResolveParserListener.prototype.exitFacilityModule = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#facilityItems.
  ResolveParserListener.prototype.enterFacilityItems = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#facilityItems.
  ResolveParserListener.prototype.exitFacilityItems = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#facilityItem.
  ResolveParserListener.prototype.enterFacilityItem = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#facilityItem.
  ResolveParserListener.prototype.exitFacilityItem = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#shortFacilityModule.
  ResolveParserListener.prototype.enterShortFacilityModule = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#shortFacilityModule.
  ResolveParserListener.prototype.exitShortFacilityModule = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#conceptModule.
  ResolveParserListener.prototype.enterConceptModule = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#conceptModule.
  ResolveParserListener.prototype.exitConceptModule = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#conceptItems.
  ResolveParserListener.prototype.enterConceptItems = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#conceptItems.
  ResolveParserListener.prototype.exitConceptItems = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#conceptItem.
  ResolveParserListener.prototype.enterConceptItem = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#conceptItem.
  ResolveParserListener.prototype.exitConceptItem = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#conceptImplModule.
  ResolveParserListener.prototype.enterConceptImplModule = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#conceptImplModule.
  ResolveParserListener.prototype.exitConceptImplModule = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#conceptImplItems.
  ResolveParserListener.prototype.enterConceptImplItems = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#conceptImplItems.
  ResolveParserListener.prototype.exitConceptImplItems = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#conceptImplItem.
  ResolveParserListener.prototype.enterConceptImplItem = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#conceptImplItem.
  ResolveParserListener.prototype.exitConceptImplItem = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#enhancementModule.
  ResolveParserListener.prototype.enterEnhancementModule = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#enhancementModule.
  ResolveParserListener.prototype.exitEnhancementModule = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#enhancementItems.
  ResolveParserListener.prototype.enterEnhancementItems = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#enhancementItems.
  ResolveParserListener.prototype.exitEnhancementItems = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#enhancementItem.
  ResolveParserListener.prototype.enterEnhancementItem = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#enhancementItem.
  ResolveParserListener.prototype.exitEnhancementItem = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#enhancementImplModule.
  ResolveParserListener.prototype.enterEnhancementImplModule = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#enhancementImplModule.
  ResolveParserListener.prototype.exitEnhancementImplModule = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#implItems.
  ResolveParserListener.prototype.enterImplItems = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#implItems.
  ResolveParserListener.prototype.exitImplItems = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#implItem.
  ResolveParserListener.prototype.enterImplItem = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#implItem.
  ResolveParserListener.prototype.exitImplItem = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#conceptPerformanceModule.
  ResolveParserListener.prototype.enterConceptPerformanceModule = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#conceptPerformanceModule.
  ResolveParserListener.prototype.exitConceptPerformanceModule = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#conceptPerformanceItems.
  ResolveParserListener.prototype.enterConceptPerformanceItems = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#conceptPerformanceItems.
  ResolveParserListener.prototype.exitConceptPerformanceItems = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#conceptPerformanceItem.
  ResolveParserListener.prototype.enterConceptPerformanceItem = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#conceptPerformanceItem.
  ResolveParserListener.prototype.exitConceptPerformanceItem = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#enhancementPerformanceModule.
  ResolveParserListener.prototype.enterEnhancementPerformanceModule = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#enhancementPerformanceModule.
  ResolveParserListener.prototype.exitEnhancementPerformanceModule = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#enhancementPerformanceItems.
  ResolveParserListener.prototype.enterEnhancementPerformanceItems = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#enhancementPerformanceItems.
  ResolveParserListener.prototype.exitEnhancementPerformanceItems = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#enhancementPerformanceItem.
  ResolveParserListener.prototype.enterEnhancementPerformanceItem = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#enhancementPerformanceItem.
  ResolveParserListener.prototype.exitEnhancementPerformanceItem = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#usesList.
  ResolveParserListener.prototype.enterUsesList = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#usesList.
  ResolveParserListener.prototype.exitUsesList = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#usesItem.
  ResolveParserListener.prototype.enterUsesItem = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#usesItem.
  ResolveParserListener.prototype.exitUsesItem = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#operationParameterList.
  ResolveParserListener.prototype.enterOperationParameterList = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#operationParameterList.
  ResolveParserListener.prototype.exitOperationParameterList = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#moduleParameterList.
  ResolveParserListener.prototype.enterModuleParameterList = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#moduleParameterList.
  ResolveParserListener.prototype.exitModuleParameterList = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#moduleParameterDecl.
  ResolveParserListener.prototype.enterModuleParameterDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#moduleParameterDecl.
  ResolveParserListener.prototype.exitModuleParameterDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#definitionParameterDecl.
  ResolveParserListener.prototype.enterDefinitionParameterDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#definitionParameterDecl.
  ResolveParserListener.prototype.exitDefinitionParameterDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#typeParameterDecl.
  ResolveParserListener.prototype.enterTypeParameterDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#typeParameterDecl.
  ResolveParserListener.prototype.exitTypeParameterDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#constantParameterDecl.
  ResolveParserListener.prototype.enterConstantParameterDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#constantParameterDecl.
  ResolveParserListener.prototype.exitConstantParameterDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#operationParameterDecl.
  ResolveParserListener.prototype.enterOperationParameterDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#operationParameterDecl.
  ResolveParserListener.prototype.exitOperationParameterDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#conceptImplParameterDecl.
  ResolveParserListener.prototype.enterConceptImplParameterDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#conceptImplParameterDecl.
  ResolveParserListener.prototype.exitConceptImplParameterDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#parameterDecl.
  ResolveParserListener.prototype.enterParameterDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#parameterDecl.
  ResolveParserListener.prototype.exitParameterDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#parameterMode.
  ResolveParserListener.prototype.enterParameterMode = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#parameterMode.
  ResolveParserListener.prototype.exitParameterMode = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#programNamedType.
  ResolveParserListener.prototype.enterProgramNamedType = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#programNamedType.
  ResolveParserListener.prototype.exitProgramNamedType = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#programArrayType.
  ResolveParserListener.prototype.enterProgramArrayType = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#programArrayType.
  ResolveParserListener.prototype.exitProgramArrayType = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#programRecordType.
  ResolveParserListener.prototype.enterProgramRecordType = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#programRecordType.
  ResolveParserListener.prototype.exitProgramRecordType = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#typeModelDecl.
  ResolveParserListener.prototype.enterTypeModelDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#typeModelDecl.
  ResolveParserListener.prototype.exitTypeModelDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#typeRepresentationDecl.
  ResolveParserListener.prototype.enterTypeRepresentationDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#typeRepresentationDecl.
  ResolveParserListener.prototype.exitTypeRepresentationDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#facilityTypeRepresentationDecl.
  ResolveParserListener.prototype.enterFacilityTypeRepresentationDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#facilityTypeRepresentationDecl.
  ResolveParserListener.prototype.exitFacilityTypeRepresentationDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#performanceTypeModelDecl.
  ResolveParserListener.prototype.enterPerformanceTypeModelDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#performanceTypeModelDecl.
  ResolveParserListener.prototype.exitPerformanceTypeModelDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#definitionVariable.
  ResolveParserListener.prototype.enterDefinitionVariable = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#definitionVariable.
  ResolveParserListener.prototype.exitDefinitionVariable = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#sharedStateDecl.
  ResolveParserListener.prototype.enterSharedStateDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#sharedStateDecl.
  ResolveParserListener.prototype.exitSharedStateDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#sharedStateRepresentationDecl.
  ResolveParserListener.prototype.enterSharedStateRepresentationDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#sharedStateRepresentationDecl.
  ResolveParserListener.prototype.exitSharedStateRepresentationDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#specModelInit.
  ResolveParserListener.prototype.enterSpecModelInit = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#specModelInit.
  ResolveParserListener.prototype.exitSpecModelInit = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#specModelFinal.
  ResolveParserListener.prototype.enterSpecModelFinal = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#specModelFinal.
  ResolveParserListener.prototype.exitSpecModelFinal = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#representationInit.
  ResolveParserListener.prototype.enterRepresentationInit = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#representationInit.
  ResolveParserListener.prototype.exitRepresentationInit = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#representationFinal.
  ResolveParserListener.prototype.enterRepresentationFinal = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#representationFinal.
  ResolveParserListener.prototype.exitRepresentationFinal = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#facilityRepresentationInit.
  ResolveParserListener.prototype.enterFacilityRepresentationInit = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#facilityRepresentationInit.
  ResolveParserListener.prototype.exitFacilityRepresentationInit = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#facilityRepresentationFinal.
  ResolveParserListener.prototype.enterFacilityRepresentationFinal = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#facilityRepresentationFinal.
  ResolveParserListener.prototype.exitFacilityRepresentationFinal = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#performanceSpecModelInit.
  ResolveParserListener.prototype.enterPerformanceSpecModelInit = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#performanceSpecModelInit.
  ResolveParserListener.prototype.exitPerformanceSpecModelInit = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#performanceSpecModelFinal.
  ResolveParserListener.prototype.enterPerformanceSpecModelFinal = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#performanceSpecModelFinal.
  ResolveParserListener.prototype.exitPerformanceSpecModelFinal = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#procedureDecl.
  ResolveParserListener.prototype.enterProcedureDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#procedureDecl.
  ResolveParserListener.prototype.exitProcedureDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#recursiveProcedureDecl.
  ResolveParserListener.prototype.enterRecursiveProcedureDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#recursiveProcedureDecl.
  ResolveParserListener.prototype.exitRecursiveProcedureDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#operationProcedureDecl.
  ResolveParserListener.prototype.enterOperationProcedureDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#operationProcedureDecl.
  ResolveParserListener.prototype.exitOperationProcedureDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#recursiveOperationProcedureDecl.
  ResolveParserListener.prototype.enterRecursiveOperationProcedureDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#recursiveOperationProcedureDecl.
  ResolveParserListener.prototype.exitRecursiveOperationProcedureDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#operationDecl.
  ResolveParserListener.prototype.enterOperationDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#operationDecl.
  ResolveParserListener.prototype.exitOperationDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#performanceOperationDecl.
  ResolveParserListener.prototype.enterPerformanceOperationDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#performanceOperationDecl.
  ResolveParserListener.prototype.exitPerformanceOperationDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#facilityDecl.
  ResolveParserListener.prototype.enterFacilityDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#facilityDecl.
  ResolveParserListener.prototype.exitFacilityDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#conceptEnhancementDecl.
  ResolveParserListener.prototype.enterConceptEnhancementDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#conceptEnhancementDecl.
  ResolveParserListener.prototype.exitConceptEnhancementDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#enhancementPairDecl.
  ResolveParserListener.prototype.enterEnhancementPairDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#enhancementPairDecl.
  ResolveParserListener.prototype.exitEnhancementPairDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#moduleArgumentList.
  ResolveParserListener.prototype.enterModuleArgumentList = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#moduleArgumentList.
  ResolveParserListener.prototype.exitModuleArgumentList = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#moduleArgument.
  ResolveParserListener.prototype.enterModuleArgument = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#moduleArgument.
  ResolveParserListener.prototype.exitModuleArgument = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathVariableDeclGroup.
  ResolveParserListener.prototype.enterMathVariableDeclGroup = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathVariableDeclGroup.
  ResolveParserListener.prototype.exitMathVariableDeclGroup = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathVariableDecl.
  ResolveParserListener.prototype.enterMathVariableDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathVariableDecl.
  ResolveParserListener.prototype.exitMathVariableDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#variableDeclGroup.
  ResolveParserListener.prototype.enterVariableDeclGroup = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#variableDeclGroup.
  ResolveParserListener.prototype.exitVariableDeclGroup = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#variableDecl.
  ResolveParserListener.prototype.enterVariableDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#variableDecl.
  ResolveParserListener.prototype.exitVariableDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#moduleStateVariableDecl.
  ResolveParserListener.prototype.enterModuleStateVariableDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#moduleStateVariableDecl.
  ResolveParserListener.prototype.exitModuleStateVariableDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#stmt.
  ResolveParserListener.prototype.enterStmt = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#stmt.
  ResolveParserListener.prototype.exitStmt = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#assignStmt.
  ResolveParserListener.prototype.enterAssignStmt = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#assignStmt.
  ResolveParserListener.prototype.exitAssignStmt = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#swapStmt.
  ResolveParserListener.prototype.enterSwapStmt = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#swapStmt.
  ResolveParserListener.prototype.exitSwapStmt = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#callStmt.
  ResolveParserListener.prototype.enterCallStmt = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#callStmt.
  ResolveParserListener.prototype.exitCallStmt = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#presumeStmt.
  ResolveParserListener.prototype.enterPresumeStmt = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#presumeStmt.
  ResolveParserListener.prototype.exitPresumeStmt = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#confirmStmt.
  ResolveParserListener.prototype.enterConfirmStmt = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#confirmStmt.
  ResolveParserListener.prototype.exitConfirmStmt = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#memoryStmt.
  ResolveParserListener.prototype.enterMemoryStmt = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#memoryStmt.
  ResolveParserListener.prototype.exitMemoryStmt = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#ifStmt.
  ResolveParserListener.prototype.enterIfStmt = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#ifStmt.
  ResolveParserListener.prototype.exitIfStmt = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#elsePart.
  ResolveParserListener.prototype.enterElsePart = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#elsePart.
  ResolveParserListener.prototype.exitElsePart = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#whileStmt.
  ResolveParserListener.prototype.enterWhileStmt = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#whileStmt.
  ResolveParserListener.prototype.exitWhileStmt = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathTypeTheoremDecl.
  ResolveParserListener.prototype.enterMathTypeTheoremDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathTypeTheoremDecl.
  ResolveParserListener.prototype.exitMathTypeTheoremDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathAssertionDecl.
  ResolveParserListener.prototype.enterMathAssertionDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathAssertionDecl.
  ResolveParserListener.prototype.exitMathAssertionDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathTheoremIdent.
  ResolveParserListener.prototype.enterMathTheoremIdent = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathTheoremIdent.
  ResolveParserListener.prototype.exitMathTheoremIdent = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathTypeDefinitionDecl.
  ResolveParserListener.prototype.enterMathTypeDefinitionDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathTypeDefinitionDecl.
  ResolveParserListener.prototype.exitMathTypeDefinitionDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathDefinesDecl.
  ResolveParserListener.prototype.enterMathDefinesDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathDefinesDecl.
  ResolveParserListener.prototype.exitMathDefinesDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathDefinitionDecl.
  ResolveParserListener.prototype.enterMathDefinitionDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathDefinitionDecl.
  ResolveParserListener.prototype.exitMathDefinitionDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathCategoricalDecl.
  ResolveParserListener.prototype.enterMathCategoricalDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathCategoricalDecl.
  ResolveParserListener.prototype.exitMathCategoricalDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathImplicitDefinitionDecl.
  ResolveParserListener.prototype.enterMathImplicitDefinitionDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathImplicitDefinitionDecl.
  ResolveParserListener.prototype.exitMathImplicitDefinitionDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathInductiveDefinitionDecl.
  ResolveParserListener.prototype.enterMathInductiveDefinitionDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathInductiveDefinitionDecl.
  ResolveParserListener.prototype.exitMathInductiveDefinitionDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathStandardDefinitionDecl.
  ResolveParserListener.prototype.enterMathStandardDefinitionDecl = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathStandardDefinitionDecl.
  ResolveParserListener.prototype.exitMathStandardDefinitionDecl = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#categoricalDefinitionSignature.
  ResolveParserListener.prototype.enterCategoricalDefinitionSignature = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#categoricalDefinitionSignature.
  ResolveParserListener.prototype.exitCategoricalDefinitionSignature = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#definitionSignature.
  ResolveParserListener.prototype.enterDefinitionSignature = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#definitionSignature.
  ResolveParserListener.prototype.exitDefinitionSignature = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#standardInfixSignature.
  ResolveParserListener.prototype.enterStandardInfixSignature = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#standardInfixSignature.
  ResolveParserListener.prototype.exitStandardInfixSignature = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#standardOutfixSignature.
  ResolveParserListener.prototype.enterStandardOutfixSignature = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#standardOutfixSignature.
  ResolveParserListener.prototype.exitStandardOutfixSignature = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#standardPrefixSignature.
  ResolveParserListener.prototype.enterStandardPrefixSignature = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#standardPrefixSignature.
  ResolveParserListener.prototype.exitStandardPrefixSignature = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#prefixOp.
  ResolveParserListener.prototype.enterPrefixOp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#prefixOp.
  ResolveParserListener.prototype.exitPrefixOp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#infixOp.
  ResolveParserListener.prototype.enterInfixOp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#infixOp.
  ResolveParserListener.prototype.exitInfixOp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#definitionParameterList.
  ResolveParserListener.prototype.enterDefinitionParameterList = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#definitionParameterList.
  ResolveParserListener.prototype.exitDefinitionParameterList = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#affectsClause.
  ResolveParserListener.prototype.enterAffectsClause = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#affectsClause.
  ResolveParserListener.prototype.exitAffectsClause = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#requiresClause.
  ResolveParserListener.prototype.enterRequiresClause = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#requiresClause.
  ResolveParserListener.prototype.exitRequiresClause = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#ensuresClause.
  ResolveParserListener.prototype.enterEnsuresClause = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#ensuresClause.
  ResolveParserListener.prototype.exitEnsuresClause = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#constraintClause.
  ResolveParserListener.prototype.enterConstraintClause = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#constraintClause.
  ResolveParserListener.prototype.exitConstraintClause = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#changingClause.
  ResolveParserListener.prototype.enterChangingClause = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#changingClause.
  ResolveParserListener.prototype.exitChangingClause = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#maintainingClause.
  ResolveParserListener.prototype.enterMaintainingClause = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#maintainingClause.
  ResolveParserListener.prototype.exitMaintainingClause = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#decreasingClause.
  ResolveParserListener.prototype.enterDecreasingClause = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#decreasingClause.
  ResolveParserListener.prototype.exitDecreasingClause = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#correspondenceClause.
  ResolveParserListener.prototype.enterCorrespondenceClause = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#correspondenceClause.
  ResolveParserListener.prototype.exitCorrespondenceClause = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#conventionClause.
  ResolveParserListener.prototype.enterConventionClause = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#conventionClause.
  ResolveParserListener.prototype.exitConventionClause = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#durationClause.
  ResolveParserListener.prototype.enterDurationClause = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#durationClause.
  ResolveParserListener.prototype.exitDurationClause = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#manipulationDispClause.
  ResolveParserListener.prototype.enterManipulationDispClause = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#manipulationDispClause.
  ResolveParserListener.prototype.exitManipulationDispClause = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathTypeExp.
  ResolveParserListener.prototype.enterMathTypeExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathTypeExp.
  ResolveParserListener.prototype.exitMathTypeExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathExp.
  ResolveParserListener.prototype.enterMathExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathExp.
  ResolveParserListener.prototype.exitMathExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathIteratedExp.
  ResolveParserListener.prototype.enterMathIteratedExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathIteratedExp.
  ResolveParserListener.prototype.exitMathIteratedExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathQuantifiedExp.
  ResolveParserListener.prototype.enterMathQuantifiedExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathQuantifiedExp.
  ResolveParserListener.prototype.exitMathQuantifiedExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathImpliesExp.
  ResolveParserListener.prototype.enterMathImpliesExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathImpliesExp.
  ResolveParserListener.prototype.exitMathImpliesExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathLogicalExp.
  ResolveParserListener.prototype.enterMathLogicalExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathLogicalExp.
  ResolveParserListener.prototype.exitMathLogicalExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathRelationalExp.
  ResolveParserListener.prototype.enterMathRelationalExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathRelationalExp.
  ResolveParserListener.prototype.exitMathRelationalExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathInfixExp.
  ResolveParserListener.prototype.enterMathInfixExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathInfixExp.
  ResolveParserListener.prototype.exitMathInfixExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathTypeAssertionExp.
  ResolveParserListener.prototype.enterMathTypeAssertionExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathTypeAssertionExp.
  ResolveParserListener.prototype.exitMathTypeAssertionExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathFunctionTypeExp.
  ResolveParserListener.prototype.enterMathFunctionTypeExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathFunctionTypeExp.
  ResolveParserListener.prototype.exitMathFunctionTypeExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathAddingExp.
  ResolveParserListener.prototype.enterMathAddingExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathAddingExp.
  ResolveParserListener.prototype.exitMathAddingExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathRepeatAddExp.
  ResolveParserListener.prototype.enterMathRepeatAddExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathRepeatAddExp.
  ResolveParserListener.prototype.exitMathRepeatAddExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathMultiplyingExp.
  ResolveParserListener.prototype.enterMathMultiplyingExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathMultiplyingExp.
  ResolveParserListener.prototype.exitMathMultiplyingExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathRepeatMultExp.
  ResolveParserListener.prototype.enterMathRepeatMultExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathRepeatMultExp.
  ResolveParserListener.prototype.exitMathRepeatMultExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathExponentialExp.
  ResolveParserListener.prototype.enterMathExponentialExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathExponentialExp.
  ResolveParserListener.prototype.exitMathExponentialExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathPrefixExp.
  ResolveParserListener.prototype.enterMathPrefixExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathPrefixExp.
  ResolveParserListener.prototype.exitMathPrefixExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathPrimaryExp.
  ResolveParserListener.prototype.enterMathPrimaryExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathPrimaryExp.
  ResolveParserListener.prototype.exitMathPrimaryExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathAlternativeExp.
  ResolveParserListener.prototype.enterMathAlternativeExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathAlternativeExp.
  ResolveParserListener.prototype.exitMathAlternativeExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathAlternativeExpItem.
  ResolveParserListener.prototype.enterMathAlternativeExpItem = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathAlternativeExpItem.
  ResolveParserListener.prototype.exitMathAlternativeExpItem = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathBooleanExp.
  ResolveParserListener.prototype.enterMathBooleanExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathBooleanExp.
  ResolveParserListener.prototype.exitMathBooleanExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathIntegerExp.
  ResolveParserListener.prototype.enterMathIntegerExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathIntegerExp.
  ResolveParserListener.prototype.exitMathIntegerExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathRealExp.
  ResolveParserListener.prototype.enterMathRealExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathRealExp.
  ResolveParserListener.prototype.exitMathRealExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathCharacterExp.
  ResolveParserListener.prototype.enterMathCharacterExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathCharacterExp.
  ResolveParserListener.prototype.exitMathCharacterExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathStringExp.
  ResolveParserListener.prototype.enterMathStringExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathStringExp.
  ResolveParserListener.prototype.exitMathStringExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathDotExp.
  ResolveParserListener.prototype.enterMathDotExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathDotExp.
  ResolveParserListener.prototype.exitMathDotExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathOldExp.
  ResolveParserListener.prototype.enterMathOldExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathOldExp.
  ResolveParserListener.prototype.exitMathOldExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathFunctOrVarExp.
  ResolveParserListener.prototype.enterMathFunctOrVarExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathFunctOrVarExp.
  ResolveParserListener.prototype.exitMathFunctOrVarExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathFunctionExp.
  ResolveParserListener.prototype.enterMathFunctionExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathFunctionExp.
  ResolveParserListener.prototype.exitMathFunctionExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathTypeRecpExp.
  ResolveParserListener.prototype.enterMathTypeRecpExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathTypeRecpExp.
  ResolveParserListener.prototype.exitMathTypeRecpExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathVarExp.
  ResolveParserListener.prototype.enterMathVarExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathVarExp.
  ResolveParserListener.prototype.exitMathVarExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathOpNameExp.
  ResolveParserListener.prototype.enterMathOpNameExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathOpNameExp.
  ResolveParserListener.prototype.exitMathOpNameExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathVarNameExp.
  ResolveParserListener.prototype.enterMathVarNameExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathVarNameExp.
  ResolveParserListener.prototype.exitMathVarNameExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathOutfixExp.
  ResolveParserListener.prototype.enterMathOutfixExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathOutfixExp.
  ResolveParserListener.prototype.exitMathOutfixExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathSetBuilderExp.
  ResolveParserListener.prototype.enterMathSetBuilderExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathSetBuilderExp.
  ResolveParserListener.prototype.exitMathSetBuilderExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathSetCollectionExp.
  ResolveParserListener.prototype.enterMathSetCollectionExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathSetCollectionExp.
  ResolveParserListener.prototype.exitMathSetCollectionExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathTupleExp.
  ResolveParserListener.prototype.enterMathTupleExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathTupleExp.
  ResolveParserListener.prototype.exitMathTupleExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathLambdaExp.
  ResolveParserListener.prototype.enterMathLambdaExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathLambdaExp.
  ResolveParserListener.prototype.exitMathLambdaExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathTaggedCartProdTypeExp.
  ResolveParserListener.prototype.enterMathTaggedCartProdTypeExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathTaggedCartProdTypeExp.
  ResolveParserListener.prototype.exitMathTaggedCartProdTypeExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathRecpExp.
  ResolveParserListener.prototype.enterMathRecpExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathRecpExp.
  ResolveParserListener.prototype.exitMathRecpExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathTypeReceptaclesExp.
  ResolveParserListener.prototype.enterMathTypeReceptaclesExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathTypeReceptaclesExp.
  ResolveParserListener.prototype.exitMathTypeReceptaclesExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathNestedExp.
  ResolveParserListener.prototype.enterMathNestedExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathNestedExp.
  ResolveParserListener.prototype.exitMathNestedExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#mathWhereExp.
  ResolveParserListener.prototype.enterMathWhereExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#mathWhereExp.
  ResolveParserListener.prototype.exitMathWhereExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progExponentialExp.
  ResolveParserListener.prototype.enterProgExponentialExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progExponentialExp.
  ResolveParserListener.prototype.exitProgExponentialExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progApplicationExp.
  ResolveParserListener.prototype.enterProgApplicationExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progApplicationExp.
  ResolveParserListener.prototype.exitProgApplicationExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progExponential.
  ResolveParserListener.prototype.enterProgExponential = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progExponential.
  ResolveParserListener.prototype.exitProgExponential = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progUnaryExp.
  ResolveParserListener.prototype.enterProgUnaryExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progUnaryExp.
  ResolveParserListener.prototype.exitProgUnaryExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progPrimaryExp.
  ResolveParserListener.prototype.enterProgPrimaryExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progPrimaryExp.
  ResolveParserListener.prototype.exitProgPrimaryExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progLiteralExp.
  ResolveParserListener.prototype.enterProgLiteralExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progLiteralExp.
  ResolveParserListener.prototype.exitProgLiteralExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progFunctionExp.
  ResolveParserListener.prototype.enterProgFunctionExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progFunctionExp.
  ResolveParserListener.prototype.exitProgFunctionExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progVarExp.
  ResolveParserListener.prototype.enterProgVarExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progVarExp.
  ResolveParserListener.prototype.exitProgVarExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progNestedExp.
  ResolveParserListener.prototype.enterProgNestedExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progNestedExp.
  ResolveParserListener.prototype.exitProgNestedExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progIntegerExp.
  ResolveParserListener.prototype.enterProgIntegerExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progIntegerExp.
  ResolveParserListener.prototype.exitProgIntegerExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progCharacterExp.
  ResolveParserListener.prototype.enterProgCharacterExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progCharacterExp.
  ResolveParserListener.prototype.exitProgCharacterExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progStringExp.
  ResolveParserListener.prototype.enterProgStringExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progStringExp.
  ResolveParserListener.prototype.exitProgStringExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progParamExp.
  ResolveParserListener.prototype.enterProgParamExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progParamExp.
  ResolveParserListener.prototype.exitProgParamExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progVariableExp.
  ResolveParserListener.prototype.enterProgVariableExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progVariableExp.
  ResolveParserListener.prototype.exitProgVariableExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progVarDotExp.
  ResolveParserListener.prototype.enterProgVarDotExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progVarDotExp.
  ResolveParserListener.prototype.exitProgVarDotExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progVarDotArrayExp.
  ResolveParserListener.prototype.enterProgVarDotArrayExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progVarDotArrayExp.
  ResolveParserListener.prototype.exitProgVarDotArrayExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progVarArrayExp.
  ResolveParserListener.prototype.enterProgVarArrayExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progVarArrayExp.
  ResolveParserListener.prototype.exitProgVarArrayExp = function(ctx) {
  };
  
  
  // Enter a parse tree produced by ResolveParser#progVarNameExp.
  ResolveParserListener.prototype.enterProgVarNameExp = function(ctx) {
  };
  
  // Exit a parse tree produced by ResolveParser#progVarNameExp.
  ResolveParserListener.prototype.exitProgVarNameExp = function(ctx) {
  };
  
  
  
  exports.ResolveParserListener = ResolveParserListener;