Class alloyParser
Inheritance
System.Object
alloyParser
Assembly: Alloy.dll
Syntax
public class alloyParser : Parser
Constructors
|
Improve this Doc
View Source
alloyParser(ITokenStream)
Declaration
public alloyParser(ITokenStream input)
Parameters
| Type |
Name |
Description |
| ITokenStream |
input |
|
|
Improve this Doc
View Source
alloyParser(ITokenStream, TextWriter, TextWriter)
Declaration
public alloyParser(ITokenStream input, TextWriter output, TextWriter errorOutput)
Parameters
| Type |
Name |
Description |
| ITokenStream |
input |
|
| TextWriter |
output |
|
| TextWriter |
errorOutput |
|
Fields
|
Improve this Doc
View Source
_ATN
Declaration
public static readonly ATN _ATN
Field Value
|
Improve this Doc
View Source
BAR
Declaration
public const int BAR = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
Declaration
public const int COMMENT = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
decisionToDFA
Declaration
protected static Antlr4.Runtime.Dfa.DFA[] decisionToDFA
Field Value
| Type |
Description |
| Antlr4.Runtime.Dfa.DFA[] |
|
|
Improve this Doc
View Source
DefaultVocabulary
Declaration
public static readonly IVocabulary DefaultVocabulary
Field Value
| Type |
Description |
| IVocabulary |
|
|
Improve this Doc
View Source
DIGIT
Declaration
public const int DIGIT = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
IDENTIFIER
Declaration
public const int IDENTIFIER = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_alloyModule
Declaration
public const int RULE_alloyModule = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_arrowOp
Declaration
public const int RULE_arrowOp = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_assertDecl
Declaration
public const int RULE_assertDecl = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_binOp
Declaration
public const int RULE_binOp = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_block
Declaration
public const int RULE_block = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_blockOrBar
Declaration
public const int RULE_blockOrBar = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_cmdDecl
Declaration
public const int RULE_cmdDecl = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_compareOp
Declaration
public const int RULE_compareOp = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_const_
Declaration
public const int RULE_const_ = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_decl
Declaration
public const int RULE_decl = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_expr
Declaration
public const int RULE_expr = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_factDecl
Declaration
public const int RULE_factDecl = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_funDecl
Declaration
public const int RULE_funDecl = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_import_
Declaration
public const int RULE_import_ = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_letDecl
Declaration
public const int RULE_letDecl = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_moduleDecl
Declaration
public const int RULE_moduleDecl = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_mult
Declaration
public const int RULE_mult = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_name
Declaration
public const int RULE_name = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_number
Declaration
public const int RULE_number = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_paraDecls
Declaration
public const int RULE_paraDecls = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_paragraph
Declaration
public const int RULE_paragraph = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_predDecl
Declaration
public const int RULE_predDecl = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_qualName
Declaration
public const int RULE_qualName = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_quant
Declaration
public const int RULE_quant = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_scope
Declaration
public const int RULE_scope = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_sigDecl
Declaration
public const int RULE_sigDecl = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_sigExt
Declaration
public const int RULE_sigExt = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_typescope
Declaration
public const int RULE_typescope = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_unOp
Declaration
public const int RULE_unOp = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
ruleNames
Declaration
public static readonly string[] ruleNames
Field Value
| Type |
Description |
| System.String[] |
|
|
Improve this Doc
View Source
sharedContextCache
Declaration
protected static PredictionContextCache sharedContextCache
Field Value
| Type |
Description |
| PredictionContextCache |
|
|
Improve this Doc
View Source
T__0
Declaration
public const int T__0 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__1
Declaration
public const int T__1 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__10
Declaration
public const int T__10 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__11
Declaration
public const int T__11 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__12
Declaration
public const int T__12 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__13
Declaration
public const int T__13 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__14
Declaration
public const int T__14 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__15
Declaration
public const int T__15 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__16
Declaration
public const int T__16 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__17
Declaration
public const int T__17 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__18
Declaration
public const int T__18 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__19
Declaration
public const int T__19 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__2
Declaration
public const int T__2 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__20
Declaration
public const int T__20 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__21
Declaration
public const int T__21 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__22
Declaration
public const int T__22 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__23
Declaration
public const int T__23 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__24
Declaration
public const int T__24 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__25
Declaration
public const int T__25 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__26
Declaration
public const int T__26 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__27
Declaration
public const int T__27 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__28
Declaration
public const int T__28 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__29
Declaration
public const int T__29 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__3
Declaration
public const int T__3 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__30
Declaration
public const int T__30 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__31
Declaration
public const int T__31 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__32
Declaration
public const int T__32 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__33
Declaration
public const int T__33 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__34
Declaration
public const int T__34 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__35
Declaration
public const int T__35 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__36
Declaration
public const int T__36 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__37
Declaration
public const int T__37 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__38
Declaration
public const int T__38 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__39
Declaration
public const int T__39 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__4
Declaration
public const int T__4 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__40
Declaration
public const int T__40 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__41
Declaration
public const int T__41 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__42
Declaration
public const int T__42 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__43
Declaration
public const int T__43 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__44
Declaration
public const int T__44 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__45
Declaration
public const int T__45 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__46
Declaration
public const int T__46 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__47
Declaration
public const int T__47 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__48
Declaration
public const int T__48 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__49
Declaration
public const int T__49 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__5
Declaration
public const int T__5 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__50
Declaration
public const int T__50 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__51
Declaration
public const int T__51 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__52
Declaration
public const int T__52 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__53
Declaration
public const int T__53 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__54
Declaration
public const int T__54 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__55
Declaration
public const int T__55 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__56
Declaration
public const int T__56 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__57
Declaration
public const int T__57 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__58
Declaration
public const int T__58 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__59
Declaration
public const int T__59 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__6
Declaration
public const int T__6 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__60
Declaration
public const int T__60 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__61
Declaration
public const int T__61 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__62
Declaration
public const int T__62 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__63
Declaration
public const int T__63 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__64
Declaration
public const int T__64 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__65
Declaration
public const int T__65 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__66
Declaration
public const int T__66 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__67
Declaration
public const int T__67 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__7
Declaration
public const int T__7 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__8
Declaration
public const int T__8 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
T__9
Declaration
public const int T__9 = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
WS
Declaration
public const int WS = null
Field Value
| Type |
Description |
| System.Int32 |
|
Properties
|
Improve this Doc
View Source
GrammarFileName
Declaration
public override string GrammarFileName { get; }
Property Value
| Type |
Description |
| System.String |
|
|
Improve this Doc
View Source
RuleNames
Declaration
public override string[] RuleNames { get; }
Property Value
| Type |
Description |
| System.String[] |
|
|
Improve this Doc
View Source
SerializedAtn
Declaration
public override string SerializedAtn { get; }
Property Value
| Type |
Description |
| System.String |
|
|
Improve this Doc
View Source
Vocabulary
Declaration
public override IVocabulary Vocabulary { get; }
Property Value
| Type |
Description |
| IVocabulary |
|
Methods
|
Improve this Doc
View Source
alloyModule()
Declaration
public alloyParser.AlloyModuleContext alloyModule()
Returns
|
Improve this Doc
View Source
arrowOp()
Declaration
public alloyParser.ArrowOpContext arrowOp()
Returns
|
Improve this Doc
View Source
assertDecl()
Declaration
public alloyParser.AssertDeclContext assertDecl()
Returns
|
Improve this Doc
View Source
binOp()
Declaration
public alloyParser.BinOpContext binOp()
Returns
|
Improve this Doc
View Source
block()
Declaration
public alloyParser.BlockContext block()
Returns
|
Improve this Doc
View Source
blockOrBar()
Declaration
public alloyParser.BlockOrBarContext blockOrBar()
Returns
|
Improve this Doc
View Source
cmdDecl()
Declaration
public alloyParser.CmdDeclContext cmdDecl()
Returns
|
Improve this Doc
View Source
compareOp()
Declaration
public alloyParser.CompareOpContext compareOp()
Returns
|
Improve this Doc
View Source
const_()
Declaration
public alloyParser.Const_Context const_()
Returns
|
Improve this Doc
View Source
decl()
Declaration
public alloyParser.DeclContext decl()
Returns
|
Improve this Doc
View Source
expr()
Declaration
public alloyParser.ExprContext expr()
Returns
|
Improve this Doc
View Source
factDecl()
Declaration
public alloyParser.FactDeclContext factDecl()
Returns
|
Improve this Doc
View Source
funDecl()
Declaration
public alloyParser.FunDeclContext funDecl()
Returns
|
Improve this Doc
View Source
import_()
Declaration
public alloyParser.Import_Context import_()
Returns
|
Improve this Doc
View Source
letDecl()
Declaration
public alloyParser.LetDeclContext letDecl()
Returns
|
Improve this Doc
View Source
moduleDecl()
Declaration
public alloyParser.ModuleDeclContext moduleDecl()
Returns
|
Improve this Doc
View Source
mult()
Declaration
public alloyParser.MultContext mult()
Returns
|
Improve this Doc
View Source
name()
Declaration
public alloyParser.NameContext name()
Returns
|
Improve this Doc
View Source
number()
Declaration
public alloyParser.NumberContext number()
Returns
|
Improve this Doc
View Source
paraDecls()
Declaration
public alloyParser.ParaDeclsContext paraDecls()
Returns
|
Improve this Doc
View Source
paragraph()
Declaration
public alloyParser.ParagraphContext paragraph()
Returns
|
Improve this Doc
View Source
predDecl()
Declaration
public alloyParser.PredDeclContext predDecl()
Returns
|
Improve this Doc
View Source
qualName()
Declaration
public alloyParser.QualNameContext qualName()
Returns
|
Improve this Doc
View Source
quant()
Declaration
public alloyParser.QuantContext quant()
Returns
|
Improve this Doc
View Source
scope()
Declaration
public alloyParser.ScopeContext scope()
Returns
|
Improve this Doc
View Source
Sempred(RuleContext, Int32, Int32)
Declaration
public override bool Sempred(RuleContext _localctx, int ruleIndex, int predIndex)
Parameters
| Type |
Name |
Description |
| RuleContext |
_localctx |
|
| System.Int32 |
ruleIndex |
|
| System.Int32 |
predIndex |
|
Returns
| Type |
Description |
| System.Boolean |
|
|
Improve this Doc
View Source
sigDecl()
Declaration
public alloyParser.SigDeclContext sigDecl()
Returns
|
Improve this Doc
View Source
sigExt()
Declaration
public alloyParser.SigExtContext sigExt()
Returns
|
Improve this Doc
View Source
typescope()
Declaration
public alloyParser.TypescopeContext typescope()
Returns
|
Improve this Doc
View Source
unOp()
Declaration
public alloyParser.UnOpContext unOp()
Returns