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

LoopPlace

enum LoopPlace : Enum<LoopPlace>
Content copied to clipboard

Entries

Link copied to clipboard
AFTER_LOOP()
Content copied to clipboard
Link copied to clipboard
INSIDE_LOOP()
Content copied to clipboard

Properties

Link copied to clipboard
val name: String
Content copied to clipboard
Link copied to clipboard
val ordinal: Int
Content copied to clipboard