Class alloyBaseVisitor<Result>

This class provides an empty implementation of IalloyVisitor<Result>, which can be extended to create a visitor which only needs to handle a subset of the available methods.

Inheritance
System.Object
alloyBaseVisitor<Result>
Implements
IParseTreeVisitor<Result>
Namespace: GCore.Antlr.Grammers.Alloy
Assembly: Alloy.dll
Syntax
public class alloyBaseVisitor<Result> : AbstractParseTreeVisitor<Result>, 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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_().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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_().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual 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().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitUnOp(alloyParser.UnOpContext context)
Parameters
Type Name Description
alloyParser.UnOpContext context

The parse tree.
Returns
Type Description
Result

Implements

IParseTreeVisitor<>