github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Code Issues Projects Releases Wiki Activity

Assign PointerDeclarations and pointer types

Browse Source
This commit is contained in:
Rick Winfrey 2017-09-19 16:57:04 -07:00
parent f8818deec7
commit cdb4525a2a
1 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/Language/Go/Syntax.hs
View File

@ -49,6 +49,7 @@ type Syntax =
, Type.BiDirectionalChannel
, Type.Interface
, Type.Map
, Type.Pointer
, Type.ReceiveChannel
, Type.SendChannel
, Type.Slice
@ -82,6 +83,7 @@ expression = choice
, methodSpec
, packageClause
, parameterDeclaration
, pointerType
, rawStringLiteral
, sliceType
, structType
@ -114,8 +116,7 @@ typedIdentifier :: Assignment
typedIdentifier = mkTypedIdentifier <$> symbol Identifier <*> source <*> types <*> source
where
mkTypedIdentifier loc' identifier' loc'' identifier'' = makeTerm loc' (Type.Annotation (makeTerm loc' (Syntax.Identifier identifier')) (makeTerm loc'' (Syntax.Identifier identifier'')))
types = symbol PointerType
<|> symbol ParenthesizedType
types = symbol ParenthesizedType
<|> symbol SliceType
identifier :: Assignment
@ -144,7 +145,6 @@ typeLiteral =
mk InterfaceType
<|> mk TypeIdentifier
<|> mk ParenthesizedType
<|> mk PointerType
<|> mk SliceType
<|> qualifiedType
<|> arrayType
@ -177,6 +177,9 @@ interfaceType = handleError $ makeTerm <$> symbol InterfaceType <*> children (Ty
mapType :: Assignment
mapType = handleError $ makeTerm <$> symbol MapType <*> children (Type.Map <$> expression <*> expression)
pointerType :: Assignment
pointerType = handleError $ makeTerm <$> symbol PointerType <*> children (Type.Pointer <$> expression)
fieldDeclaration :: Assignment
fieldDeclaration = mkFieldDeclarationWithTag <$> symbol FieldDeclaration <*> children ((,,) <$> many identifier <*> typeLiteral <*> optional expression)
where
@ -206,11 +209,15 @@ arrayTypeDeclaration = makeTerm <$> symbol TypeSpec <*> children (Type.Annotatio
sliceTypeDeclaration :: Assignment
sliceTypeDeclaration = makeTerm <$> symbol TypeSpec <*> children (Type.Annotation <$> typeLiteral <*> sliceType)
pointerTypeDeclaration :: Assignment
pointerTypeDeclaration = makeTerm <$> symbol TypeSpec <*> children (Type.Annotation <$> typeLiteral <*> pointerType)
typeDeclaration :: Assignment
typeDeclaration = handleError $ makeTerm <$> symbol TypeDeclaration <*> children (many ( arrayTypeDeclaration
<|> channelTypeDeclaration
<|> interfaceTypeDeclaration
<|> qualifiedTypeDeclaration
<|> pointerTypeDeclaration
<|> sliceTypeDeclaration
<|> structTypeDeclaration
<|> mapTypeDeclaration ))