Class RenameContext

What a rename is worked out in: the workspace, composed, and every module of it.

public sealed record RenameContext : IEquatable<RenameContext>

Inherited Members: object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Constructors

What a rename is worked out in: the workspace, composed, and every module of it.

public RenameContext(ISymbolResolver Resolver, ScopeTree ScopeTree, IReadOnlyList<RenameModule> Modules, StaticEnvironment? Environment = null)

Resolver ISymbolResolver: The resolver of the composed workspace, which says what each name means where it is written.
ScopeTree ScopeTree: The scope tree of the composed workspace.
Modules IReadOnlyList<RenameModule>: Every module of the workspace: a name is renamed wherever it refers to the symbol, and nowhere else.
Environment StaticEnvironment: What the environment the code is compiled for decides, when it is stated.

What the environment the code is compiled for decides, when it is stated.

public StaticEnvironment? Environment { get; init; }

Every module of the workspace: a name is renamed wherever it refers to the symbol, and nowhere else.

public IReadOnlyList<RenameModule> Modules { get; init; }

The resolver of the composed workspace, which says what each name means where it is written.

public ISymbolResolver Resolver { get; init; }

The scope tree of the composed workspace.

public ScopeTree ScopeTree { get; init; }