enum_ConnectionType := [ "CONNECT_SSH", "CONNECT_SSM" ]

valid {
    input.Body.name == STRING
    input.Body.description == STRING
    input.Body.clientRequestToken == STRING
    input.Body.instanceType == STRING
    input.Body.subnetId == STRING
    input.Body.imageId == STRING
    input.Body.automaticStopTimeMinutes == INTEGER
    input.Body.ownerArn == STRING
    input.Body.tags[_].Key == STRING
    input.Body.tags[_].Value == STRING
    input.Body.connectionType == enum_ConnectionType[_]
    input.Body.dryRun == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_MemberPermissions := [ "read-write", "read-only" ]

valid {
    input.Body.environmentId == STRING
    input.Body.userArn == STRING
    input.Body.permissions == enum_MemberPermissions[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

enum_Permissions := [ "owner", "read-write", "read-only" ]

valid {
    input.Body.userArn == STRING
    input.Body.environmentId == STRING
    input.Body.permissions[_] == enum_Permissions[_]
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.environmentIds[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.ResourceARN == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.ResourceARN == STRING
    input.Body.TagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ManagedCredentialsAction := [ "ENABLE", "DISABLE" ]

valid {
    input.Body.environmentId == STRING
    input.Body.name == STRING
    input.Body.description == STRING
    input.Body.managedCredentialsAction == enum_ManagedCredentialsAction[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_MemberPermissions := [ "read-write", "read-only" ]

valid {
    input.Body.environmentId == STRING
    input.Body.userArn == STRING
    input.Body.permissions == enum_MemberPermissions[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}