Table of Contents

Class Catalog

Namespace
Antithesis.SDK
Assembly
Antithesis.SDK.dll

The Catalog class is used by the Antithesis.SDK.SourceGenerators package to Catalog all method calls to Assert so that Antithesis is aware of all assertions regardless of whether or not they are encountered during runtime.

You should not call this class directly; it is exclusively used by the Rosyln Analyzers contained in the Antithesis.SDK.SourceGenerators package.

public static class Catalog
Inheritance
Catalog
Inherited Members

Methods

Always(string, LocationInfo)

Used by the Antithesis.SDK.SourceGenerators package to Catalog a corresponding Assert method call so that Antithesis is aware of the assertion regardless of whether or not it is encountered during runtime.

public static void Always(string message, LocationInfo location)

Parameters

message string
A unique string identifier of the assertion. Provides context for assertion passes and failures and is intended to be human-readable. Must be provided as a string literal or as a reference to a publicly accessible const field.
location LocationInfo

Provides metadata related to the source code location of the corresponding Assert.

AlwaysGreaterThan(string, LocationInfo)

Used by the Antithesis.SDK.SourceGenerators package to Catalog a corresponding Assert method call so that Antithesis is aware of the assertion regardless of whether or not it is encountered during runtime.

public static void AlwaysGreaterThan(string message, LocationInfo location)

Parameters

message string
A unique string identifier of the assertion. Provides context for assertion passes and failures and is intended to be human-readable. Must be provided as a string literal or as a reference to a publicly accessible const field.
location LocationInfo

Provides metadata related to the source code location of the corresponding Assert.

AlwaysGreaterThanOrEqualTo(string, LocationInfo)

Used by the Antithesis.SDK.SourceGenerators package to Catalog a corresponding Assert method call so that Antithesis is aware of the assertion regardless of whether or not it is encountered during runtime.

public static void AlwaysGreaterThanOrEqualTo(string message, LocationInfo location)

Parameters

message string
A unique string identifier of the assertion. Provides context for assertion passes and failures and is intended to be human-readable. Must be provided as a string literal or as a reference to a publicly accessible const field.
location LocationInfo

Provides metadata related to the source code location of the corresponding Assert.

AlwaysLessThan(string, LocationInfo)

Used by the Antithesis.SDK.SourceGenerators package to Catalog a corresponding Assert method call so that Antithesis is aware of the assertion regardless of whether or not it is encountered during runtime.

public static void AlwaysLessThan(string message, LocationInfo location)

Parameters

message string
A unique string identifier of the assertion. Provides context for assertion passes and failures and is intended to be human-readable. Must be provided as a string literal or as a reference to a publicly accessible const field.
location LocationInfo

Provides metadata related to the source code location of the corresponding Assert.

AlwaysLessThanOrEqualTo(string, LocationInfo)

Used by the Antithesis.SDK.SourceGenerators package to Catalog a corresponding Assert method call so that Antithesis is aware of the assertion regardless of whether or not it is encountered during runtime.

public static void AlwaysLessThanOrEqualTo(string message, LocationInfo location)

Parameters

message string
A unique string identifier of the assertion. Provides context for assertion passes and failures and is intended to be human-readable. Must be provided as a string literal or as a reference to a publicly accessible const field.
location LocationInfo

Provides metadata related to the source code location of the corresponding Assert.

AlwaysOrUnreachable(string, LocationInfo)

Used by the Antithesis.SDK.SourceGenerators package to Catalog a corresponding Assert method call so that Antithesis is aware of the assertion regardless of whether or not it is encountered during runtime.

public static void AlwaysOrUnreachable(string message, LocationInfo location)

Parameters

message string
A unique string identifier of the assertion. Provides context for assertion passes and failures and is intended to be human-readable. Must be provided as a string literal or as a reference to a publicly accessible const field.
location LocationInfo

Provides metadata related to the source code location of the corresponding Assert.

AlwaysSome(string, LocationInfo)

Used by the Antithesis.SDK.SourceGenerators package to Catalog a corresponding Assert method call so that Antithesis is aware of the assertion regardless of whether or not it is encountered during runtime.

public static void AlwaysSome(string message, LocationInfo location)

Parameters

message string
A unique string identifier of the assertion. Provides context for assertion passes and failures and is intended to be human-readable. Must be provided as a string literal or as a reference to a publicly accessible const field.
location LocationInfo

Provides metadata related to the source code location of the corresponding Assert.

Reachable(string, LocationInfo)

Used by the Antithesis.SDK.SourceGenerators package to Catalog a corresponding Assert method call so that Antithesis is aware of the assertion regardless of whether or not it is encountered during runtime.

public static void Reachable(string message, LocationInfo location)

Parameters

message string
A unique string identifier of the assertion. Provides context for assertion passes and failures and is intended to be human-readable. Must be provided as a string literal or as a reference to a publicly accessible const field.
location LocationInfo

Provides metadata related to the source code location of the corresponding Assert.

Sometimes(string, LocationInfo)

Used by the Antithesis.SDK.SourceGenerators package to Catalog a corresponding Assert method call so that Antithesis is aware of the assertion regardless of whether or not it is encountered during runtime.

public static void Sometimes(string message, LocationInfo location)

Parameters

message string
A unique string identifier of the assertion. Provides context for assertion passes and failures and is intended to be human-readable. Must be provided as a string literal or as a reference to a publicly accessible const field.
location LocationInfo

Provides metadata related to the source code location of the corresponding Assert.

SometimesAll(string, LocationInfo)

Used by the Antithesis.SDK.SourceGenerators package to Catalog a corresponding Assert method call so that Antithesis is aware of the assertion regardless of whether or not it is encountered during runtime.

public static void SometimesAll(string message, LocationInfo location)

Parameters

message string
A unique string identifier of the assertion. Provides context for assertion passes and failures and is intended to be human-readable. Must be provided as a string literal or as a reference to a publicly accessible const field.
location LocationInfo

Provides metadata related to the source code location of the corresponding Assert.

SometimesGreaterThan(string, LocationInfo)

Used by the Antithesis.SDK.SourceGenerators package to Catalog a corresponding Assert method call so that Antithesis is aware of the assertion regardless of whether or not it is encountered during runtime.

public static void SometimesGreaterThan(string message, LocationInfo location)

Parameters

message string
A unique string identifier of the assertion. Provides context for assertion passes and failures and is intended to be human-readable. Must be provided as a string literal or as a reference to a publicly accessible const field.
location LocationInfo

Provides metadata related to the source code location of the corresponding Assert.

SometimesGreaterThanOrEqualTo(string, LocationInfo)

Used by the Antithesis.SDK.SourceGenerators package to Catalog a corresponding Assert method call so that Antithesis is aware of the assertion regardless of whether or not it is encountered during runtime.

public static void SometimesGreaterThanOrEqualTo(string message, LocationInfo location)

Parameters

message string
A unique string identifier of the assertion. Provides context for assertion passes and failures and is intended to be human-readable. Must be provided as a string literal or as a reference to a publicly accessible const field.
location LocationInfo

Provides metadata related to the source code location of the corresponding Assert.

SometimesLessThan(string, LocationInfo)

Used by the Antithesis.SDK.SourceGenerators package to Catalog a corresponding Assert method call so that Antithesis is aware of the assertion regardless of whether or not it is encountered during runtime.

public static void SometimesLessThan(string message, LocationInfo location)

Parameters

message string
A unique string identifier of the assertion. Provides context for assertion passes and failures and is intended to be human-readable. Must be provided as a string literal or as a reference to a publicly accessible const field.
location LocationInfo

Provides metadata related to the source code location of the corresponding Assert.

SometimesLessThanOrEqualTo(string, LocationInfo)

Used by the Antithesis.SDK.SourceGenerators package to Catalog a corresponding Assert method call so that Antithesis is aware of the assertion regardless of whether or not it is encountered during runtime.

public static void SometimesLessThanOrEqualTo(string message, LocationInfo location)

Parameters

message string
A unique string identifier of the assertion. Provides context for assertion passes and failures and is intended to be human-readable. Must be provided as a string literal or as a reference to a publicly accessible const field.
location LocationInfo

Provides metadata related to the source code location of the corresponding Assert.

Unreachable(string, LocationInfo)

Used by the Antithesis.SDK.SourceGenerators package to Catalog a corresponding Assert method call so that Antithesis is aware of the assertion regardless of whether or not it is encountered during runtime.

public static void Unreachable(string message, LocationInfo location)

Parameters

message string
A unique string identifier of the assertion. Provides context for assertion passes and failures and is intended to be human-readable. Must be provided as a string literal or as a reference to a publicly accessible const field.
location LocationInfo

Provides metadata related to the source code location of the corresponding Assert.