Interface IalloyVisitor<Result>

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

Namespace: GCore.Antlr.Grammers.Alloy

Assembly: Alloy.dll

Syntax

public interface IalloyVisitor<Result> : IParseTreeVisitor<Result>

Type Parameters

Name	Description
Result	The return type of the visit operation.

Methods

| Improve this Doc View Source

VisitAlloyModule(alloyParser.AlloyModuleContext)

Visit a parse tree produced by alloyModule().

Declaration

Result VisitAlloyModule(alloyParser.AlloyModuleContext context)

Parameters

Type	Name	Description
alloyParser.AlloyModuleContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitArrowOp(alloyParser.ArrowOpContext)

Visit a parse tree produced by arrowOp().

Declaration

Result VisitArrowOp(alloyParser.ArrowOpContext context)

Parameters

Type	Name	Description
alloyParser.ArrowOpContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitAssertDecl(alloyParser.AssertDeclContext)

Visit a parse tree produced by assertDecl().

Declaration

Result VisitAssertDecl(alloyParser.AssertDeclContext context)

Parameters

Type	Name	Description
alloyParser.AssertDeclContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitBinOp(alloyParser.BinOpContext)

Visit a parse tree produced by binOp().

Declaration

Result VisitBinOp(alloyParser.BinOpContext context)

Parameters

Type	Name	Description
alloyParser.BinOpContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitBlock(alloyParser.BlockContext)

Visit a parse tree produced by block().

Declaration

Result VisitBlock(alloyParser.BlockContext context)

Parameters

Type	Name	Description
alloyParser.BlockContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitBlockOrBar(alloyParser.BlockOrBarContext)

Visit a parse tree produced by blockOrBar().

Declaration

Result VisitBlockOrBar(alloyParser.BlockOrBarContext context)

Parameters

Type	Name	Description
alloyParser.BlockOrBarContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitCmdDecl(alloyParser.CmdDeclContext)

Visit a parse tree produced by cmdDecl().

Declaration

Result VisitCmdDecl(alloyParser.CmdDeclContext context)

Parameters

Type	Name	Description
alloyParser.CmdDeclContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitCompareOp(alloyParser.CompareOpContext)

Visit a parse tree produced by compareOp().

Declaration

Result VisitCompareOp(alloyParser.CompareOpContext context)

Parameters

Type	Name	Description
alloyParser.CompareOpContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitConst_(alloyParser.Const_Context)

Visit a parse tree produced by const_().

Declaration

Result VisitConst_(alloyParser.Const_Context context)

Parameters

Type	Name	Description
alloyParser.Const_Context	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitDecl(alloyParser.DeclContext)

Visit a parse tree produced by decl().

Declaration

Result VisitDecl(alloyParser.DeclContext context)

Parameters

Type	Name	Description
alloyParser.DeclContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitExpr(alloyParser.ExprContext)

Visit a parse tree produced by expr().

Declaration

Result VisitExpr(alloyParser.ExprContext context)

Parameters

Type	Name	Description
alloyParser.ExprContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitFactDecl(alloyParser.FactDeclContext)

Visit a parse tree produced by factDecl().

Declaration

Result VisitFactDecl(alloyParser.FactDeclContext context)

Parameters

Type	Name	Description
alloyParser.FactDeclContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitFunDecl(alloyParser.FunDeclContext)

Visit a parse tree produced by funDecl().

Declaration

Result VisitFunDecl(alloyParser.FunDeclContext context)

Parameters

Type	Name	Description
alloyParser.FunDeclContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitImport_(alloyParser.Import_Context)

Visit a parse tree produced by import_().

Declaration

Result VisitImport_(alloyParser.Import_Context context)

Parameters

Type	Name	Description
alloyParser.Import_Context	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitLetDecl(alloyParser.LetDeclContext)

Visit a parse tree produced by letDecl().

Declaration

Result VisitLetDecl(alloyParser.LetDeclContext context)

Parameters

Type	Name	Description
alloyParser.LetDeclContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitModuleDecl(alloyParser.ModuleDeclContext)

Visit a parse tree produced by moduleDecl().

Declaration

Result VisitModuleDecl(alloyParser.ModuleDeclContext context)

Parameters

Type	Name	Description
alloyParser.ModuleDeclContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitMult(alloyParser.MultContext)

Visit a parse tree produced by mult().

Declaration

Result VisitMult(alloyParser.MultContext context)

Parameters

Type	Name	Description
alloyParser.MultContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitName(alloyParser.NameContext)

Visit a parse tree produced by name().

Declaration

Result VisitName(alloyParser.NameContext context)

Parameters

Type	Name	Description
alloyParser.NameContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitNumber(alloyParser.NumberContext)

Visit a parse tree produced by number().

Declaration

Result VisitNumber(alloyParser.NumberContext context)

Parameters

Type	Name	Description
alloyParser.NumberContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitParaDecls(alloyParser.ParaDeclsContext)

Visit a parse tree produced by paraDecls().

Declaration

Result VisitParaDecls(alloyParser.ParaDeclsContext context)

Parameters

Type	Name	Description
alloyParser.ParaDeclsContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitParagraph(alloyParser.ParagraphContext)

Visit a parse tree produced by paragraph().

Declaration

Result VisitParagraph(alloyParser.ParagraphContext context)

Parameters

Type	Name	Description
alloyParser.ParagraphContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitPredDecl(alloyParser.PredDeclContext)

Visit a parse tree produced by predDecl().

Declaration

Result VisitPredDecl(alloyParser.PredDeclContext context)

Parameters

Type	Name	Description
alloyParser.PredDeclContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitQualName(alloyParser.QualNameContext)

Visit a parse tree produced by qualName().

Declaration

Result VisitQualName(alloyParser.QualNameContext context)

Parameters

Type	Name	Description
alloyParser.QualNameContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitQuant(alloyParser.QuantContext)

Visit a parse tree produced by quant().

Declaration

Result VisitQuant(alloyParser.QuantContext context)

Parameters

Type	Name	Description
alloyParser.QuantContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitScope(alloyParser.ScopeContext)

Visit a parse tree produced by scope().

Declaration

Result VisitScope(alloyParser.ScopeContext context)

Parameters

Type	Name	Description
alloyParser.ScopeContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitSigDecl(alloyParser.SigDeclContext)

Visit a parse tree produced by sigDecl().

Declaration

Result VisitSigDecl(alloyParser.SigDeclContext context)

Parameters

Type	Name	Description
alloyParser.SigDeclContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitSigExt(alloyParser.SigExtContext)

Visit a parse tree produced by sigExt().

Declaration

Result VisitSigExt(alloyParser.SigExtContext context)

Parameters

Type	Name	Description
alloyParser.SigExtContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitTypescope(alloyParser.TypescopeContext)

Visit a parse tree produced by typescope().

Declaration

Result VisitTypescope(alloyParser.TypescopeContext context)

Parameters

Type	Name	Description
alloyParser.TypescopeContext	context	The parse tree.

Returns

Type	Description
Result

| Improve this Doc View Source

VisitUnOp(alloyParser.UnOpContext)

Visit a parse tree produced by unOp().

Declaration

Result VisitUnOp(alloyParser.UnOpContext context)

Parameters

Type	Name	Description
alloyParser.UnOpContext	context	The parse tree.

Returns

Type	Description
Result