inox_ns

Documentation

Index

• Constants
• Variables
• func GetCheckData(fpath string, compilationCtx *core.Context, out io.Writer) map[string]any
• func NewInoxNamespace() *core.Namespace

Constants

const (
	NAMESPACE_NAME = "inox"
)

Variables

var (
	SYMB_PREPARATION_ERRORS_RECORD = symbolic.NewInexactRecord(map[string]symbolic.Serializable{
		"parsing-errors":        symbolic.NewTupleOf(symbolic.NewError(symbolic.SOURCE_POSITION_RECORD)),
		"static-check-errors":   symbolic.NewTupleOf(symbolic.NewError(symbolic.SOURCE_POSITION_RECORD)),
		"symbolic-check-errors": symbolic.NewTupleOf(symbolic.NewError(symbolic.SOURCE_POSITION_RECORD)),
		"permission-error":      symbolic.AsSerializableChecked(symbolic.NewMultivalue(symbolic.ANY_ERR, symbolic.Nil)),
	}, nil)
	SYMB_RUN_ERRORS_RECORD = symbolic.NewInexactRecord(map[string]symbolic.Serializable{
		"parsing-errors":        symbolic.NewTupleOf(symbolic.NewError(symbolic.SOURCE_POSITION_RECORD)),
		"static-check-errors":   symbolic.NewTupleOf(symbolic.NewError(symbolic.SOURCE_POSITION_RECORD)),
		"symbolic-check-errors": symbolic.NewTupleOf(symbolic.NewError(symbolic.SOURCE_POSITION_RECORD)),
		"permission-error":      symbolic.AsSerializableChecked(symbolic.NewMultivalue(symbolic.ANY_ERR, symbolic.Nil)),
		"runtime_error":         symbolic.AsSerializableChecked(symbolic.NewMultivalue(symbolic.ANY_ERR, symbolic.Nil)),
	}, nil)
)

Functions

func GetCheckData

func GetCheckData(fpath string, compilationCtx *core.Context, out io.Writer) map[string]any

GetCheckData returns a map that can be safely marshaled to JSON, the data has the following structure:

{
	parsingErrors: [ ..., {text: <string>, location: <parse.SourcePosition>}, ... ]
	staticCheckErrors: [ ..., {text: <string>, location: <parse.SourcePosition>}, ... ]
	symbolicCheckErrors: [ ..., {text: <string>, location: <parse.SourcePosition>}, ... ]
}

func NewInoxNamespace

func NewInoxNamespace() *core.Namespace