goscript 0.0.84 → 0.1.1

package/compiler/runtime-contract_test.go

@@ -0,0 +1,104 @@
+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,
+		RuntimeHelperUint:                     RuntimeHelperCategoryBuiltin,
+		RuntimeHelperByte:                     RuntimeHelperCategoryBuiltin,
+		RuntimeHelperVarRef:                   RuntimeHelperCategoryVarRef,
+		RuntimeHelperUnref:                    RuntimeHelperCategoryVarRef,
+		RuntimeHelperUnsupportedPointerRef:    RuntimeHelperCategoryVarRef,
+		RuntimeHelperAssignStruct:             RuntimeHelperCategoryValue,
+		RuntimeHelperMarkAsStructValue:        RuntimeHelperCategoryValue,
+		RuntimeHelperPointerValue:             RuntimeHelperCategoryValue,
+		RuntimeHelperMakeSlice:                RuntimeHelperCategorySlice,
+		RuntimeHelperAppend:                   RuntimeHelperCategorySlice,
+		RuntimeHelperIndexAddress:             RuntimeHelperCategorySlice,
+		RuntimeHelperMakeMap:                  RuntimeHelperCategoryMap,
+		RuntimeHelperMapGet:                   RuntimeHelperCategoryMap,
+		RuntimeHelperNewError:                 RuntimeHelperCategoryError,
+		RuntimeHelperRegisterStructType:       RuntimeHelperCategoryType,
+		RuntimeHelperTypeAssert:               RuntimeHelperCategoryType,
+		RuntimeHelperTypedNil:                 RuntimeHelperCategoryType,
+		RuntimeHelperInterfaceValue:           RuntimeHelperCategoryType,
+		RuntimeHelperNamedValueInterfaceValue: 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)
+	}
+}
+
+func TestRuntimeContractHelpersAreExportedByBuiltinRuntime(t *testing.T) {
+	missing, err := NewRuntimeContractOwner().MissingRuntimeExports()
+	if err != nil {
+		t.Fatal(err.Error())
+	}
+	if len(missing) != 0 {
+		t.Fatalf("runtime helper exports missing from gs/builtin: %v", missing)
+	}
+}

package/compiler/semantic-model-types.go

@@ -0,0 +1,113 @@
+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
+	functionsByFullName      map[string]*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
+	asyncCompatibleFunction bool
+}
+
+type semanticFunction struct {
+	name            string
+	function        *types.Func
+	signature       *types.Signature
+	receiver        *types.Named
+	receiverPointer bool
+	position        sourcePosition
+	hasBody         bool
+	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
+}