Formal v1.0.3, Aug 18 25

Formal v1.0.3 published on Monday, Aug 18, 2025 by Formal

formal.Tracker

Explore with Pulumi AI

Formal v1.0.3 published on Monday, Aug 18, 2025 by 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 v1.0.3 published on Monday, Aug 18, 2025 by Formal

formalco/pulumi-formal

formal.Tracker

On this page

On this page

Create Tracker Resource

Constructor syntax

Parameters

Constructor example

Tracker Resource Properties

Inputs

Outputs

Look up Existing Tracker Resource

Package Details

On this page

On this page