symbols

package
v100.2.4 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Sep 4, 2024 License: Apache-2.0 Imports: 2 Imported by: 0

Documentation

Overview

Package symbols is generated by gogll. Do not edit.

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func IsNT

func IsNT(sym string) bool

IsNT returns true iff sym is a non-terminal symbol of the grammar

Types

type NT

type NT int

NT is the type of non-terminals symbols

const (
	NT_ApplyChunk NT = iota
	NT_ApplyChunks
	NT_CleanStart
	NT_Commit
	NT_ConsensusExec
	NT_ConsensusHeight
	NT_ConsensusHeights
	NT_ConsensusRound
	NT_ConsensusRounds
	NT_Extend
	NT_ExtendVote
	NT_FinalizeBlock
	NT_GotVote
	NT_GotVotes
	NT_InitChain
	NT_NonProposer
	NT_OfferSnapshot
	NT_PrepareProposal
	NT_ProcessProposal
	NT_Proposer
	NT_ProposerSimple
	NT_Recovery
	NT_Start
	NT_StateSync
	NT_StateSyncAttempt
	NT_StateSyncAttempts
	NT_SuccessSync
)

func ToNT

func ToNT(sym string) NT

ToNT returns the NT value of sym or panics if sym is not a non-terminal of the grammar

func (NT) IsNonTerminal

func (NT) IsNonTerminal() bool

func (NT) String

func (nt NT) String() string

type Symbol

type Symbol interface {
	IsNonTerminal() bool
	String() string
	// contains filtered or unexported methods
}

type Symbols

type Symbols []Symbol

func (Symbols) Equal

func (ss Symbols) Equal(ss1 Symbols) bool

func (Symbols) String

func (ss Symbols) String() string

func (Symbols) Strings

func (ss Symbols) Strings() []string

type T

type T int

T is the type of terminals symbols

const (
	T_0 T = iota // apply_snapshot_chunk
	T_1          // commit
	T_2          // extend_vote
	T_3          // finalize_block
	T_4          // init_chain
	T_5          // offer_snapshot
	T_6          // prepare_proposal
	T_7          // process_proposal
	T_8          // verify_vote_extension
)

func (T) IsNonTerminal

func (T) IsNonTerminal() bool

func (T) String

func (t T) String() string

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL