Class RenameModule

A module of the workspace, as a rename reads it: its syntax tree, and the text the tree was parsed from.

public sealed record RenameModule : IEquatable<RenameModule>

Inherited Members: object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Constructors

A module of the workspace, as a rename reads it: its syntax tree, and the text the tree was parsed from.

public RenameModule(Uri Module, ModuleNode Syntax, string Source)

Module Uri: The address of the module (workspace#Module), as the scope tree has it.
Syntax ModuleNode: The syntax tree of the module.
Source string: The text of the module, whose lines the positions of Syntax are positions of.

The address of the module (workspace#Module), as the scope tree has it.

public Uri Module { get; init; }

The text of the module, whose lines the positions of Syntax are positions of.

public string Source { get; init; }

The syntax tree of the module.

public ModuleNode Syntax { get; init; }