analysis/org.polystat.odin.analysis/EOOdinAnalyzer

EOOdinAnalyzer

object EOOdinAnalyzer
class Object
trait Matchable
class Any

Type members

Classlikes

object OdinAnalysisResult
Companion:
class
sealed trait OdinAnalysisResult
Companion:
object

Value members

Concrete methods

def advancedMutualRecursionAnalyzer[F[_] : MonadThrow]: ASTAnalyzer[F]
def analyzeSourceCode[EORepr, F[_]](analyzer: ASTAnalyzer[F])(eoRepr: EORepr)(implicit m: Monad[F], parser: EoParser[EORepr, F, EOProg[EOExprOnly]]): F[OdinAnalysisResult]
def directStateAccessAnalyzer[F[_] : MonadThrow]: ASTAnalyzer[F]