compiler/io.github.aplcornell.viaduct.passes/Rewrite

Rewrite

class Rewrite(rewrites: Map<PrincipalComponent, LabelConstant>, hostTrustConfiguration: HostTrustConfiguration)

Constructors

Link copied to clipboard
fun Rewrite(rewrites: Map<PrincipalComponent, LabelConstant>, hostTrustConfiguration: HostTrustConfiguration)

Functions

Link copied to clipboard
fun rewrite(labelConstant: LabelConstant): LabelConstant

Given a map that maps element to expressions, rewrite by substitution.

fun rewrite(l: LabelExpression): LabelExpression

fun rewrite(label: Label): Label

Given a label with polymorphic label and a rewrite map, return a label without polymorphic labels