@formalco/pulumi/resourceHealthCheck.d.ts

A Pulumi package for creating and managing Formal resources.

import * as pulumi from "@pulumi/pulumi";
/**
 * Creating a Health Check in Formal.
 */
export declare class ResourceHealthCheck extends pulumi.CustomResource {
    /**
     * Get an existing ResourceHealthCheck resource's state with the given name, ID, and optional extra
     * properties used to qualify the lookup.
     *
     * @param name The _unique_ name of the resulting resource.
     * @param id The _unique_ provider ID of the resource to lookup.
     * @param state Any extra arguments used during the lookup.
     * @param opts Optional settings to control the behavior of the CustomResource.
     */
    static get(name: string, id: pulumi.Input<pulumi.ID>, state?: ResourceHealthCheckState, opts?: pulumi.CustomResourceOptions): ResourceHealthCheck;
    /**
     * Returns true if the given object is an instance of ResourceHealthCheck.  This is designed to work even
     * when multiple copies of the Pulumi SDK have been loaded into the same process.
     */
    static isInstance(obj: any): obj is ResourceHealthCheck;
    /**
     * Database associated with the health check.
     */
    readonly databaseName: pulumi.Output<string>;
    /**
     * Resource ID linked to the following health check.
     */
    readonly resourceId: pulumi.Output<string>;
    /**
     * If set to true, this Resource Health Check cannot be deleted.
     */
    readonly terminationProtection: pulumi.Output<boolean | undefined>;
    /**
     * Create a ResourceHealthCheck resource with the given unique name, arguments, and options.
     *
     * @param name The _unique_ name of the resource.
     * @param args The arguments to use to populate this resource's properties.
     * @param opts A bag of options that control this resource's behavior.
     */
    constructor(name: string, args: ResourceHealthCheckArgs, opts?: pulumi.CustomResourceOptions);
}
/**
 * Input properties used for looking up and filtering ResourceHealthCheck resources.
 */
export interface ResourceHealthCheckState {
    /**
     * Database associated with the health check.
     */
    databaseName?: pulumi.Input<string>;
    /**
     * Resource ID linked to the following health check.
     */
    resourceId?: pulumi.Input<string>;
    /**
     * If set to true, this Resource Health Check cannot be deleted.
     */
    terminationProtection?: pulumi.Input<boolean>;
}
/**
 * The set of arguments for constructing a ResourceHealthCheck resource.
 */
export interface ResourceHealthCheckArgs {
    /**
     * Database associated with the health check.
     */
    databaseName: pulumi.Input<string>;
    /**
     * Resource ID linked to the following health check.
     */
    resourceId: pulumi.Input<string>;
    /**
     * If set to true, this Resource Health Check cannot be deleted.
     */
    terminationProtection?: pulumi.Input<boolean>;
}