Namespace GCore.Antlr.Grammers.Alloy

Classes

alloyBaseListener

This class provides an empty implementation of IalloyListener, which can be extended to create a listener which only needs to handle a subset of the available methods.

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.

alloyLexer

alloyParser

alloyParser.AlloyModuleContext

alloyParser.ArrowOpContext

alloyParser.AssertDeclContext

alloyParser.BinOpContext

alloyParser.BlockContext

alloyParser.BlockOrBarContext

alloyParser.CmdDeclContext

alloyParser.CompareOpContext

alloyParser.Const_Context

alloyParser.DeclContext

alloyParser.ExprContext

alloyParser.FactDeclContext

alloyParser.FunDeclContext

alloyParser.Import_Context

alloyParser.LetDeclContext

alloyParser.ModuleDeclContext

alloyParser.MultContext

alloyParser.NameContext

alloyParser.NumberContext

alloyParser.ParaDeclsContext

alloyParser.ParagraphContext

alloyParser.PredDeclContext

alloyParser.QualNameContext

alloyParser.QuantContext

alloyParser.ScopeContext

alloyParser.SigDeclContext

alloyParser.SigExtContext

alloyParser.TypescopeContext

alloyParser.UnOpContext

Interfaces

IalloyListener

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

IalloyVisitor<Result>

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