add support for initializers/constructors. refactor test cases, and t…

…ype check and run them
onflow · Sep 22, 2023 · 4575c6e · 4575c6e
1 parent a180af8
commit 4575c6e
Show file tree

Hide file tree

Showing 73 changed files with 1,241 additions and 423 deletions.
diff --git a/runtime/sema/account.gen.go b/runtime/sema/account.gen.go
diff --git a/runtime/sema/account.go b/runtime/sema/account.go
@@ -56,4 +56,31 @@ var FullyEntitledAccountReferenceTypeAnnotation = NewTypeAnnotation(FullyEntitle
 func init() {
 	Account_ContractsTypeAddFunctionType.Arity = &Arity{Min: 2}
 
+	AddToBaseActivation(AccountMappingType)
+	AddToBaseActivation(CapabilitiesMappingType)
+	AddToBaseActivation(StorageType)
+	AddToBaseActivation(SaveValueType)
+	AddToBaseActivation(LoadValueType)
+	AddToBaseActivation(CopyValueType)
+	AddToBaseActivation(BorrowValueType)
+	AddToBaseActivation(ContractsType)
+	AddToBaseActivation(AddContractType)
+	AddToBaseActivation(UpdateContractType)
+	AddToBaseActivation(RemoveContractType)
+	AddToBaseActivation(KeysType)
+	AddToBaseActivation(AddKeyType)
+	AddToBaseActivation(RevokeKeyType)
+	AddToBaseActivation(InboxType)
+	AddToBaseActivation(PublishInboxCapabilityType)
+	AddToBaseActivation(UnpublishInboxCapabilityType)
+	AddToBaseActivation(ClaimInboxCapabilityType)
+	AddToBaseActivation(CapabilitiesType)
+	AddToBaseActivation(StorageCapabilitiesType)
+	AddToBaseActivation(AccountCapabilitiesType)
+	AddToBaseActivation(PublishCapabilityType)
+	AddToBaseActivation(UnpublishCapabilityType)
+	AddToBaseActivation(GetStorageCapabilityControllerType)
+	AddToBaseActivation(IssueStorageCapabilityControllerType)
+	AddToBaseActivation(GetAccountCapabilityControllerType)
+	AddToBaseActivation(IssueAccountCapabilityControllerType)
 }
diff --git a/runtime/sema/account_capability_controller.gen.go b/runtime/sema/account_capability_controller.gen.go
diff --git a/runtime/sema/any_type.go b/runtime/sema/any_type.go
@@ -24,7 +24,7 @@ var AnyType = &SimpleType{
 	Name:          "Any",
 	QualifiedName: "Any",
 	TypeID:        "Any",
-	tag:           AnyTypeTag,
+	TypeTag:       AnyTypeTag,
 	IsResource:    false,
 	// `Any` is never a valid type in user programs
 	Storable:   true,

diff --git a/runtime/sema/anyattachment_types.go b/runtime/sema/anyattachment_types.go
@@ -25,7 +25,7 @@ var AnyResourceAttachmentType = &SimpleType{
 	Name:          AnyResourceAttachmentTypeName,
 	QualifiedName: AnyResourceAttachmentTypeName,
 	TypeID:        AnyResourceAttachmentTypeName,
-	tag:           AnyResourceAttachmentTypeTag,
+	TypeTag:       AnyResourceAttachmentTypeTag,
 	IsResource:    true,
 	// The actual storability of a value is checked at run-time
 	Storable:   true,
@@ -43,7 +43,7 @@ var AnyStructAttachmentType = &SimpleType{
 	Name:          AnyStructAttachmentTypeName,
 	QualifiedName: AnyStructAttachmentTypeName,
 	TypeID:        AnyStructAttachmentTypeName,
-	tag:           AnyStructAttachmentTypeTag,
+	TypeTag:       AnyStructAttachmentTypeTag,
 	IsResource:    false,
 	// The actual storability of a value is checked at run-time
 	Storable:   true,

diff --git a/runtime/sema/anyresource_type.go b/runtime/sema/anyresource_type.go
@@ -23,7 +23,7 @@ var AnyResourceType = &SimpleType{
 	Name:          "AnyResource",
 	QualifiedName: "AnyResource",
 	TypeID:        "AnyResource",
-	tag:           AnyResourceTypeTag,
+	TypeTag:       AnyResourceTypeTag,
 	IsResource:    true,
 	// The actual storability of a value is checked at run-time
 	Storable:   true,

diff --git a/runtime/sema/anystruct_type.go b/runtime/sema/anystruct_type.go
@@ -23,7 +23,7 @@ var AnyStructType = &SimpleType{
 	Name:          "AnyStruct",
 	QualifiedName: "AnyStruct",
 	TypeID:        "AnyStruct",
-	tag:           AnyStructTypeTag,
+	TypeTag:       AnyStructTypeTag,
 	IsResource:    false,
 	// The actual storability of a value is checked at run-time
 	Storable:   true,

diff --git a/runtime/sema/block.gen.go b/runtime/sema/block.gen.go
diff --git a/runtime/sema/bool_type.go b/runtime/sema/bool_type.go
@@ -23,7 +23,7 @@ var BoolType = &SimpleType{
 	Name:          "Bool",
 	QualifiedName: "Bool",
 	TypeID:        "Bool",
-	tag:           BoolTypeTag,
+	TypeTag:       BoolTypeTag,
 	IsResource:    false,
 	Storable:      true,
 	Equatable:     true,

diff --git a/runtime/sema/character.gen.go b/runtime/sema/character.gen.go
diff --git a/runtime/sema/deployedcontract.gen.go b/runtime/sema/deployedcontract.gen.go
diff --git a/runtime/sema/entitlements.gen.go b/runtime/sema/entitlements.gen.go
diff --git a/runtime/sema/entitlements.go b/runtime/sema/entitlements.go
@@ -19,3 +19,9 @@
 package sema
 
 //go:generate go run ./gen entitlements.cdc entitlements.gen.go
+
+func init() {
+	AddToBaseActivation(MutateType)
+	AddToBaseActivation(InsertType)
+	AddToBaseActivation(RemoveType)
+}
diff --git a/runtime/sema/gen/golden_test.go b/runtime/sema/gen/golden_test.go
@@ -0,0 +1,95 @@
+/*
+ * Cadence - The resource-oriented smart contract programming language
+ *
+ * Copyright Dapper Labs, Inc.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *   http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package main
+
+import (
+	"testing"
+
+	"github.com/stretchr/testify/require"
+
+	"github.com/onflow/cadence/runtime/common"
+	"github.com/onflow/cadence/runtime/sema"
+	_ "github.com/onflow/cadence/runtime/sema/gen/testdata/comparable"
+	_ "github.com/onflow/cadence/runtime/sema/gen/testdata/composite_type_pragma"
+	"github.com/onflow/cadence/runtime/sema/gen/testdata/constructor"
+	"github.com/onflow/cadence/runtime/sema/gen/testdata/contract"
+	_ "github.com/onflow/cadence/runtime/sema/gen/testdata/contract"
+	_ "github.com/onflow/cadence/runtime/sema/gen/testdata/docstrings"
+	_ "github.com/onflow/cadence/runtime/sema/gen/testdata/entitlement"
+	_ "github.com/onflow/cadence/runtime/sema/gen/testdata/equatable"
+	_ "github.com/onflow/cadence/runtime/sema/gen/testdata/exportable"
+	_ "github.com/onflow/cadence/runtime/sema/gen/testdata/fields"
+	_ "github.com/onflow/cadence/runtime/sema/gen/testdata/functions"
+	_ "github.com/onflow/cadence/runtime/sema/gen/testdata/importable"
+	_ "github.com/onflow/cadence/runtime/sema/gen/testdata/member_accessible"
+	_ "github.com/onflow/cadence/runtime/sema/gen/testdata/nested"
+	_ "github.com/onflow/cadence/runtime/sema/gen/testdata/simple_resource"
+	_ "github.com/onflow/cadence/runtime/sema/gen/testdata/simple_struct"
+	_ "github.com/onflow/cadence/runtime/sema/gen/testdata/storable"
+	"github.com/onflow/cadence/runtime/stdlib"
+	"github.com/onflow/cadence/runtime/tests/checker"
+)
+
+func TestConstructor(t *testing.T) {
+
+	t.Parallel()
+
+	baseValueActivation := sema.NewVariableActivation(sema.BaseValueActivation)
+	baseValueActivation.DeclareValue(stdlib.StandardLibraryValue{
+		Name: constructor.FooType.Identifier,
+		Type: constructor.FooTypeConstructorType,
+		Kind: common.DeclarationKindFunction,
+	})
+
+	_, err := checker.ParseAndCheckWithOptions(t,
+		`
+          let x = Foo(bar: 1)
+        `,
+		checker.ParseAndCheckOptions{
+			Config: &sema.Config{
+				BaseValueActivation: baseValueActivation,
+			},
+		},
+	)
+	require.NoError(t, err)
+}
+
+func TestContract(t *testing.T) {
+
+	t.Parallel()
+
+	baseValueActivation := sema.NewVariableActivation(sema.BaseValueActivation)
+	baseValueActivation.DeclareValue(stdlib.StandardLibraryValue{
+		Name: contract.TestType.Identifier,
+		Type: contract.TestType,
+		Kind: common.DeclarationKindContract,
+	})
+
+	_, err := checker.ParseAndCheckWithOptions(t,
+		`
+          let x = Test.Foo(bar: 1)
+        `,
+		checker.ParseAndCheckOptions{
+			Config: &sema.Config{
+				BaseValueActivation: baseValueActivation,
+			},
+		},
+	)
+	require.NoError(t, err)
+}