Docs Home Pulumi IaC Pulumi ESC Pulumi Insights Pulumi IDP Pulumi Cloud Packages Tutorials
  1. Packages
  2. Formal Provider
  3. API Docs
  4. Tracker
Formal v1.0.3 published on Monday, Aug 18, 2025 by Formal
formalco/pulumi-formal

formal.Tracker

Explore with Pulumi AI

formal logo
Formal v1.0.3 published on Monday, Aug 18, 2025 by Formal
formalco/pulumi-formal

    Creating a Tracker in Formal.

    Create Tracker Resource

    Resources are created with functions called constructors. To learn more about declaring and configuring resources, see Resources.

    Constructor syntax

    new Tracker(name: string, args: TrackerArgs, opts?: CustomResourceOptions);
    @overload
def Tracker(resource_name: str,
            args: TrackerArgs,
            opts: Optional[ResourceOptions] = None)

@overload
def Tracker(resource_name: str,
            opts: Optional[ResourceOptions] = None,
            path: Optional[str] = None,
            resource_id: Optional[str] = None,
            allow_clear_text_value: Optional[bool] = None,
            termination_protection: Optional[bool] = None)
    func NewTracker(ctx *Context, name string, args TrackerArgs, opts ...ResourceOption) (*Tracker, error)
    public Tracker(string name, TrackerArgs args, CustomResourceOptions? opts = null)
    public Tracker(String name, TrackerArgs args)
public Tracker(String name, TrackerArgs args, CustomResourceOptions options)

    type: formal:Tracker
properties: # The arguments to resource properties.
options: # Bag of options to control resource's behavior.

    Parameters

    name string
    The unique name of the resource.
    args TrackerArgs
    The arguments to resource properties.
    opts CustomResourceOptions
    Bag of options to control resource's behavior.
    resource_name str
    The unique name of the resource.
    args TrackerArgs
    The arguments to resource properties.
    opts ResourceOptions
    Bag of options to control resource's behavior.
    ctx Context
    Context object for the current deployment.
    name string
    The unique name of the resource.
    args TrackerArgs
    The arguments to resource properties.
    opts ResourceOption
    Bag of options to control resource's behavior.
    name string
    The unique name of the resource.
    args TrackerArgs
    The arguments to resource properties.
    opts CustomResourceOptions
    Bag of options to control resource's behavior.
    name String
    The unique name of the resource.
    args TrackerArgs
    The arguments to resource properties.
    options CustomResourceOptions
    Bag of options to control resource's behavior.

    Constructor example

    The following reference example uses placeholder values for all input properties.

    var trackerResource = new Pulumi.Tracker("trackerResource", new()
{
    Path = "string",
    ResourceId = "string",
    AllowClearTextValue = false,
    TerminationProtection = false,
});

    example, err := formal.NewTracker(ctx, "trackerResource", &formal.TrackerArgs{
	Path:                  pulumi.String("string"),
	ResourceId:            pulumi.String("string"),
	AllowClearTextValue:   pulumi.Bool(false),
	TerminationProtection: pulumi.Bool(false),
})

    var trackerResource = new Tracker("trackerResource", TrackerArgs.builder()
    .path("string")
    .resourceId("string")
    .allowClearTextValue(false)
    .terminationProtection(false)
    .build());

    tracker_resource = formal.Tracker("trackerResource",
    path="string",
    resource_id="string",
    allow_clear_text_value=False,
    termination_protection=False)

    const trackerResource = new formal.Tracker("trackerResource", {
    path: "string",
    resourceId: "string",
    allowClearTextValue: false,
    terminationProtection: false,
});

    type: formal:Tracker
properties:
    allowClearTextValue: false
    path: string
    resourceId: string
    terminationProtection: false

    Tracker Resource Properties

    To learn more about resource properties and how to use them, see Inputs and Outputs in the Architecture and Concepts docs.

    Inputs

    In Python, inputs that are objects can be passed either as argument classes or as dictionary literals.

    The Tracker resource accepts the following input properties:

    Path string
    Path associated with this tracker.
    ResourceId string
    Tracker linked to the following resource id.
    AllowClearTextValue bool
    If set to true, this Tracker allow clear text value.
    TerminationProtection bool
    If set to true, this Tracker cannot be deleted.
    Path string
    Path associated with this tracker.
    ResourceId string
    Tracker linked to the following resource id.
    AllowClearTextValue bool
    If set to true, this Tracker allow clear text value.
    TerminationProtection bool
    If set to true, this Tracker cannot be deleted.
    path String
    Path associated with this tracker.
    resourceId String
    Tracker linked to the following resource id.
    allowClearTextValue Boolean
    If set to true, this Tracker allow clear text value.
    terminationProtection Boolean
    If set to true, this Tracker cannot be deleted.
    path string
    Path associated with this tracker.
    resourceId string
    Tracker linked to the following resource id.
    allowClearTextValue boolean
    If set to true, this Tracker allow clear text value.
    terminationProtection boolean
    If set to true, this Tracker cannot be deleted.
    path str
    Path associated with this tracker.
    resource_id str
    Tracker linked to the following resource id.
    allow_clear_text_value bool
    If set to true, this Tracker allow clear text value.
    termination_protection bool
    If set to true, this Tracker cannot be deleted.
    path String
    Path associated with this tracker.
    resourceId String
    Tracker linked to the following resource id.
    allowClearTextValue Boolean
    If set to true, this Tracker allow clear text value.
    terminationProtection Boolean
    If set to true, this Tracker cannot be deleted.

    Outputs

    All input properties are implicitly available as output properties. Additionally, the Tracker resource produces the following output properties:

    CreatedAt string
    When the policy was created.
    Id string
    The provider-assigned unique ID for this managed resource.
    UpdatedAt string
    Last update time.
    CreatedAt string
    When the policy was created.
    Id string
    The provider-assigned unique ID for this managed resource.
    UpdatedAt string
    Last update time.
    createdAt String
    When the policy was created.
    id String
    The provider-assigned unique ID for this managed resource.
    updatedAt String
    Last update time.
    createdAt string
    When the policy was created.
    id string
    The provider-assigned unique ID for this managed resource.
    updatedAt string
    Last update time.
    created_at str
    When the policy was created.
    id str
    The provider-assigned unique ID for this managed resource.
    updated_at str
    Last update time.
    createdAt String
    When the policy was created.
    id String
    The provider-assigned unique ID for this managed resource.
    updatedAt String
    Last update time.

    Look up Existing Tracker Resource

    Get an existing Tracker resource’s state with the given name, ID, and optional extra properties used to qualify the lookup.

    public static get(name: string, id: Input<ID>, state?: TrackerState, opts?: CustomResourceOptions): Tracker
    @staticmethod
def get(resource_name: str,
        id: str,
        opts: Optional[ResourceOptions] = None,
        allow_clear_text_value: Optional[bool] = None,
        created_at: Optional[str] = None,
        path: Optional[str] = None,
        resource_id: Optional[str] = None,
        termination_protection: Optional[bool] = None,
        updated_at: Optional[str] = None) -> Tracker
    func GetTracker(ctx *Context, name string, id IDInput, state *TrackerState, opts ...ResourceOption) (*Tracker, error)
    public static Tracker Get(string name, Input<string> id, TrackerState? state, CustomResourceOptions? opts = null)
    public static Tracker get(String name, Output<String> id, TrackerState state, CustomResourceOptions options)
    resources:  _:    type: formal:Tracker    get:      id: ${id}
    name
    The unique name of the resulting resource.
    id
    The unique provider ID of the resource to lookup.
    state
    Any extra arguments used during the lookup.
    opts
    A bag of options that control this resource's behavior.
    resource_name
    The unique name of the resulting resource.
    id
    The unique provider ID of the resource to lookup.
    name
    The unique name of the resulting resource.
    id
    The unique provider ID of the resource to lookup.
    state
    Any extra arguments used during the lookup.
    opts
    A bag of options that control this resource's behavior.
    name
    The unique name of the resulting resource.
    id
    The unique provider ID of the resource to lookup.
    state
    Any extra arguments used during the lookup.
    opts
    A bag of options that control this resource's behavior.
    name
    The unique name of the resulting resource.
    id
    The unique provider ID of the resource to lookup.
    state
    Any extra arguments used during the lookup.
    opts
    A bag of options that control this resource's behavior.
    The following state arguments are supported:
    AllowClearTextValue bool
    If set to true, this Tracker allow clear text value.
    CreatedAt string
    When the policy was created.
    Path string
    Path associated with this tracker.
    ResourceId string
    Tracker linked to the following resource id.
    TerminationProtection bool
    If set to true, this Tracker cannot be deleted.
    UpdatedAt string
    Last update time.
    AllowClearTextValue bool
    If set to true, this Tracker allow clear text value.
    CreatedAt string
    When the policy was created.
    Path string
    Path associated with this tracker.
    ResourceId string
    Tracker linked to the following resource id.
    TerminationProtection bool
    If set to true, this Tracker cannot be deleted.
    UpdatedAt string
    Last update time.
    allowClearTextValue Boolean
    If set to true, this Tracker allow clear text value.
    createdAt String
    When the policy was created.
    path String
    Path associated with this tracker.
    resourceId String
    Tracker linked to the following resource id.
    terminationProtection Boolean
    If set to true, this Tracker cannot be deleted.
    updatedAt String
    Last update time.
    allowClearTextValue boolean
    If set to true, this Tracker allow clear text value.
    createdAt string
    When the policy was created.
    path string
    Path associated with this tracker.
    resourceId string
    Tracker linked to the following resource id.
    terminationProtection boolean
    If set to true, this Tracker cannot be deleted.
    updatedAt string
    Last update time.
    allow_clear_text_value bool
    If set to true, this Tracker allow clear text value.
    created_at str
    When the policy was created.
    path str
    Path associated with this tracker.
    resource_id str
    Tracker linked to the following resource id.
    termination_protection bool
    If set to true, this Tracker cannot be deleted.
    updated_at str
    Last update time.
    allowClearTextValue Boolean
    If set to true, this Tracker allow clear text value.
    createdAt String
    When the policy was created.
    path String
    Path associated with this tracker.
    resourceId String
    Tracker linked to the following resource id.
    terminationProtection Boolean
    If set to true, this Tracker cannot be deleted.
    updatedAt String
    Last update time.

    Package Details

    Repository
    formal formalco/pulumi-formal
    License
    MPL-2.0
    Notes
    This Pulumi package is based on the formal Terraform Provider.
    formal logo
    Formal v1.0.3 published on Monday, Aug 18, 2025 by Formal
    formalco/pulumi-formal