Class propcalcParser
Inheritance
System.Object
propcalcParser
Assembly: Propcalc.dll
Syntax
public class propcalcParser : Parser
Constructors
|
Improve this Doc
View Source
propcalcParser(ITokenStream)
Declaration
public propcalcParser(ITokenStream input)
Parameters
Type |
Name |
Description |
ITokenStream |
input |
|
|
Improve this Doc
View Source
propcalcParser(ITokenStream, TextWriter, TextWriter)
Declaration
public propcalcParser(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
AND
Declaration
public const int AND = 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
EQ
Declaration
public const int EQ = null
Field Value
Type |
Description |
System.Int32 |
|
|
Improve this Doc
View Source
EQUIV
Declaration
public const int EQUIV = null
Field Value
Type |
Description |
System.Int32 |
|
|
Improve this Doc
View Source
IMPLIES
Declaration
public const int IMPLIES = null
Field Value
Type |
Description |
System.Int32 |
|
|
Improve this Doc
View Source
LETTER
Declaration
public const int LETTER = null
Field Value
Type |
Description |
System.Int32 |
|
|
Improve this Doc
View Source
LPAREN
Declaration
public const int LPAREN = null
Field Value
Type |
Description |
System.Int32 |
|
|
Improve this Doc
View Source
NOT
Declaration
public const int NOT = null
Field Value
Type |
Description |
System.Int32 |
|
|
Improve this Doc
View Source
OR
Declaration
public const int OR = null
Field Value
Type |
Description |
System.Int32 |
|
|
Improve this Doc
View Source
RPAREN
Declaration
public const int RPAREN = null
Field Value
Type |
Description |
System.Int32 |
|
|
Improve this Doc
View Source
RULE_atom
Declaration
public const int RULE_atom = null
Field Value
Type |
Description |
System.Int32 |
|
|
Improve this Doc
View Source
RULE_atoms
Declaration
public const int RULE_atoms = null
Field Value
Type |
Description |
System.Int32 |
|
|
Improve this Doc
View Source
RULE_equiv
Declaration
public const int RULE_equiv = null
Field Value
Type |
Description |
System.Int32 |
|
|
Improve this Doc
View Source
RULE_expression
Declaration
public const int RULE_expression = null
Field Value
Type |
Description |
System.Int32 |
|
|
Improve this Doc
View Source
RULE_implies
Declaration
public const int RULE_implies = 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
RULE_relExpression
Declaration
public const int RULE_relExpression = null
Field Value
Type |
Description |
System.Int32 |
|
|
Improve this Doc
View Source
RULE_variable
Declaration
public const int RULE_variable = 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
THEREFORE
Declaration
public const int THEREFORE = 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
atom()
Declaration
public propcalcParser.AtomContext atom()
Returns
|
Improve this Doc
View Source
atoms()
Declaration
public propcalcParser.AtomsContext atoms()
Returns
|
Improve this Doc
View Source
equiv()
Declaration
public propcalcParser.EquivContext equiv()
Returns
|
Improve this Doc
View Source
expression()
Declaration
public propcalcParser.ExpressionContext expression()
Returns
|
Improve this Doc
View Source
implies()
Declaration
public propcalcParser.ImpliesContext implies()
Returns
|
Improve this Doc
View Source
proposition()
Declaration
public propcalcParser.PropositionContext proposition()
Returns
|
Improve this Doc
View Source
relExpression()
Declaration
public propcalcParser.RelExpressionContext relExpression()
Returns
|
Improve this Doc
View Source
variable()
Declaration
public propcalcParser.VariableContext variable()
Returns