arrow-analysis-common/arrow.meta.plugins.analysis.smt.utils/NameProvider

NameProvider

class NameProvider
Content copied to clipboard

Functions

mirroredElement
Link copied to clipboard
fun mirroredElement(assignedName: String): ReferencedElement?
Content copied to clipboard
recordNewName
Link copied to clipboard
fun recordNewName(prefix: String, mirroredElement: ReferencedElement?): String
Content copied to clipboard