arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.check.model/StateAfter

StateAfter

data class StateAfter(returnInfo: Return, data: CheckData)
Content copied to clipboard

Describes the state of the analysis after a check:

  • whether the computation should end and how

  • the new information about variables and branches

Constructors

StateAfter
Link copied to clipboard
fun StateAfter(returnInfo: Return, data: CheckData)
Content copied to clipboard

Functions

withData
Link copied to clipboard
fun withData(oldData: CheckData): StateAfter
Content copied to clipboard
withReturn
Link copied to clipboard
fun withReturn(newReturnInfo: Return): StateAfter
Content copied to clipboard

Properties

data
Link copied to clipboard
val data: CheckData
Content copied to clipboard
returnInfo
Link copied to clipboard
val returnInfo: Return
Content copied to clipboard