analysis/org.polystat.odin.analysis.unjustifiedassumptions/Analyzer

Analyzer

object Analyzer
class Object
trait Matchable
class Any

Value members

Concrete methods

def analyzeObjectTree[F[_]](objs: Map[EONamedBnd, ObjectTree[(AnalysisInfo, AnalysisInfo)]])(implicit F: Sync[F]): EitherT[F, NonEmptyList[String], List[String]]
def checkMethods[F[_]](infoBefore: AnalysisInfo, infoAfter: AnalysisInfo)(implicit F: Sync[F]): EitherT[F, NonEmptyList[String], List[String]]
def extractMethodLogic(selfArgName: String, tag: String, method: MethodInfoForAnalysis, name: String, availableMethods: Set[EONamedBnd]): EitherNel[String, LogicInfo]
def getMethodsInfo(tag: String, methods: Map[EONamedBnd, MethodInfoForAnalysis]): EitherNel[String, Map[EONamedBnd, LogicInfo]]