Uses of Class
org.ek9lang.compiler.phase5.flow.PathCondition

Packages that use PathCondition

Package	Description
org.ek9lang.compiler.phase5.flow

Uses of PathCondition in org.ek9lang.compiler.phase5.flow

Methods in org.ek9lang.compiler.phase5.flow that return PathCondition

Modifier and Type	Method	Description
PathCondition	SymbolicPathConditionWalker.AnalysisResult.baseCondition()	Returns the value of the baseCondition record component.
PathCondition	PathCondition.snapshot()	An independent copy — used to branch a path condition without aliasing the parent's fact list.

Constructors in org.ek9lang.compiler.phase5.flow with parameters of type PathCondition

Modifier	Constructor	Description
	AnalysisResult(PathCondition baseCondition, SymbolicPathConditionWalker.BranchResult ifBranch)	Creates an instance of a AnalysisResult record class.