Uses of Record Class
org.ek9lang.compiler.phase5.flow.SymbolicPathConditionWalker.BranchResult

Packages that use SymbolicPathConditionWalker.BranchResult

Package	Description
org.ek9lang.compiler.phase5.flow

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

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

Modifier and Type	Method	Description
SymbolicPathConditionWalker.BranchResult	SymbolicPathConditionWalker.AnalysisResult.ifBranch()	Returns the value of the ifBranch record component.

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

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