github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-09 00:56:32 +03:00
Code Issues Projects Releases Wiki Activity

Looking up a declaration returns its position

Browse Source
This commit is contained in:
joshvera 2018-09-20 12:09:28 -04:00
parent f7de8f8345
commit fc5a1b61cc
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Data/Abstract/ScopeGraph.hs
View File

@ -110,6 +110,11 @@ reference ref declaration g@ScopeGraph{..} = fromMaybe g $ do
getFirst (foldMap (First . ap (go currentAddress currentScope) ((path .) . EPath edge)) scopes)
in traverseEdges Import <|> traverseEdges Lexical
lookupDeclaration :: Declaration -> Seq (Declaration, (Span, Maybe address)) -> Maybe ((Declaration, (Span, Maybe address)), Position)
lookupDeclaration declaration seq = do
index <- Seq.findIndexR ((declaration ==) . fst) seq
(, Position index) <$> Seq.lookup index seq
-- | Insert associate the given address to a declaration in the scope graph.
insertDeclarationScope :: Ord address => Declaration -> address -> ScopeGraph address -> ScopeGraph address
insertDeclarationScope decl address g@ScopeGraph{..} = fromMaybe g $ do
@ -147,7 +152,7 @@ scopeOfDeclaration declaration g@ScopeGraph{..} = go (Map.keys graph)
where
go (s : scopes') = fromMaybe (go scopes') $ do
ddataMap <- ddataOfScope s g
_ <- Map.lookup declaration ddataMap
_ <- lookupDeclaration declaration ddataMap
pure (Just s)
go [] = Nothing