package core:odin/tool-format

Source

Diagnostic :: struct {
	type: string,
	// "error" or "warning"
	pos:  Diagnostic_Pos,
	// zero when there is no position
	msgs: []string,
}

Diagnostic_Pos :: struct {
	file:       string,
	offset:     int,
	// in bytes
	line:       int,
	column:     int,
	end_column: int,
}

Diagnostics :: struct {
	error_count: int,
	errors:      []Diagnostic,
}

Entity :: struct {
	name:   string,
	kind:   Entity_Kind,
	pkg:    string,
	// empty for local entities
	file:   int,
	offset: int,
	type:   int,
	value:  string,
	// concrete types only, `align` is 0 otherwise
	size:   int,
	align:  int,
	fields: []Field,
}

Entity_Kind :: enum u8 {
	Invalid, 
	Constant, 
	Field, 
	Parameter, 
	Variable, 
	Type, 
	Procedure, 
	Group, 
	Builtin, 
	Import, 
	Library, 
	Nil, 
	Label, 
	Asm, 
}

Exported_File :: struct {
	file:        int,
	uses:        []i32,
	// offset, entity, ... sorted by offset
	definitions: []i32,
	// offset, entity, ... sorted by offset
	inactive:    []i32,
}

Field :: struct {
	name:   string,
	offset: int,
}

Ident :: struct {
	offset: i32,
	entity: i32,
}

Overlay :: struct {
	replace: map[string]string `json:"Replace"`,
}

Semantics :: struct {
	version:  int,
	files:    []string,
	// the exported files come first, in the same order as `exported`
	types:    []string,
	entities: []Entity,
	exported: []Exported_File,
}

Semantics_Error :: enum int {
	None, 
	Unsupported_Version, 
}

Unmarshal_Error :: union {
	Semantics_Error, 
	encoding_json.Unmarshal_Error, 
	encoding_cbor.Unmarshal_Error, 
}

SEMANTICS_VERSION :: 1

find_idents :: proc(pairs: []i32, offset: int) -> []Ident {…}

marshal_overlay :: proc(
	overlay:   Overlay, 
	allocator := context.allocator, 
) -> (data: []u8, err: encoding_json.Marshal_Error) {…}

unmarshal_semantics :: proc(
	data:      []u8, 
	semantics: ^Semantics, 
	allocator := context.allocator, 
) -> Unmarshal_Error {…}