koreparser

Documentation

Index

• Constants
• func UnescapeKLabel(s []byte) []byte
• func UnescapeKString(s []byte) []byte
• type InjectedKLabel
  • func (k InjectedKLabel) PrettyTreePrint(indent int) string
• type K
  • func Parse(kast []byte) K
• type KApply
  • func (k KApply) PrettyTreePrint(indent int) string
• type KSequence
  • func (k KSequence) PrettyTreePrint(indent int) string
• type KToken
  • func (k KToken) PrettyTreePrint(indent int) string
• type KVariable
  • func (k KVariable) PrettyTreePrint(indent int) string

Constants

const DOTK = 57347

const DOTKLIST = 57348

const KLABEL = 57352

const KLABELLABEL = 57350

const KSEQ = 57346

const KVARIABLE = 57351

const STRING = 57353

const TOKENLABEL = 57349

Functions

func UnescapeKLabel

func UnescapeKLabel(s []byte) []byte

UnescapeKLabel ... removes starting and ending back-quotes, unescapes back-quotes inside

func UnescapeKString

func UnescapeKString(s []byte) []byte

UnescapeKString ... removes starting and ending double-quotes, unescapes double-quotes inside

Types

type InjectedKLabel

type InjectedKLabel struct {
	Label string
}

InjectedKLabel ... raw InjectedKLabel, as parsed from KAST

func (InjectedKLabel) PrettyTreePrint

func (k InjectedKLabel) PrettyTreePrint(indent int) string

PrettyTreePrint ... A tree representation of a parsed K object

type K

type K interface {
	PrettyTreePrint(indent int) string
}

K ... Defines a parsed K entity, this is either a KItem, or a KSequence of KItems

func Parse

func Parse(kast []byte) K

type KApply

type KApply struct {
	Label string
	List  []K
}

KApply ... raw KApply object, as parsed from KAST

func (KApply) PrettyTreePrint

func (k KApply) PrettyTreePrint(indent int) string

PrettyTreePrint ... A tree representation of a parsed K object

type KSequence

type KSequence []K

KSequence ... a sequence of K items

func (KSequence) PrettyTreePrint

func (k KSequence) PrettyTreePrint(indent int) string

PrettyTreePrint ... A tree representation of a parsed K object

type KToken

type KToken struct {
	Value string
	Sort  string
}

KToken ... raw KToken, as parsed from KAST

func (KToken) PrettyTreePrint

func (k KToken) PrettyTreePrint(indent int) string

PrettyTreePrint ... A tree representation of a parsed K object

type KVariable

type KVariable struct {
	Name string
}

KVariable ... raw KVariable, as parsed from KAST

func (KVariable) PrettyTreePrint

func (k KVariable) PrettyTreePrint(indent int) string

PrettyTreePrint ... A tree representation of a parsed K object