source

package
v0.2.2 Latest Latest
Warning

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

Go to latest
Published: Mar 23, 2025 License: 0BSD, Apache-2.0 Imports: 5 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

This section is empty.

Types

type Abu

type Abu struct {
	preprocessor.DeviceSymbolTable
	// contains filtered or unexported fields
}

func MakeAbu

type AbuParser

type AbuParser struct {
	parser.BaseAbuParserListener

	Abu
	// contains filtered or unexported fields
}

func NewAbuParser

func NewAbuParser(st preprocessor.DeviceSymbolTable, errorCallback func(error)) *AbuParser

func (*AbuParser) EnterCompResDecl

func (p *AbuParser) EnterCompResDecl(ctx *parser.CompResDeclContext)

EnterCompResDecl is called when production compResDecl is entered.

func (*AbuParser) EnterEcarule

func (p *AbuParser) EnterEcarule(ctx *parser.EcaruleContext)

EnterEcarule is called when production ecarule is entered.

func (*AbuParser) EnterResDecl

func (p *AbuParser) EnterResDecl(ctx *parser.ResDeclContext)

EnterResDecl is called when production resDecl is entered.

func (*AbuParser) EnterTask

func (p *AbuParser) EnterTask(ctx *parser.TaskContext)

EnterTask is called when production task is entered.

func (*AbuParser) ExitDevice

func (p *AbuParser) ExitDevice(ctx *parser.DeviceContext)

ExitDevice is called when production device is exited.

func (*AbuParser) ExitNestedResource

func (p *AbuParser) ExitNestedResource(ctx *parser.NestedResourceContext)

ExitNestedResource is called when production nestedResource is exited.

func (*AbuParser) ExitProgram

func (p *AbuParser) ExitProgram(ctx *parser.ProgramContext)

ExitProgram is called when production program is exited.

func (*AbuParser) ExitSimpleResource

func (p *AbuParser) ExitSimpleResource(ctx *parser.SimpleResourceContext)

ExitSimpleResource is called when production simpleResource is exited.

func (*AbuParser) ExitTask

func (p *AbuParser) ExitTask(ctx *parser.TaskContext)

ExitTask is called when production task is exited.

type AbuResource

type AbuResource struct {
	preprocessor.AbuType
	// contains filtered or unexported fields
}

type ErrorHolder

type ErrorHolder struct {
	*antlr.DefaultErrorListener
	Errors []error
}

func (*ErrorHolder) AddError

func (h *ErrorHolder) AddError(err error)

func (*ErrorHolder) SyntaxError

func (h *ErrorHolder) SyntaxError(recognizer antlr.Recognizer, offendingSymbol interface{}, line, column int, msg string, e antlr.RecognitionException)

type Goabu

type Goabu struct {
	Id               string
	Invariant        *string
	Resources        []string
	Rules            []string
	StateInitializer string
	Imports          []string
	Tick             int
}

func MakeGoabu

func MakeGoabu(prog Abu, cfg config.Goabu, stream *antlr.CommonTokenStream) (Goabu, []error)

MakeGoabu uses an Abu source and the CommonTokenStream used for its parsing to create an equivalent Goabu source.

Precondition: r != nil for _, r := range prog.rules

Jump to

Keyboard shortcuts

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