-
Notifications
You must be signed in to change notification settings - Fork 140
/
convertTypes_test.go
72 lines (61 loc) · 1.85 KB
/
convertTypes_test.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
/*
* Cadence - The resource-oriented smart contract programming language
*
* Copyright 2019-2020 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 runtime
import (
"testing"
"github.com/stretchr/testify/assert"
"github.com/onflow/cadence"
"github.com/onflow/cadence/runtime/ast"
"github.com/onflow/cadence/runtime/common"
"github.com/onflow/cadence/runtime/sema"
"github.com/onflow/cadence/runtime/tests/utils"
)
func TestExportRecursiveType(t *testing.T) {
t.Parallel()
ty := &sema.CompositeType{
Location: utils.TestLocation,
Identifier: "Foo",
Kind: common.CompositeKindResource,
Members: sema.NewStringMemberOrderedMap(),
Fields: []string{"foo"},
}
ty.Members.Set("foo", &sema.Member{
ContainerType: ty,
Access: ast.AccessNotSpecified,
Identifier: ast.Identifier{Identifier: "foo"},
// NOTE: recursive type
TypeAnnotation: sema.NewTypeAnnotation(ty),
DeclarationKind: common.DeclarationKindField,
VariableKind: ast.VariableKindVariable,
})
expected := &cadence.ResourceType{
Location: utils.TestLocation,
QualifiedIdentifier: "Foo",
Fields: []cadence.Field{
{
Identifier: "foo",
},
},
}
// NOTE: recursion should be kept
expected.Fields[0].Type = expected
assert.Equal(t,
expected,
ExportType(ty, map[sema.TypeID]cadence.Type{}),
)
}