enum_TargetType := [ "ACCOUNT" ]

valid {
    input.Body.HomeRegion == STRING
    input.Body.Target.Type == enum_TargetType[_]
    input.Body.Target.Id == STRING
    input.Body.DryRun == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.ControlId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_TargetType := [ "ACCOUNT" ]

valid {
    input.Body.ControlId == STRING
    input.Body.HomeRegion == STRING
    input.Body.Target.Type == enum_TargetType[_]
    input.Body.Target.Id == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}