github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-05 14:11:33 +03:00
Code Issues Projects Releases Wiki Activity

Couple of extra helper utils

Browse Source
This commit is contained in:
Timothy Clem 2018-02-12 14:28:56 -08:00
parent 244b167992
commit 32c2e92660
1 changed files with 17 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/Semantic/Util.hs
View File

@ -21,8 +21,23 @@ import Semantic
import Semantic.IO as IO import Semantic.IO as IO
import Semantic.Task import Semantic.Task
import Data.AST
import Data.Union
import Data.Abstract.Value
import Data.Abstract.Address
import qualified Language.Python.Assignment as Python
type PythonValue = Value Precise (Term (Union Python.Syntax) (Record Location))
file :: MonadIO m => FilePath -> m Blob file :: MonadIO m => FilePath -> m Blob
file path = IO.readFile path (languageForFilePath path) >>= pure . fromJust file path = fromJust <$> IO.readFile path (languageForFilePath path)
files :: MonadIO m => [FilePath] -> m [Blob]
files = traverse file
parsePythonFiles :: [FilePath] -> IO [Python.Term]
parsePythonFiles paths = files paths
>>= runTask . traverse (parse pythonParser)
diffWithParser :: (HasField fields Data.Span.Span, diffWithParser :: (HasField fields Data.Span.Span,
HasField fields Range, HasField fields Range,
@ -49,4 +64,4 @@ diffBlobWithParser :: (HasField fields Data.Span.Span,
-> Task (Term syntax (Record (Maybe Declaration : fields))) -> Task (Term syntax (Record (Maybe Declaration : fields)))
diffBlobWithParser parser = run (\ blob -> parse parser blob >>= decorate (declarationAlgebra blob)) diffBlobWithParser parser = run (\ blob -> parse parser blob >>= decorate (declarationAlgebra blob))
where where
run parse sourceBlob = parse sourceBlob run parse = parse