NameDecorator Class

Definition

Provides simple name decoration (or name mangling) by prefixing names with a label and number.

public class NameDecorator
type NameDecorator = class
Public Class NameDecorator
Inheritance
NameDecorator

Constructors

NameDecorator(String)

Creates a new name decorator using the label.

Methods

Decorate(QsQualifiedName, Int32)

Decorates the name of the qualified name with the label of this name decorator and the given number.

Decorate(String, Int32)

Decorates the name with the label of this name decorator and the given number.

IsAutoGeneratedName(QsQualifiedName)
OriginalNameFromMonomorphized(QsQualifiedName)
Undecorate(String)

Reverses decoration previously done to the name using the same label as this name decorator.

Applies to