AutomatedReasoningPolicyUpdateTypeAnnotation

An annotation for modifying an existing custom type in an Automated Reasoning policy.

Types

Link copied to clipboard
class Builder
Link copied to clipboard
object Companion

Properties

Link copied to clipboard

The new description for the custom type, replacing the previous description.

Link copied to clipboard

The current name of the custom type to update.

Link copied to clipboard

The new name for the custom type, if you want to rename it. If not provided, the name remains unchanged.

Link copied to clipboard

The updated list of values for the custom type, which can include additions, modifications, or removals.

Functions

Link copied to clipboard
open operator override fun equals(other: Any?): Boolean
Link copied to clipboard
open override fun hashCode(): Int
Link copied to clipboard
open override fun toString(): String