A few base functions for analysing dependencies in FlatCurry programs:
Author: Michael Hanus
Version: November 2020
analyseWithDependencies
:: (FuncDecl -> a) -> ([a] -> a) -> [FuncDecl] -> [((String,String),a)]
|
externalDependent
:: [FuncDecl] -> [((String,String),[(String,String)])]
|
indirectlyDependent
:: [FuncDecl] -> [((String,String),[(String,String)])]
|
callsDirectly
:: FuncDecl -> [(String,String)]
|
dependencyGraphs
:: [FuncDecl] -> [((String,String),[((String,String),[(String,String)])])]
|
localDependencyGraphs
:: [FuncDecl] -> [((String,String),[((String,String),[(String,String)])])]
|
funcsInExpr
:: Expr -> [(String,String)]
|
|
|
|
|
|
|
|