fspl/fspl
fspl/fspl
1
0
Fork 0
Code Issues 16 Pull Requests Packages Projects 1 Releases 6 Wiki Activity

Analyzer checks access permissions when using named types

Browse Source
This commit is contained in:
Sasha Koshka 2024-02-15 01:08:21 -05:00
parent 159317965d
commit ed498a3bc0
1 changed files with 12 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
analyzer/type.go
View File

@ -99,10 +99,19 @@ func (this *Tree) analyzeTypeInternal (
Unit: unit, Unit: unit,
Name: ty.Name, Name: ty.Name,
}, acceptIncomplete) }, acceptIncomplete)
if err == nil { if err != nil {
ty.Type = def.Type return nil, err
} }
return ty, err
// check access permissions
if def.Acc == entity.AccessPrivate && def.Unit != this.unit {
return nil, errors.Errorf (
ty.Position, "type %v is private",
ty)
}
ty.Type = def.Type
return ty, nil
// pointer type // pointer type
case *entity.TypePointer: case *entity.TypePointer: