Table of Contents

Class RenameRefusal

Namespace
RDCore.SDK.Semantics.Refactoring
Assembly
RDCore.SDK.dll

Why a name is not renamed, and what about.

public sealed record RenameRefusal : IEquatable<RenameRefusal>
Inheritance
RenameRefusal
Implements
Inherited Members

Constructors

RenameRefusal(RenameRefusalKind, string, string?, Uri?, SourcePosition)

Why a name is not renamed, and what about.

public RenameRefusal(RenameRefusalKind Kind, string Name, string? Other = null, Uri? Module = null, SourcePosition Position = default)

Parameters

Kind RenameRefusalKind

Why.

Name string

The name the refusal is about: the one renamed, or the new one.

Other string

What else the refusal names: the symbol the new name already means, the class that implements the interface.

Module Uri

The module the refusal points to, when it points to one.

Position SourcePosition

Where in Module.

Properties

Kind

Why.

public RenameRefusalKind Kind { get; init; }

Property Value

RenameRefusalKind

Module

The module the refusal points to, when it points to one.

public Uri? Module { get; init; }

Property Value

Uri

Name

The name the refusal is about: the one renamed, or the new one.

public string Name { get; init; }

Property Value

string

Other

What else the refusal names: the symbol the new name already means, the class that implements the interface.

public string? Other { get; init; }

Property Value

string

Position

Where in Module.

public SourcePosition Position { get; init; }

Property Value

SourcePosition

Methods

ToMessage(Func<Uri, SourcePosition, string>?, CultureInfo?)

What the refusal says, in the language of the reader.

public string ToMessage(Func<Uri, SourcePosition, string>? locate = null, CultureInfo? culture = null)

Parameters

locate Func<Uri, SourcePosition, string>

How a position is named to the reader: a client knows how it numbers its lines, which need not be the module's - a program of the platform's BASIC numbers its own. By default, the name of the module and the line and the column, from 1.

culture CultureInfo

The language of the reader; the current UI culture by default.

Returns

string