Skip to content

Commit

Permalink
Merge pull request #3031 from onflow/bastian/fix-tovariablesized
Browse files Browse the repository at this point in the history
Remove Insert-entitled access for toVariableSized
  • Loading branch information
turbolent authored Jan 19, 2024
2 parents 699e3da + 1acccce commit 23a0f59
Show file tree
Hide file tree
Showing 2 changed files with 14 additions and 15 deletions.
6 changes: 3 additions & 3 deletions runtime/sema/check_assignment.go
Original file line number Diff line number Diff line change
Expand Up @@ -324,7 +324,7 @@ func (checker *Checker) visitIdentifierExpressionAssignment(
return variable.Type
}

var mutableEntitledAccess = NewEntitlementSetAccess(
var mutateEntitledAccess = NewEntitlementSetAccess(
[]*EntitlementType{MutateType},
Disjunction,
)
Expand All @@ -344,10 +344,10 @@ func (checker *Checker) visitIndexExpressionAssignment(
indexedRefType, isReference := MaybeReferenceType(indexExprTypes.IndexedType)

if isReference &&
!mutableEntitledAccess.PermitsAccess(indexedRefType.Authorization) &&
!mutateEntitledAccess.PermitsAccess(indexedRefType.Authorization) &&
!insertAndRemoveEntitledAccess.PermitsAccess(indexedRefType.Authorization) {
checker.report(&UnauthorizedReferenceAssignmentError{
RequiredAccess: [2]Access{mutableEntitledAccess, insertAndRemoveEntitledAccess},
RequiredAccess: [2]Access{mutateEntitledAccess, insertAndRemoveEntitledAccess},
FoundAccess: indexedRefType.Authorization,
Range: ast.NewRangeFromPositioned(checker.memoryGauge, indexExpression),
})
Expand Down
23 changes: 11 additions & 12 deletions runtime/sema/type.go
Original file line number Diff line number Diff line change
Expand Up @@ -2131,15 +2131,15 @@ Returns a new variable-sized array with the copy of the contents of the given ar
Available if the array is constant sized and the element type is not resource-kinded.
`

var insertableEntitledAccess = NewEntitlementSetAccess(
var insertMutateEntitledAccess = NewEntitlementSetAccess(
[]*EntitlementType{
InsertType,
MutateType,
},
Disjunction,
)

var removableEntitledAccess = NewEntitlementSetAccess(
var removeMutateEntitledAccess = NewEntitlementSetAccess(
[]*EntitlementType{
RemoveType,
MutateType,
Expand Down Expand Up @@ -2341,7 +2341,7 @@ func getArrayMembers(arrayType ArrayType) map[string]MemberResolver {
return NewFunctionMember(
memoryGauge,
arrayType,
insertableEntitledAccess,
insertMutateEntitledAccess,
identifier,
ArrayAppendFunctionType(elementType),
arrayTypeAppendFunctionDocString,
Expand All @@ -2368,7 +2368,7 @@ func getArrayMembers(arrayType ArrayType) map[string]MemberResolver {
return NewFunctionMember(
memoryGauge,
arrayType,
insertableEntitledAccess,
insertMutateEntitledAccess,
identifier,
ArrayAppendAllFunctionType(arrayType),
arrayTypeAppendAllFunctionDocString,
Expand Down Expand Up @@ -2439,7 +2439,7 @@ func getArrayMembers(arrayType ArrayType) map[string]MemberResolver {
return NewFunctionMember(
memoryGauge,
arrayType,
insertableEntitledAccess,
insertMutateEntitledAccess,
identifier,
ArrayInsertFunctionType(elementType),
arrayTypeInsertFunctionDocString,
Expand All @@ -2456,7 +2456,7 @@ func getArrayMembers(arrayType ArrayType) map[string]MemberResolver {
return NewFunctionMember(
memoryGauge,
arrayType,
removableEntitledAccess,
removeMutateEntitledAccess,
identifier,
ArrayRemoveFunctionType(elementType),
arrayTypeRemoveFunctionDocString,
Expand All @@ -2473,7 +2473,7 @@ func getArrayMembers(arrayType ArrayType) map[string]MemberResolver {
return NewFunctionMember(
memoryGauge,
arrayType,
removableEntitledAccess,
removeMutateEntitledAccess,
identifier,
ArrayRemoveFirstFunctionType(elementType),
arrayTypeRemoveFirstFunctionDocString,
Expand All @@ -2490,7 +2490,7 @@ func getArrayMembers(arrayType ArrayType) map[string]MemberResolver {
return NewFunctionMember(
memoryGauge,
arrayType,
removableEntitledAccess,
removeMutateEntitledAccess,
identifier,
ArrayRemoveLastFunctionType(elementType),
arrayTypeRemoveLastFunctionDocString,
Expand All @@ -2516,10 +2516,9 @@ func getArrayMembers(arrayType ArrayType) map[string]MemberResolver {
)
}

return NewFunctionMember(
return NewPublicFunctionMember(
memoryGauge,
arrayType,
insertableEntitledAccess,
identifier,
ArrayToVariableSizedFunctionType(elementType),
arrayTypeToVariableSizedFunctionDocString,
Expand Down Expand Up @@ -6089,7 +6088,7 @@ func (t *DictionaryType) initializeMemberResolvers() {
return NewFunctionMember(
memoryGauge,
t,
insertableEntitledAccess,
insertMutateEntitledAccess,
identifier,
DictionaryInsertFunctionType(t),
dictionaryTypeInsertFunctionDocString,
Expand All @@ -6102,7 +6101,7 @@ func (t *DictionaryType) initializeMemberResolvers() {
return NewFunctionMember(
memoryGauge,
t,
removableEntitledAccess,
removeMutateEntitledAccess,
identifier,
DictionaryRemoveFunctionType(t),
dictionaryTypeRemoveFunctionDocString,
Expand Down

0 comments on commit 23a0f59

Please sign in to comment.