Uses of Record Class org.ek9lang.compiler.phase5.flow.SymbolicPathConditionWalker.AnalysisResult (compiler-main 0.0.1-SNAPSHOT API)

Packages that use SymbolicPathConditionWalker.AnalysisResult

Package

Description

org.ek9lang.compiler.phase5.flow

Uses of SymbolicPathConditionWalker.AnalysisResult in org.ek9lang.compiler.phase5.flow

Methods in org.ek9lang.compiler.phase5.flow that return SymbolicPathConditionWalker.AnalysisResult

Modifier and Type

Method

Description

SymbolicPathConditionWalker.AnalysisResult

SymbolicPathConditionWalker.analyse(FunctionSymbol function)

Analyse one function: seed params as terms, accumulate the require fact, then test the if branch's fact-set for unsatisfiability.