Class metamathLexer

Inheritance

System.Object

metamathLexer

Namespace: GCore.Antlr.Grammers.Metamath

Assembly: Metamath.dll

Syntax

public class metamathLexer : Lexer

Constructors

| Improve this Doc View Source

metamathLexer(ICharStream)

Declaration

public metamathLexer(ICharStream input)

Parameters

Type	Name	Description
ICharStream	input

| Improve this Doc View Source

metamathLexer(ICharStream, TextWriter, TextWriter)

Declaration

public metamathLexer(ICharStream input, TextWriter output, TextWriter errorOutput)

Parameters

Type	Name	Description
ICharStream	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

BLOCK_COMMENT

Declaration

public const int BLOCK_COMMENT = null

Field Value

Type	Description
System.Int32

| Improve this Doc View Source

channelNames

Declaration

public static string[] channelNames

Field Value

Type	Description
System.String[]

| Improve this Doc View Source

COMPRESSEDPROOFBLOCK

Declaration

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

LABEL

Declaration

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

modeNames

Declaration

public static string[] modeNames

Field Value

Type	Description
System.String[]

| Improve this Doc View Source

PRINTABLECHARACTER

Declaration

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

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__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

T__5

Declaration

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

ChannelNames

Declaration

public override string[] ChannelNames { get; }

Property Value

Type	Description
System.String[]

| Improve this Doc View Source

GrammarFileName

Declaration

public override string GrammarFileName { get; }

Property Value

Type	Description
System.String

| Improve this Doc View Source

ModeNames

Declaration

public override string[] ModeNames { 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