goscript 0.0.83 → 0.1.0

package/compiler/runtime-contract.go

@@ -0,0 +1,279 @@
+package compiler
+
+import (
+	"cmp"
+	"slices"
+)
+
+// RuntimeHelperCategory names a runtime helper family owned by the contract.
+type RuntimeHelperCategory string
+
+const (
+	RuntimeHelperCategoryBuiltin RuntimeHelperCategory = "builtin"
+	RuntimeHelperCategoryValue   RuntimeHelperCategory = "value"
+	RuntimeHelperCategoryVarRef  RuntimeHelperCategory = "varref"
+	RuntimeHelperCategorySlice   RuntimeHelperCategory = "slice"
+	RuntimeHelperCategoryMap     RuntimeHelperCategory = "map"
+	RuntimeHelperCategoryError   RuntimeHelperCategory = "error"
+	RuntimeHelperCategoryType    RuntimeHelperCategory = "type"
+	RuntimeHelperCategoryChannel RuntimeHelperCategory = "channel"
+	RuntimeHelperCategoryDefer   RuntimeHelperCategory = "defer"
+	RuntimeHelperCategoryHost    RuntimeHelperCategory = "host"
+)
+
+// RuntimeHelper identifies one compiler-visible helper exported by @goscript/builtin.
+type RuntimeHelper string
+
+const (
+	RuntimeHelperPrintln RuntimeHelper = "builtin.println"
+	RuntimeHelperPrint   RuntimeHelper = "builtin.print"
+	RuntimeHelperInt     RuntimeHelper = "builtin.int"
+	RuntimeHelperByte    RuntimeHelper = "builtin.byte"
+	RuntimeHelperLen     RuntimeHelper = "builtin.len"
+	RuntimeHelperCap     RuntimeHelper = "builtin.cap"
+	RuntimeHelperClear   RuntimeHelper = "builtin.clear"
+	RuntimeHelperPanic   RuntimeHelper = "builtin.panic"
+	RuntimeHelperRecover RuntimeHelper = "builtin.recover"
+	RuntimeHelperMin     RuntimeHelper = "builtin.min"
+	RuntimeHelperMax     RuntimeHelper = "builtin.max"
+
+	RuntimeHelperAssignStruct      RuntimeHelper = "value.assignStruct"
+	RuntimeHelperMarkAsStructValue RuntimeHelper = "value.markAsStructValue"
+	RuntimeHelperPointerValue      RuntimeHelper = "value.pointerValue"
+
+	RuntimeHelperVarRef   RuntimeHelper = "varref.varRef"
+	RuntimeHelperUnref    RuntimeHelper = "varref.unref"
+	RuntimeHelperIsVarRef RuntimeHelper = "varref.isVarRef"
+
+	RuntimeHelperMakeSlice                    RuntimeHelper = "slice.makeSlice"
+	RuntimeHelperGoSlice                      RuntimeHelper = "slice.goSlice"
+	RuntimeHelperArrayToSlice                 RuntimeHelper = "slice.arrayToSlice"
+	RuntimeHelperAppend                       RuntimeHelper = "slice.append"
+	RuntimeHelperCopy                         RuntimeHelper = "slice.copy"
+	RuntimeHelperAsArray                      RuntimeHelper = "slice.asArray"
+	RuntimeHelperStringToRunes                RuntimeHelper = "slice.stringToRunes"
+	RuntimeHelperStringToRune                 RuntimeHelper = "slice.stringToRune"
+	RuntimeHelperRunesToString                RuntimeHelper = "slice.runesToString"
+	RuntimeHelperStringToBytes                RuntimeHelper = "slice.stringToBytes"
+	RuntimeHelperBytesToString                RuntimeHelper = "slice.bytesToString"
+	RuntimeHelperGenericBytesOrStringToString RuntimeHelper = "slice.genericBytesOrStringToString"
+	RuntimeHelperIndexStringOrBytes           RuntimeHelper = "slice.indexStringOrBytes"
+	RuntimeHelperSliceStringOrBytes           RuntimeHelper = "slice.sliceStringOrBytes"
+
+	RuntimeHelperMakeMap        RuntimeHelper = "map.makeMap"
+	RuntimeHelperMapGet         RuntimeHelper = "map.mapGet"
+	RuntimeHelperMapSet         RuntimeHelper = "map.mapSet"
+	RuntimeHelperMapHas         RuntimeHelper = "map.mapHas"
+	RuntimeHelperDeleteMapEntry RuntimeHelper = "map.deleteMapEntry"
+
+	RuntimeHelperNewError           RuntimeHelper = "error.newError"
+	RuntimeHelperToGoError          RuntimeHelper = "error.toGoError"
+	RuntimeHelperWrapPrimitiveError RuntimeHelper = "error.wrapPrimitiveError"
+
+	RuntimeHelperTypeKind              RuntimeHelper = "type.TypeKind"
+	RuntimeHelperRegisterStructType    RuntimeHelper = "type.registerStructType"
+	RuntimeHelperRegisterInterfaceType RuntimeHelper = "type.registerInterfaceType"
+	RuntimeHelperGetTypeByName         RuntimeHelper = "type.getTypeByName"
+	RuntimeHelperTypeAssert            RuntimeHelper = "type.typeAssert"
+	RuntimeHelperTypeAssertTuple       RuntimeHelper = "type.typeAssertTuple"
+	RuntimeHelperMustTypeAssert        RuntimeHelper = "type.mustTypeAssert"
+	RuntimeHelperIs                    RuntimeHelper = "type.is"
+	RuntimeHelperTypeSwitch            RuntimeHelper = "type.typeSwitch"
+	RuntimeHelperTypedNil              RuntimeHelper = "type.typedNil"
+	RuntimeHelperInterfaceValue        RuntimeHelper = "type.interfaceValue"
+	RuntimeHelperFunctionValue         RuntimeHelper = "type.functionValue"
+	RuntimeHelperNamedFunction         RuntimeHelper = "type.namedFunction"
+	RuntimeHelperGenericZero           RuntimeHelper = "type.genericZero"
+	RuntimeHelperCallGenericMethod     RuntimeHelper = "type.callGenericMethod"
+
+	RuntimeHelperMakeChannel     RuntimeHelper = "channel.makeChannel"
+	RuntimeHelperMakeChannelRef  RuntimeHelper = "channel.makeChannelRef"
+	RuntimeHelperChanSend        RuntimeHelper = "channel.chanSend"
+	RuntimeHelperChanRecv        RuntimeHelper = "channel.chanRecv"
+	RuntimeHelperChanRecvWithOk  RuntimeHelper = "channel.chanRecvWithOk"
+	RuntimeHelperSelectStatement RuntimeHelper = "channel.selectStatement"
+
+	RuntimeHelperDisposableStack      RuntimeHelper = "defer.DisposableStack"
+	RuntimeHelperAsyncDisposableStack RuntimeHelper = "defer.AsyncDisposableStack"
+
+	RuntimeHelperGetHostRuntime      RuntimeHelper = "host.getHostRuntime"
+	RuntimeHelperWriteHostStdoutText RuntimeHelper = "host.writeHostStdoutText"
+	RuntimeHelperWriteHostStderrText RuntimeHelper = "host.writeHostStderrText"
+	RuntimeHelperIsMainScript        RuntimeHelper = "host.isMainScript"
+)
+
+// RuntimeImport is a generated TypeScript import owned by the runtime contract.
+type RuntimeImport struct {
+	Alias  string
+	Source string
+}
+
+// RuntimeHelperContract describes one helper exported by the runtime package.
+type RuntimeHelperContract struct {
+	Helper   RuntimeHelper
+	Export   string
+	Category RuntimeHelperCategory
+}
+
+// RuntimeContractOwner owns generated-code helper names and runtime capabilities.
+type RuntimeContractOwner struct {
+	helpers map[RuntimeHelper]RuntimeHelperContract
+}
+
+// NewRuntimeContractOwner creates the runtime contract owner.
+func NewRuntimeContractOwner() *RuntimeContractOwner {
+	owner := &RuntimeContractOwner{
+		helpers: make(map[RuntimeHelper]RuntimeHelperContract),
+	}
+	for _, helper := range runtimeHelperContracts() {
+		owner.helpers[helper.Helper] = helper
+	}
+	return owner
+}
+
+// BuiltinImport returns the runtime import used by generated package modules.
+func (o *RuntimeContractOwner) BuiltinImport() RuntimeImport {
+	return RuntimeImport{
+		Alias:  "$",
+		Source: "@goscript/builtin/index.js",
+	}
+}
+
+// Helpers returns every compiler-visible runtime helper contract.
+func (o *RuntimeContractOwner) Helpers() []RuntimeHelperContract {
+	helpers := make([]RuntimeHelperContract, 0, len(o.helpers))
+	for _, helper := range o.helpers {
+		helpers = append(helpers, helper)
+	}
+	slices.SortFunc(helpers, compareRuntimeHelperContract)
+	return helpers
+}
+
+// HelpersByCategory returns helper contracts in a category.
+func (o *RuntimeContractOwner) HelpersByCategory(category RuntimeHelperCategory) []RuntimeHelperContract {
+	var helpers []RuntimeHelperContract
+	for _, helper := range o.helpers {
+		if helper.Category == category {
+			helpers = append(helpers, helper)
+		}
+	}
+	slices.SortFunc(helpers, compareRuntimeHelperContract)
+	return helpers
+}
+
+// Helper returns one runtime helper contract.
+func (o *RuntimeContractOwner) Helper(helper RuntimeHelper) (RuntimeHelperContract, bool) {
+	contract, ok := o.helpers[helper]
+	return contract, ok
+}
+
+// HelperName returns the exported runtime symbol for a helper.
+func (o *RuntimeContractOwner) HelperName(helper RuntimeHelper) (string, bool) {
+	contract, ok := o.Helper(helper)
+	if !ok {
+		return "", false
+	}
+	return contract.Export, true
+}
+
+// QualifiedHelper returns a generated-code reference to a runtime helper.
+func (o *RuntimeContractOwner) QualifiedHelper(helper RuntimeHelper) string {
+	name, ok := o.HelperName(helper)
+	if !ok {
+		panic("missing runtime helper contract: " + string(helper))
+	}
+	return o.BuiltinImport().Alias + "." + name
+}
+
+func compareRuntimeHelperContract(a RuntimeHelperContract, b RuntimeHelperContract) int {
+	if c := cmp.Compare(a.Category, b.Category); c != 0 {
+		return c
+	}
+	if c := cmp.Compare(a.Export, b.Export); c != 0 {
+		return c
+	}
+	return cmp.Compare(a.Helper, b.Helper)
+}
+
+func runtimeHelperContracts() []RuntimeHelperContract {
+	return []RuntimeHelperContract{
+		runtimeHelper(RuntimeHelperPrintln, "println", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperPrint, "print", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperInt, "int", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperByte, "byte", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperLen, "len", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperCap, "cap", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperClear, "clear", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperPanic, "panic", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperRecover, "recover", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperMin, "min", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperMax, "max", RuntimeHelperCategoryBuiltin),
+		runtimeHelper(RuntimeHelperAssignStruct, "assignStruct", RuntimeHelperCategoryValue),
+		runtimeHelper(RuntimeHelperMarkAsStructValue, "markAsStructValue", RuntimeHelperCategoryValue),
+		runtimeHelper(RuntimeHelperPointerValue, "pointerValue", RuntimeHelperCategoryValue),
+		runtimeHelper(RuntimeHelperVarRef, "varRef", RuntimeHelperCategoryVarRef),
+		runtimeHelper(RuntimeHelperUnref, "unref", RuntimeHelperCategoryVarRef),
+		runtimeHelper(RuntimeHelperIsVarRef, "isVarRef", RuntimeHelperCategoryVarRef),
+		runtimeHelper(RuntimeHelperMakeSlice, "makeSlice", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperGoSlice, "goSlice", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperArrayToSlice, "arrayToSlice", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperAppend, "append", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperCopy, "copy", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperAsArray, "asArray", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperStringToRunes, "stringToRunes", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperStringToRune, "stringToRune", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperRunesToString, "runesToString", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperStringToBytes, "stringToBytes", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperBytesToString, "bytesToString", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperGenericBytesOrStringToString, "genericBytesOrStringToString", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperIndexStringOrBytes, "indexStringOrBytes", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperSliceStringOrBytes, "sliceStringOrBytes", RuntimeHelperCategorySlice),
+		runtimeHelper(RuntimeHelperMakeMap, "makeMap", RuntimeHelperCategoryMap),
+		runtimeHelper(RuntimeHelperMapGet, "mapGet", RuntimeHelperCategoryMap),
+		runtimeHelper(RuntimeHelperMapSet, "mapSet", RuntimeHelperCategoryMap),
+		runtimeHelper(RuntimeHelperMapHas, "mapHas", RuntimeHelperCategoryMap),
+		runtimeHelper(RuntimeHelperDeleteMapEntry, "deleteMapEntry", RuntimeHelperCategoryMap),
+		runtimeHelper(RuntimeHelperNewError, "newError", RuntimeHelperCategoryError),
+		runtimeHelper(RuntimeHelperToGoError, "toGoError", RuntimeHelperCategoryError),
+		runtimeHelper(RuntimeHelperWrapPrimitiveError, "wrapPrimitiveError", RuntimeHelperCategoryError),
+		runtimeHelper(RuntimeHelperTypeKind, "TypeKind", RuntimeHelperCategoryType),
+		runtimeHelper(RuntimeHelperRegisterStructType, "registerStructType", RuntimeHelperCategoryType),
+		runtimeHelper(RuntimeHelperRegisterInterfaceType, "registerInterfaceType", RuntimeHelperCategoryType),
+		runtimeHelper(RuntimeHelperGetTypeByName, "getTypeByName", RuntimeHelperCategoryType),
+		runtimeHelper(RuntimeHelperTypeAssert, "typeAssert", RuntimeHelperCategoryType),
+		runtimeHelper(RuntimeHelperTypeAssertTuple, "typeAssertTuple", RuntimeHelperCategoryType),
+		runtimeHelper(RuntimeHelperMustTypeAssert, "mustTypeAssert", RuntimeHelperCategoryType),
+		runtimeHelper(RuntimeHelperIs, "is", RuntimeHelperCategoryType),
+		runtimeHelper(RuntimeHelperTypeSwitch, "typeSwitch", RuntimeHelperCategoryType),
+		runtimeHelper(RuntimeHelperTypedNil, "typedNil", RuntimeHelperCategoryType),
+		runtimeHelper(RuntimeHelperInterfaceValue, "interfaceValue", RuntimeHelperCategoryType),
+		runtimeHelper(RuntimeHelperFunctionValue, "functionValue", RuntimeHelperCategoryType),
+		runtimeHelper(RuntimeHelperNamedFunction, "namedFunction", RuntimeHelperCategoryType),
+		runtimeHelper(RuntimeHelperGenericZero, "genericZero", RuntimeHelperCategoryType),
+		runtimeHelper(RuntimeHelperCallGenericMethod, "callGenericMethod", RuntimeHelperCategoryType),
+		runtimeHelper(RuntimeHelperMakeChannel, "makeChannel", RuntimeHelperCategoryChannel),
+		runtimeHelper(RuntimeHelperMakeChannelRef, "makeChannelRef", RuntimeHelperCategoryChannel),
+		runtimeHelper(RuntimeHelperChanSend, "chanSend", RuntimeHelperCategoryChannel),
+		runtimeHelper(RuntimeHelperChanRecv, "chanRecv", RuntimeHelperCategoryChannel),
+		runtimeHelper(RuntimeHelperChanRecvWithOk, "chanRecvWithOk", RuntimeHelperCategoryChannel),
+		runtimeHelper(RuntimeHelperSelectStatement, "selectStatement", RuntimeHelperCategoryChannel),
+		runtimeHelper(RuntimeHelperDisposableStack, "DisposableStack", RuntimeHelperCategoryDefer),
+		runtimeHelper(RuntimeHelperAsyncDisposableStack, "AsyncDisposableStack", RuntimeHelperCategoryDefer),
+		runtimeHelper(RuntimeHelperGetHostRuntime, "getHostRuntime", RuntimeHelperCategoryHost),
+		runtimeHelper(RuntimeHelperWriteHostStdoutText, "writeHostStdoutText", RuntimeHelperCategoryHost),
+		runtimeHelper(RuntimeHelperWriteHostStderrText, "writeHostStderrText", RuntimeHelperCategoryHost),
+		runtimeHelper(RuntimeHelperIsMainScript, "isMainScript", RuntimeHelperCategoryHost),
+	}
+}
+
+func runtimeHelper(
+	helper RuntimeHelper,
+	export string,
+	category RuntimeHelperCategory,
+) RuntimeHelperContract {
+	return RuntimeHelperContract{
+		Helper:   helper,
+		Export:   export,
+		Category: category,
+	}
+}

package/compiler/runtime-contract_test.go

@@ -0,0 +1,90 @@
+package compiler
+
+import "testing"
+
+func TestRuntimeContractOwnsBuiltinImportAndHelpers(t *testing.T) {
+	owner := NewRuntimeContractOwner()
+
+	runtimeImport := owner.BuiltinImport()
+	if runtimeImport.Alias != "$" || runtimeImport.Source != "@goscript/builtin/index.js" {
+		t.Fatalf("unexpected builtin import: %#v", runtimeImport)
+	}
+
+	wantHelpers := map[RuntimeHelper]RuntimeHelperCategory{
+		RuntimeHelperPrintln:              RuntimeHelperCategoryBuiltin,
+		RuntimeHelperPrint:                RuntimeHelperCategoryBuiltin,
+		RuntimeHelperInt:                  RuntimeHelperCategoryBuiltin,
+		RuntimeHelperByte:                 RuntimeHelperCategoryBuiltin,
+		RuntimeHelperVarRef:               RuntimeHelperCategoryVarRef,
+		RuntimeHelperUnref:                RuntimeHelperCategoryVarRef,
+		RuntimeHelperAssignStruct:         RuntimeHelperCategoryValue,
+		RuntimeHelperMarkAsStructValue:    RuntimeHelperCategoryValue,
+		RuntimeHelperPointerValue:         RuntimeHelperCategoryValue,
+		RuntimeHelperMakeSlice:            RuntimeHelperCategorySlice,
+		RuntimeHelperAppend:               RuntimeHelperCategorySlice,
+		RuntimeHelperMakeMap:              RuntimeHelperCategoryMap,
+		RuntimeHelperMapGet:               RuntimeHelperCategoryMap,
+		RuntimeHelperNewError:             RuntimeHelperCategoryError,
+		RuntimeHelperRegisterStructType:   RuntimeHelperCategoryType,
+		RuntimeHelperTypeAssert:           RuntimeHelperCategoryType,
+		RuntimeHelperTypedNil:             RuntimeHelperCategoryType,
+		RuntimeHelperInterfaceValue:       RuntimeHelperCategoryType,
+		RuntimeHelperFunctionValue:        RuntimeHelperCategoryType,
+		RuntimeHelperNamedFunction:        RuntimeHelperCategoryType,
+		RuntimeHelperGenericZero:          RuntimeHelperCategoryType,
+		RuntimeHelperCallGenericMethod:    RuntimeHelperCategoryType,
+		RuntimeHelperMakeChannel:          RuntimeHelperCategoryChannel,
+		RuntimeHelperSelectStatement:      RuntimeHelperCategoryChannel,
+		RuntimeHelperDisposableStack:      RuntimeHelperCategoryDefer,
+		RuntimeHelperAsyncDisposableStack: RuntimeHelperCategoryDefer,
+		RuntimeHelperGetHostRuntime:       RuntimeHelperCategoryHost,
+		RuntimeHelperWriteHostStdoutText:  RuntimeHelperCategoryHost,
+		RuntimeHelperWriteHostStderrText:  RuntimeHelperCategoryHost,
+		RuntimeHelperIsMainScript:         RuntimeHelperCategoryHost,
+	}
+	for helper, category := range wantHelpers {
+		contract, ok := owner.Helper(helper)
+		if !ok {
+			t.Fatalf("missing runtime helper %q", helper)
+		}
+		if contract.Category != category {
+			t.Fatalf("helper %q category = %q, want %q", helper, contract.Category, category)
+		}
+		if contract.Export == "" {
+			t.Fatalf("helper %q has empty export name", helper)
+		}
+	}
+}
+
+func TestRuntimeContractCoversPhaseFiveCategories(t *testing.T) {
+	owner := NewRuntimeContractOwner()
+	for _, category := range []RuntimeHelperCategory{
+		RuntimeHelperCategoryBuiltin,
+		RuntimeHelperCategoryValue,
+		RuntimeHelperCategoryVarRef,
+		RuntimeHelperCategorySlice,
+		RuntimeHelperCategoryMap,
+		RuntimeHelperCategoryError,
+		RuntimeHelperCategoryType,
+		RuntimeHelperCategoryChannel,
+		RuntimeHelperCategoryDefer,
+		RuntimeHelperCategoryHost,
+	} {
+		if len(owner.HelpersByCategory(category)) == 0 {
+			t.Fatalf("runtime helper category %q has no helpers", category)
+		}
+	}
+}
+
+func TestCompileServiceSharesRuntimeContractOwner(t *testing.T) {
+	service := NewCompileService()
+	if service.LoweringOwner().runtimeOwner != service.RuntimeContractOwner() {
+		t.Fatalf("lowering owner does not share the compile service runtime contract")
+	}
+	if service.TypeScriptEmitOwner().runtimeOwner != service.RuntimeContractOwner() {
+		t.Fatalf("emitter owner does not share the compile service runtime contract")
+	}
+	if got := service.RuntimeContractOwner().QualifiedHelper(RuntimeHelperPrintln); got != "$.println" {
+		t.Fatalf("qualified println helper = %q, want $.println", got)
+	}
+}

package/compiler/semantic-model-types.go

@@ -0,0 +1,110 @@
+package compiler
+
+import (
+	"go/types"
+
+	"golang.org/x/tools/go/packages"
+)
+
+// SemanticModel is the immutable compiler semantic surface consumed by lowering.
+type SemanticModel struct {
+	packages                 map[string]*semanticPackage
+	addressTaken             map[types.Object]bool
+	needsVarRef              map[types.Object]bool
+	functions                map[*types.Func]*semanticFunction
+	types                    map[*types.Named]*semanticType
+	values                   map[types.Object]*semanticValue
+	generatedImports         map[string]map[string]bool
+	interfaceImplementations []semanticInterfaceImplementation
+}
+
+type semanticPackage struct {
+	pkgPath          string
+	name             string
+	source           *packages.Package
+	declarations     []semanticDeclaration
+	imports          []semanticImport
+	types            []*semanticType
+	values           []*semanticValue
+	functions        []*semanticFunction
+	initOrder        []types.Object
+	generatedImports map[string]map[string]bool
+	typeAssertions   []semanticTypeAssertion
+	nilFacts         []semanticNilFact
+}
+
+type semanticDeclaration struct {
+	kind     string
+	name     string
+	object   types.Object
+	position sourcePosition
+}
+
+type semanticImport struct {
+	path     string
+	name     string
+	file     string
+	position sourcePosition
+}
+
+type semanticType struct {
+	name        string
+	named       *types.Named
+	isInterface bool
+	fields      []semanticField
+	position    sourcePosition
+}
+
+type semanticField struct {
+	name     string
+	typ      types.Type
+	doc      string
+	tag      string
+	embedded bool
+}
+
+type semanticValue struct {
+	name          string
+	object        types.Object
+	typ           types.Type
+	zeroValueKind string
+	position      sourcePosition
+	topLevel      bool
+}
+
+type semanticFunction struct {
+	name            string
+	function        *types.Func
+	signature       *types.Signature
+	receiver        *types.Named
+	receiverPointer bool
+	position        sourcePosition
+	async           bool
+	asyncReasons    []string
+	calls           map[*types.Func]bool
+}
+
+type semanticInterfaceImplementation struct {
+	typ          *types.Named
+	iface        *types.Named
+	pointer      bool
+	asyncMethods map[string]bool
+}
+
+type semanticTypeAssertion struct {
+	position sourcePosition
+	source   types.Type
+	target   types.Type
+}
+
+type semanticNilFact struct {
+	position sourcePosition
+	kind     string
+	typ      types.Type
+}
+
+type sourcePosition struct {
+	file   string
+	line   int
+	column int
+}