Class folParser

Inheritance

System.Object

folParser

Namespace: GCore.Antlr.Grammers.Fol

Assembly: Fol.dll

Syntax

public class folParser : Parser

Constructors

| Improve this Doc View Source

folParser(ITokenStream)

Declaration

public folParser(ITokenStream input)

Parameters

Type	Name	Description
ITokenStream	input

| Improve this Doc View Source

folParser(ITokenStream, TextWriter, TextWriter)

Declaration

public folParser(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

Type	Description
ATN

| Improve this Doc View Source

BICOND

Declaration

public const int BICOND = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

CHARACTER

Declaration

public const int CHARACTER = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

CONJ

Declaration

public const int CONJ = 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

DISJ

Declaration

public const int DISJ = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

ENDLINE

Declaration

public const int ENDLINE = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

EQUAL

Declaration

public const int EQUAL = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

EXISTS

Declaration

public const int EXISTS = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

FORALL

Declaration

public const int FORALL = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

IMPL

Declaration

public const int IMPL = 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

RPAREN

Declaration

public const int RPAREN = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

RULE_bin_connective

Declaration

public const int RULE_bin_connective = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

RULE_condition

Declaration

public const int RULE_condition = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

RULE_formula

Declaration

public const int RULE_formula = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

RULE_func_constant

Declaration

public const int RULE_func_constant = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

RULE_ind_constant

Declaration

public const int RULE_ind_constant = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

RULE_pred_constant

Declaration

public const int RULE_pred_constant = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

RULE_separator

Declaration

public const int RULE_separator = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

RULE_term

Declaration

public const int RULE_term = 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

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

T__4

Declaration

public const int T__4 = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

WHITESPACE

Declaration

public const int WHITESPACE = 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

bin_connective()

Declaration

public folParser.Bin_connectiveContext bin_connective()

Returns

Type	Description
folParser.Bin_connectiveContext

| Improve this Doc View Source

condition()

Declaration

public folParser.ConditionContext condition()

Returns

Type	Description
folParser.ConditionContext

| Improve this Doc View Source

formula()

Declaration

public folParser.FormulaContext formula()

Returns

Type	Description
folParser.FormulaContext

| Improve this Doc View Source

func_constant()

Declaration

public folParser.Func_constantContext func_constant()

Returns

Type	Description
folParser.Func_constantContext

| Improve this Doc View Source

ind_constant()

Declaration

public folParser.Ind_constantContext ind_constant()

Returns

Type	Description
folParser.Ind_constantContext

| Improve this Doc View Source

pred_constant()

Declaration

public folParser.Pred_constantContext pred_constant()

Returns

Type	Description
folParser.Pred_constantContext

| 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

separator()

Declaration

public folParser.SeparatorContext separator()

Returns

Type	Description
folParser.SeparatorContext

| Improve this Doc View Source

term()

Declaration

public folParser.TermContext term()

Returns

Type	Description
folParser.TermContext

| Improve this Doc View Source

variable()

Declaration

public folParser.VariableContext variable()

Returns

Type	Description
folParser.VariableContext