arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.collect.model/DeclarationConstraints

DeclarationConstraints

data class DeclarationConstraints(descriptor: DeclarationDescriptor, pre: List<NamedConstraint>, post: List<NamedConstraint>, doNotLookAtArgumentsWhen: List<NamedConstraint>)
Content copied to clipboard

Properties

descriptor
Link copied to clipboard
val descriptor: DeclarationDescriptor
Content copied to clipboard
doNotLookAtArgumentsWhen
Link copied to clipboard
val doNotLookAtArgumentsWhen: List<NamedConstraint>
Content copied to clipboard
post
Link copied to clipboard
val post: List<NamedConstraint>
Content copied to clipboard
pre
Link copied to clipboard
val pre: List<NamedConstraint>
Content copied to clipboard