Class ltlParser
Inheritance
System.Object
ltlParser
Assembly: Ltl.dll
Syntax
public class ltlParser : Parser
Constructors
|
Improve this Doc
View Source
ltlParser(ITokenStream)
Declaration
public ltlParser(ITokenStream input)
Parameters
| Type |
Name |
Description |
| ITokenStream |
input |
|
|
Improve this Doc
View Source
ltlParser(ITokenStream, TextWriter, TextWriter)
Declaration
public ltlParser(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
ATOMIC
Declaration
public const int ATOMIC = 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
LTL_AND
Declaration
public const int LTL_AND = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
LTL_FINALLY
Declaration
public const int LTL_FINALLY = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
LTL_GLOBALLY
Declaration
public const int LTL_GLOBALLY = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
LTL_NEXT
Declaration
public const int LTL_NEXT = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
LTL_NOT
Declaration
public const int LTL_NOT = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
LTL_OR
Declaration
public const int LTL_OR = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
LTL_RELEASE
Declaration
public const int LTL_RELEASE = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
LTL_RIGHTWARDS_SINGLE_ARROW
Declaration
public const int LTL_RIGHTWARDS_SINGLE_ARROW = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
LTL_UNTIL
Declaration
public const int LTL_UNTIL = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
LTL_WEAK
Declaration
public const int LTL_WEAK = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RULE_proposition
Declaration
public const int RULE_proposition = 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__2
Declaration
public const int T__2 = 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
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
proposition()
Declaration
public ltlParser.PropositionContext proposition()
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 |
|