CxContractSimple

Description

sealed class Tinman.Core.Cx.Contract.CxContractSimple

Derived from

CxContract abstract

A simple value contract that is represented by a single keyword:

[not-empty]
[not-null]
[pow2]
[pow2+1]

Public / Constants

Not​Empty

[ShutdownSurvive]
public static readonly attribute NotEmpty → (CxContractSimple)

Value must not be empty: [not-empty]

Not​Null

[ShutdownSurvive]
public static readonly attribute NotNull → (CxContractSimple)

Value must not be null: [not-null]

Pow2

[ShutdownSurvive]
public static readonly attribute Pow2 → (CxContractSimple)

Value must be a power of two: [pow2]

Pow2_1

[ShutdownSurvive]
public static readonly attribute Pow2_1 → (CxContractSimple)

Value must be a power of two plus one: [pow2+1]

Public / Constructors

For​Keyword

public static method ForKeyword → (1)

keyword in : string

The type keyword, see Keyword.

returns → CxContractSimple

The CxContractSimple object or null if keyword in is not a value contract keyword.

Returns the CxContractSimple object for the given type keyword.

Public / Attributes

Keyword

[Constant]
public attribute Keyword → (get)

value : string

[not-empty]
The value contract keyword.

Returns the value contract keyword.