Features
Core Features
Productivity Features
Extensibility Features
When to Use
Principles at Work
Applications
DevOps
Docs & Support
Community
Build
Stay Tuned
Premium

Metalama (preview)

PostSharp
Metalama
Metalama (preview)

API documentationAdvanced Extensibility API (SDK)Metalama.Framework.EngineInvariantImplies

Open sandbox Open navigation Focus

Metalama Documentation

Getting started

Conceptual documentation

Commented examples

API documentation

Introspection API

Advanced Extensibility API (SDK)

Metalama.Compiler

Metalama.Compiler.Services

Metalama.Framework.Engine

AssertionFailedException

AssertNotNullAsync

AssertSymbolNotNull

AssertSymbolNullNotImplemented

MetalamaPlugInAttribute

Metalama.Framework.Engine.AspectWeavers

Metalama.Framework.Engine.CodeModel

Metalama.Framework.Engine.Collections

Metalama.Framework.Engine.Diagnostics

Metalama.Framework.Engine.Extensibility

Metalama.Framework.Engine.Formatting

Metalama.Framework.Engine.Metrics

Metalama.Framework.Engine.Services

Metalama.Framework.Engine.Utilities

Metalama.Framework.Engine.Utilities.Roslyn

Metalama.Framework.Engine.Utilities.Threading

PostSharp API migration

Method Implies

Implies(bool, bool)

Declaration

public static void Implies(bool premise, bool conclusion)

Parameters

Type	Name	Description
bool	premise
bool	conclusion