clerk: journal/semantic/context.go (5491069)

clerk/journal/semantic/context.go (view raw)

Oleksandr Smirnov journal: add semantic model, 1 month ago

package semantic

import (
	"olexsmir.xyz/clerk/journal"
	"olexsmir.xyz/clerk/journal/ast"
)

// Context holds workspace-level semantic data built from parsed journal files.
type Context struct {
	// Files in dependency order (includes before includers).
	Files []*journal.ParsedFile

	Accounts    map[string]*AccountInfo
	Commodities map[string]*CommodityInfo
}

type AccountInfo struct {
	// len == 0 =  account is used but never declared (undeclared)
	// len  > 1 = account is declared more than once (duplicated)
	// len  > 0 = account appears in a posting
	Directives []*ast.AccountDirective
	Usages     []AccountUsage
}

// AccountUsage is a single posting that references an account.
type AccountUsage struct {
	FileIndex int
	Posting   *ast.Posting
}

// CommodityInfo tracks all declarations and usages for one commodity.
type CommodityInfo struct {
	Directives []*ast.CommodityDirective
	Usages     []CommodityUsage
}

// CommodityUsage is a single amount that references a commodity.
type CommodityUsage struct {
	FileIndex int
	Amount    *ast.Amount
}

1	package semantic
2
3	import (
4	"olexsmir.xyz/clerk/journal"
5	"olexsmir.xyz/clerk/journal/ast"
6	)
7
8	// Context holds workspace-level semantic data built from parsed journal files.
9	type Context struct {
10	// Files in dependency order (includes before includers).
11	Files []*journal.ParsedFile
12
13	Accounts map[string]*AccountInfo
14	Commodities map[string]*CommodityInfo
15	}
16
17	type AccountInfo struct {
18	// len == 0 = account is used but never declared (undeclared)
19	// len > 1 = account is declared more than once (duplicated)
20	// len > 0 = account appears in a posting
21	Directives []*ast.AccountDirective
22	Usages []AccountUsage
23	}
24
25	// AccountUsage is a single posting that references an account.
26	type AccountUsage struct {
27	FileIndex int
28	Posting *ast.Posting
29	}
30
31	// CommodityInfo tracks all declarations and usages for one commodity.
32	type CommodityInfo struct {
33	Directives []*ast.CommodityDirective
34	Usages []CommodityUsage
35	}
36
37	// CommodityUsage is a single amount that references a commodity.
38	type CommodityUsage struct {
39	FileIndex int
40	Amount *ast.Amount
41	}