Interface IalloyListener

This interface defines a complete listener for a parse tree produced by alloyParser.

Namespace: GCore.Antlr.Grammers.Alloy

Assembly: Alloy.dll

Syntax

public interface IalloyListener : Antlr4.Runtime.Tree.IParseTreeListener

Methods

EnterAlloyModule(alloyParser.AlloyModuleContext)

Enter a parse tree produced by alloyModule().

Declaration

void EnterAlloyModule(alloyParser.AlloyModuleContext context)

Parameters

Type	Name	Description
alloyParser.AlloyModuleContext	context	The parse tree.

EnterArrowOp(alloyParser.ArrowOpContext)

Enter a parse tree produced by arrowOp().

Declaration

void EnterArrowOp(alloyParser.ArrowOpContext context)

Parameters

Type	Name	Description
alloyParser.ArrowOpContext	context	The parse tree.

EnterAssertDecl(alloyParser.AssertDeclContext)

Enter a parse tree produced by assertDecl().

Declaration

void EnterAssertDecl(alloyParser.AssertDeclContext context)

Parameters

Type	Name	Description
alloyParser.AssertDeclContext	context	The parse tree.

EnterBinOp(alloyParser.BinOpContext)

Enter a parse tree produced by binOp().

Declaration

void EnterBinOp(alloyParser.BinOpContext context)

Parameters

Type	Name	Description
alloyParser.BinOpContext	context	The parse tree.

EnterBlock(alloyParser.BlockContext)

Enter a parse tree produced by block().

Declaration

void EnterBlock(alloyParser.BlockContext context)

Parameters

Type	Name	Description
alloyParser.BlockContext	context	The parse tree.

EnterBlockOrBar(alloyParser.BlockOrBarContext)

Enter a parse tree produced by blockOrBar().

Declaration

void EnterBlockOrBar(alloyParser.BlockOrBarContext context)

Parameters

Type	Name	Description
alloyParser.BlockOrBarContext	context	The parse tree.

EnterCmdDecl(alloyParser.CmdDeclContext)

Enter a parse tree produced by cmdDecl().

Declaration

void EnterCmdDecl(alloyParser.CmdDeclContext context)

Parameters

Type	Name	Description
alloyParser.CmdDeclContext	context	The parse tree.

EnterCompareOp(alloyParser.CompareOpContext)

Enter a parse tree produced by compareOp().

Declaration

void EnterCompareOp(alloyParser.CompareOpContext context)

Parameters

Type	Name	Description
alloyParser.CompareOpContext	context	The parse tree.

EnterConst_(alloyParser.Const_Context)

Enter a parse tree produced by const_().

Declaration

void EnterConst_(alloyParser.Const_Context context)

Parameters

Type	Name	Description
alloyParser.Const_Context	context	The parse tree.

EnterDecl(alloyParser.DeclContext)

Enter a parse tree produced by decl().

Declaration

void EnterDecl(alloyParser.DeclContext context)

Parameters

Type	Name	Description
alloyParser.DeclContext	context	The parse tree.

EnterExpr(alloyParser.ExprContext)

Enter a parse tree produced by expr().

Declaration

void EnterExpr(alloyParser.ExprContext context)

Parameters

Type	Name	Description
alloyParser.ExprContext	context	The parse tree.

EnterFactDecl(alloyParser.FactDeclContext)

Enter a parse tree produced by factDecl().

Declaration

void EnterFactDecl(alloyParser.FactDeclContext context)

Parameters

Type	Name	Description
alloyParser.FactDeclContext	context	The parse tree.

EnterFunDecl(alloyParser.FunDeclContext)

Enter a parse tree produced by funDecl().

Declaration

void EnterFunDecl(alloyParser.FunDeclContext context)

Parameters

Type	Name	Description
alloyParser.FunDeclContext	context	The parse tree.

EnterImport_(alloyParser.Import_Context)

Enter a parse tree produced by import_().

Declaration

void EnterImport_(alloyParser.Import_Context context)

Parameters

Type	Name	Description
alloyParser.Import_Context	context	The parse tree.

EnterLetDecl(alloyParser.LetDeclContext)

Enter a parse tree produced by letDecl().

Declaration

void EnterLetDecl(alloyParser.LetDeclContext context)

Parameters

Type	Name	Description
alloyParser.LetDeclContext	context	The parse tree.

EnterModuleDecl(alloyParser.ModuleDeclContext)

Enter a parse tree produced by moduleDecl().

Declaration

void EnterModuleDecl(alloyParser.ModuleDeclContext context)

Parameters

Type	Name	Description
alloyParser.ModuleDeclContext	context	The parse tree.

EnterMult(alloyParser.MultContext)

Enter a parse tree produced by mult().

Declaration

void EnterMult(alloyParser.MultContext context)

Parameters

Type	Name	Description
alloyParser.MultContext	context	The parse tree.

EnterName(alloyParser.NameContext)

Enter a parse tree produced by name().

Declaration

void EnterName(alloyParser.NameContext context)

Parameters

Type	Name	Description
alloyParser.NameContext	context	The parse tree.

EnterNumber(alloyParser.NumberContext)

Enter a parse tree produced by number().

Declaration

void EnterNumber(alloyParser.NumberContext context)

Parameters

Type	Name	Description
alloyParser.NumberContext	context	The parse tree.

EnterParaDecls(alloyParser.ParaDeclsContext)

Enter a parse tree produced by paraDecls().

Declaration

void EnterParaDecls(alloyParser.ParaDeclsContext context)

Parameters

Type	Name	Description
alloyParser.ParaDeclsContext	context	The parse tree.

EnterParagraph(alloyParser.ParagraphContext)

Enter a parse tree produced by paragraph().

Declaration

void EnterParagraph(alloyParser.ParagraphContext context)

Parameters

Type	Name	Description
alloyParser.ParagraphContext	context	The parse tree.

EnterPredDecl(alloyParser.PredDeclContext)

Enter a parse tree produced by predDecl().

Declaration

void EnterPredDecl(alloyParser.PredDeclContext context)

Parameters

Type	Name	Description
alloyParser.PredDeclContext	context	The parse tree.

EnterQualName(alloyParser.QualNameContext)

Enter a parse tree produced by qualName().

Declaration

void EnterQualName(alloyParser.QualNameContext context)

Parameters

Type	Name	Description
alloyParser.QualNameContext	context	The parse tree.

EnterQuant(alloyParser.QuantContext)

Enter a parse tree produced by quant().

Declaration

void EnterQuant(alloyParser.QuantContext context)

Parameters

Type	Name	Description
alloyParser.QuantContext	context	The parse tree.

EnterScope(alloyParser.ScopeContext)

Enter a parse tree produced by scope().

Declaration

void EnterScope(alloyParser.ScopeContext context)

Parameters

Type	Name	Description
alloyParser.ScopeContext	context	The parse tree.

EnterSigDecl(alloyParser.SigDeclContext)

Enter a parse tree produced by sigDecl().

Declaration

void EnterSigDecl(alloyParser.SigDeclContext context)

Parameters

Type	Name	Description
alloyParser.SigDeclContext	context	The parse tree.

EnterSigExt(alloyParser.SigExtContext)

Enter a parse tree produced by sigExt().

Declaration

void EnterSigExt(alloyParser.SigExtContext context)

Parameters

Type	Name	Description
alloyParser.SigExtContext	context	The parse tree.

EnterTypescope(alloyParser.TypescopeContext)

Enter a parse tree produced by typescope().

Declaration

void EnterTypescope(alloyParser.TypescopeContext context)

Parameters

Type	Name	Description
alloyParser.TypescopeContext	context	The parse tree.

EnterUnOp(alloyParser.UnOpContext)

Enter a parse tree produced by unOp().

Declaration

void EnterUnOp(alloyParser.UnOpContext context)

Parameters

Type	Name	Description
alloyParser.UnOpContext	context	The parse tree.

ExitAlloyModule(alloyParser.AlloyModuleContext)

Exit a parse tree produced by alloyModule().

Declaration

void ExitAlloyModule(alloyParser.AlloyModuleContext context)

Parameters

Type	Name	Description
alloyParser.AlloyModuleContext	context	The parse tree.

ExitArrowOp(alloyParser.ArrowOpContext)

Exit a parse tree produced by arrowOp().

Declaration

void ExitArrowOp(alloyParser.ArrowOpContext context)

Parameters

Type	Name	Description
alloyParser.ArrowOpContext	context	The parse tree.

ExitAssertDecl(alloyParser.AssertDeclContext)

Exit a parse tree produced by assertDecl().

Declaration

void ExitAssertDecl(alloyParser.AssertDeclContext context)

Parameters

Type	Name	Description
alloyParser.AssertDeclContext	context	The parse tree.

ExitBinOp(alloyParser.BinOpContext)

Exit a parse tree produced by binOp().

Declaration

void ExitBinOp(alloyParser.BinOpContext context)

Parameters

Type	Name	Description
alloyParser.BinOpContext	context	The parse tree.

ExitBlock(alloyParser.BlockContext)

Exit a parse tree produced by block().

Declaration

void ExitBlock(alloyParser.BlockContext context)

Parameters

Type	Name	Description
alloyParser.BlockContext	context	The parse tree.

ExitBlockOrBar(alloyParser.BlockOrBarContext)

Exit a parse tree produced by blockOrBar().

Declaration

void ExitBlockOrBar(alloyParser.BlockOrBarContext context)

Parameters

Type	Name	Description
alloyParser.BlockOrBarContext	context	The parse tree.

ExitCmdDecl(alloyParser.CmdDeclContext)

Exit a parse tree produced by cmdDecl().

Declaration

void ExitCmdDecl(alloyParser.CmdDeclContext context)

Parameters

Type	Name	Description
alloyParser.CmdDeclContext	context	The parse tree.

ExitCompareOp(alloyParser.CompareOpContext)

Exit a parse tree produced by compareOp().

Declaration

void ExitCompareOp(alloyParser.CompareOpContext context)

Parameters

Type	Name	Description
alloyParser.CompareOpContext	context	The parse tree.

ExitConst_(alloyParser.Const_Context)

Exit a parse tree produced by const_().

Declaration

void ExitConst_(alloyParser.Const_Context context)

Parameters

Type	Name	Description
alloyParser.Const_Context	context	The parse tree.

ExitDecl(alloyParser.DeclContext)

Exit a parse tree produced by decl().

Declaration

void ExitDecl(alloyParser.DeclContext context)

Parameters

Type	Name	Description
alloyParser.DeclContext	context	The parse tree.

ExitExpr(alloyParser.ExprContext)

Exit a parse tree produced by expr().

Declaration

void ExitExpr(alloyParser.ExprContext context)

Parameters

Type	Name	Description
alloyParser.ExprContext	context	The parse tree.

ExitFactDecl(alloyParser.FactDeclContext)

Exit a parse tree produced by factDecl().

Declaration

void ExitFactDecl(alloyParser.FactDeclContext context)

Parameters

Type	Name	Description
alloyParser.FactDeclContext	context	The parse tree.

ExitFunDecl(alloyParser.FunDeclContext)

Exit a parse tree produced by funDecl().

Declaration

void ExitFunDecl(alloyParser.FunDeclContext context)

Parameters

Type	Name	Description
alloyParser.FunDeclContext	context	The parse tree.

ExitImport_(alloyParser.Import_Context)

Exit a parse tree produced by import_().

Declaration

void ExitImport_(alloyParser.Import_Context context)

Parameters

Type	Name	Description
alloyParser.Import_Context	context	The parse tree.

ExitLetDecl(alloyParser.LetDeclContext)

Exit a parse tree produced by letDecl().

Declaration

void ExitLetDecl(alloyParser.LetDeclContext context)

Parameters

Type	Name	Description
alloyParser.LetDeclContext	context	The parse tree.

ExitModuleDecl(alloyParser.ModuleDeclContext)

Exit a parse tree produced by moduleDecl().

Declaration

void ExitModuleDecl(alloyParser.ModuleDeclContext context)

Parameters

Type	Name	Description
alloyParser.ModuleDeclContext	context	The parse tree.

ExitMult(alloyParser.MultContext)

Exit a parse tree produced by mult().

Declaration

void ExitMult(alloyParser.MultContext context)

Parameters

Type	Name	Description
alloyParser.MultContext	context	The parse tree.

ExitName(alloyParser.NameContext)

Exit a parse tree produced by name().

Declaration

void ExitName(alloyParser.NameContext context)

Parameters

Type	Name	Description
alloyParser.NameContext	context	The parse tree.

ExitNumber(alloyParser.NumberContext)

Exit a parse tree produced by number().

Declaration

void ExitNumber(alloyParser.NumberContext context)

Parameters

Type	Name	Description
alloyParser.NumberContext	context	The parse tree.

ExitParaDecls(alloyParser.ParaDeclsContext)

Exit a parse tree produced by paraDecls().

Declaration

void ExitParaDecls(alloyParser.ParaDeclsContext context)

Parameters

Type	Name	Description
alloyParser.ParaDeclsContext	context	The parse tree.

ExitParagraph(alloyParser.ParagraphContext)

Exit a parse tree produced by paragraph().

Declaration

void ExitParagraph(alloyParser.ParagraphContext context)

Parameters

Type	Name	Description
alloyParser.ParagraphContext	context	The parse tree.

ExitPredDecl(alloyParser.PredDeclContext)

Exit a parse tree produced by predDecl().

Declaration

void ExitPredDecl(alloyParser.PredDeclContext context)

Parameters

Type	Name	Description
alloyParser.PredDeclContext	context	The parse tree.

ExitQualName(alloyParser.QualNameContext)

Exit a parse tree produced by qualName().

Declaration

void ExitQualName(alloyParser.QualNameContext context)

Parameters

Type	Name	Description
alloyParser.QualNameContext	context	The parse tree.

ExitQuant(alloyParser.QuantContext)

Exit a parse tree produced by quant().

Declaration

void ExitQuant(alloyParser.QuantContext context)

Parameters

Type	Name	Description
alloyParser.QuantContext	context	The parse tree.

ExitScope(alloyParser.ScopeContext)

Exit a parse tree produced by scope().

Declaration

void ExitScope(alloyParser.ScopeContext context)

Parameters

Type	Name	Description
alloyParser.ScopeContext	context	The parse tree.

ExitSigDecl(alloyParser.SigDeclContext)

Exit a parse tree produced by sigDecl().

Declaration

void ExitSigDecl(alloyParser.SigDeclContext context)

Parameters

Type	Name	Description
alloyParser.SigDeclContext	context	The parse tree.

ExitSigExt(alloyParser.SigExtContext)

Exit a parse tree produced by sigExt().

Declaration

void ExitSigExt(alloyParser.SigExtContext context)

Parameters

Type	Name	Description
alloyParser.SigExtContext	context	The parse tree.

ExitTypescope(alloyParser.TypescopeContext)

Exit a parse tree produced by typescope().

Declaration

void ExitTypescope(alloyParser.TypescopeContext context)

Parameters

Type	Name	Description
alloyParser.TypescopeContext	context	The parse tree.

ExitUnOp(alloyParser.UnOpContext)

Exit a parse tree produced by unOp().

Declaration

void ExitUnOp(alloyParser.UnOpContext context)

Parameters

Type	Name	Description
alloyParser.UnOpContext	context	The parse tree.