MICROSOFT.SUPPORT

ChatTranscriptsNoSubscription_Get

valid {
    input.ReqMap.supportTicketName == STRING
    input.ReqMap.chatTranscriptName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

ChatTranscriptsNoSubscription_List

valid {
    input.ReqMap.supportTicketName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

ChatTranscripts_Get

valid {
    input.ReqMap.supportTicketName == STRING
    input.ReqMap.chatTranscriptName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

ChatTranscripts_List

valid {
    input.ReqMap.supportTicketName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

CommunicationsNoSubscription_CheckNameAvailability

enum_CheckNameAvailabilityInputType := [ "Microsoft.Support/supportTickets", "Microsoft.Support/communications" ]

valid {
    input.Body.name == STRING
    input.Body.type == enum_CheckNameAvailabilityInputType[_]
    input.ReqMap.supportTicketName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

CommunicationsNoSubscription_Create

valid {
    input.Body.properties.sender == STRING
    input.Body.properties.subject == STRING
    input.Body.properties.body == STRING
    input.ReqMap.supportTicketName == STRING
    input.ReqMap.communicationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

CommunicationsNoSubscription_Get

valid {
    input.ReqMap.supportTicketName == STRING
    input.ReqMap.communicationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

CommunicationsNoSubscription_List

valid {
    input.ReqMap.supportTicketName == STRING
    input.Qs.$top == INTEGER
    input.Qs.$filter == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Communications_CheckNameAvailability

enum_CheckNameAvailabilityInputType := [ "Microsoft.Support/supportTickets", "Microsoft.Support/communications" ]

valid {
    input.Body.name == STRING
    input.Body.type == enum_CheckNameAvailabilityInputType[_]
    input.ReqMap.supportTicketName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Communications_Create

valid {
    input.Body.properties.sender == STRING
    input.Body.properties.subject == STRING
    input.Body.properties.body == STRING
    input.ReqMap.supportTicketName == STRING
    input.ReqMap.communicationName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Communications_Get

valid {
    input.ReqMap.supportTicketName == STRING
    input.ReqMap.communicationName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Communications_List

valid {
    input.ReqMap.supportTicketName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.$top == INTEGER
    input.Qs.$filter == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

FileWorkspacesNoSubscription_Create

valid {
    input.ReqMap.fileWorkspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

FileWorkspacesNoSubscription_Get

valid {
    input.ReqMap.fileWorkspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

FileWorkspaces_Create

valid {
    input.ReqMap.fileWorkspaceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

FileWorkspaces_Get

valid {
    input.ReqMap.fileWorkspaceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

FilesNoSubscription_Create

valid {
    input.Body.properties.chunkSize == INTEGER
    input.Body.properties.fileSize == INTEGER
    input.Body.properties.numberOfChunks == INTEGER
    input.ReqMap.fileWorkspaceName == STRING
    input.ReqMap.fileName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

FilesNoSubscription_Get

valid {
    input.ReqMap.fileWorkspaceName == STRING
    input.ReqMap.fileName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

FilesNoSubscription_List

valid {
    input.ReqMap.fileWorkspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

FilesNoSubscription_Upload

valid {
    input.Body.content == STRING
    input.Body.chunkIndex == INTEGER
    input.ReqMap.fileWorkspaceName == STRING
    input.ReqMap.fileName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Files_Create

valid {
    input.Body.properties.chunkSize == INTEGER
    input.Body.properties.fileSize == INTEGER
    input.Body.properties.numberOfChunks == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.fileWorkspaceName == STRING
    input.ReqMap.fileName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Files_Get

valid {
    input.ReqMap.fileWorkspaceName == STRING
    input.ReqMap.fileName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Files_List

valid {
    input.ReqMap.fileWorkspaceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Files_Upload

valid {
    input.Body.content == STRING
    input.Body.chunkIndex == INTEGER
    input.ReqMap.fileWorkspaceName == STRING
    input.ReqMap.fileName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

LookUpResourceId_Post

enum_LookUpResourceIdRequestType := [ "Microsoft.Support/supportTickets" ]

valid {
    input.Body.identifier == STRING
    input.Body.type == enum_LookUpResourceIdRequestType[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Operations_List

valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

ProblemClassificationsNoSubscription_classifyProblems

valid {
    input.Body.issueSummary == STRING
    input.Body.resourceId == STRING
    input.ReqMap.problemServiceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

ProblemClassifications_Get

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.problemClassificationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

ProblemClassifications_List

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

ProblemClassifications_classifyProblems

valid {
    input.Body.issueSummary == STRING
    input.Body.resourceId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.problemServiceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

ServiceClassificationsNoSubscription_classifyServices

valid {
    input.Body.issueSummary == STRING
    input.Body.resourceId == STRING
    input.Body.additionalContext == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

ServiceClassifications_classifyServices

valid {
    input.Body.issueSummary == STRING
    input.Body.resourceId == STRING
    input.Body.additionalContext == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Services_Get

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Services_List

valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

SupportTicketsNoSubscription_CheckNameAvailability

enum_CheckNameAvailabilityInputType := [ "Microsoft.Support/supportTickets", "Microsoft.Support/communications" ]

valid {
    input.Body.name == STRING
    input.Body.type == enum_CheckNameAvailabilityInputType[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

SupportTicketsNoSubscription_Create

enum_ContactProfilePreferredContactMethod := [ "email", "phone" ]
enum_SecondaryConsentUserConsent := [ "Yes", "No" ]
enum_SupportTicketDetailsPropertiesAdvancedDiagnosticConsent := [ "Yes", "No" ]
enum_SupportTicketDetailsPropertiesSeverity := [ "minimal", "moderate", "critical", "highestcriticalimpact" ]

valid {
    input.Body.properties.supportTicketId == STRING
    input.Body.properties.description == STRING
    input.Body.properties.problemClassificationId == STRING
    input.Body.properties.severity == enum_SupportTicketDetailsPropertiesSeverity[_]
    input.Body.properties.enrollmentId == STRING
    input.Body.properties.require24X7Response == BOOLEAN
    input.Body.properties.advancedDiagnosticConsent == enum_SupportTicketDetailsPropertiesAdvancedDiagnosticConsent[_]
    input.Body.properties.problemScopingQuestions == STRING
    input.Body.properties.supportPlanId == STRING
    input.Body.properties.contactDetails.firstName == STRING
    input.Body.properties.contactDetails.lastName == STRING
    input.Body.properties.contactDetails.preferredContactMethod == enum_ContactProfilePreferredContactMethod[_]
    input.Body.properties.contactDetails.primaryEmailAddress == STRING
    input.Body.properties.contactDetails.additionalEmailAddresses[_] == STRING
    input.Body.properties.contactDetails.phoneNumber == STRING
    input.Body.properties.contactDetails.preferredTimeZone == STRING
    input.Body.properties.contactDetails.country == STRING
    input.Body.properties.contactDetails.preferredSupportLanguage == STRING
    input.Body.properties.serviceLevelAgreement == {}
    input.Body.properties.supportEngineer == {}
    input.Body.properties.title == STRING
    input.Body.properties.problemStartTime == STRING
    input.Body.properties.serviceId == STRING
    input.Body.properties.fileWorkspaceName == STRING
    input.Body.properties.technicalTicketDetails.resourceId == STRING
    input.Body.properties.quotaTicketDetails.quotaChangeRequestSubType == STRING
    input.Body.properties.quotaTicketDetails.quotaChangeRequestVersion == STRING
    input.Body.properties.quotaTicketDetails.quotaChangeRequests[_].region == STRING
    input.Body.properties.quotaTicketDetails.quotaChangeRequests[_].payload == STRING
    input.Body.properties.secondaryConsent[_].userConsent == enum_SecondaryConsentUserConsent[_]
    input.Body.properties.secondaryConsent[_].type == STRING
    input.ReqMap.supportTicketName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

SupportTicketsNoSubscription_Get

valid {
    input.ReqMap.supportTicketName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

SupportTicketsNoSubscription_List

valid {
    input.Qs.$top == INTEGER
    input.Qs.$filter == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

SupportTicketsNoSubscription_Update

enum_SecondaryConsentUserConsent := [ "Yes", "No" ]
enum_UpdateContactProfilePreferredContactMethod := [ "email", "phone" ]
enum_UpdateSupportTicketAdvancedDiagnosticConsent := [ "Yes", "No" ]
enum_UpdateSupportTicketSeverity := [ "minimal", "moderate", "critical", "highestcriticalimpact" ]
enum_UpdateSupportTicketStatus := [ "open", "closed" ]

valid {
    input.Body.severity == enum_UpdateSupportTicketSeverity[_]
    input.Body.status == enum_UpdateSupportTicketStatus[_]
    input.Body.contactDetails.firstName == STRING
    input.Body.contactDetails.lastName == STRING
    input.Body.contactDetails.preferredContactMethod == enum_UpdateContactProfilePreferredContactMethod[_]
    input.Body.contactDetails.primaryEmailAddress == STRING
    input.Body.contactDetails.additionalEmailAddresses[_] == STRING
    input.Body.contactDetails.phoneNumber == STRING
    input.Body.contactDetails.preferredTimeZone == STRING
    input.Body.contactDetails.country == STRING
    input.Body.contactDetails.preferredSupportLanguage == STRING
    input.Body.advancedDiagnosticConsent == enum_UpdateSupportTicketAdvancedDiagnosticConsent[_]
    input.Body.secondaryConsent[_].userConsent == enum_SecondaryConsentUserConsent[_]
    input.Body.secondaryConsent[_].type == STRING
    input.ReqMap.supportTicketName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

SupportTickets_CheckNameAvailability

enum_CheckNameAvailabilityInputType := [ "Microsoft.Support/supportTickets", "Microsoft.Support/communications" ]

valid {
    input.Body.name == STRING
    input.Body.type == enum_CheckNameAvailabilityInputType[_]
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

SupportTickets_Create

enum_ContactProfilePreferredContactMethod := [ "email", "phone" ]
enum_SecondaryConsentUserConsent := [ "Yes", "No" ]
enum_SupportTicketDetailsPropertiesAdvancedDiagnosticConsent := [ "Yes", "No" ]
enum_SupportTicketDetailsPropertiesSeverity := [ "minimal", "moderate", "critical", "highestcriticalimpact" ]

valid {
    input.Body.properties.supportTicketId == STRING
    input.Body.properties.description == STRING
    input.Body.properties.problemClassificationId == STRING
    input.Body.properties.severity == enum_SupportTicketDetailsPropertiesSeverity[_]
    input.Body.properties.enrollmentId == STRING
    input.Body.properties.require24X7Response == BOOLEAN
    input.Body.properties.advancedDiagnosticConsent == enum_SupportTicketDetailsPropertiesAdvancedDiagnosticConsent[_]
    input.Body.properties.problemScopingQuestions == STRING
    input.Body.properties.supportPlanId == STRING
    input.Body.properties.contactDetails.firstName == STRING
    input.Body.properties.contactDetails.lastName == STRING
    input.Body.properties.contactDetails.preferredContactMethod == enum_ContactProfilePreferredContactMethod[_]
    input.Body.properties.contactDetails.primaryEmailAddress == STRING
    input.Body.properties.contactDetails.additionalEmailAddresses[_] == STRING
    input.Body.properties.contactDetails.phoneNumber == STRING
    input.Body.properties.contactDetails.preferredTimeZone == STRING
    input.Body.properties.contactDetails.country == STRING
    input.Body.properties.contactDetails.preferredSupportLanguage == STRING
    input.Body.properties.serviceLevelAgreement == {}
    input.Body.properties.supportEngineer == {}
    input.Body.properties.title == STRING
    input.Body.properties.problemStartTime == STRING
    input.Body.properties.serviceId == STRING
    input.Body.properties.fileWorkspaceName == STRING
    input.Body.properties.technicalTicketDetails.resourceId == STRING
    input.Body.properties.quotaTicketDetails.quotaChangeRequestSubType == STRING
    input.Body.properties.quotaTicketDetails.quotaChangeRequestVersion == STRING
    input.Body.properties.quotaTicketDetails.quotaChangeRequests[_].region == STRING
    input.Body.properties.quotaTicketDetails.quotaChangeRequests[_].payload == STRING
    input.Body.properties.secondaryConsent[_].userConsent == enum_SecondaryConsentUserConsent[_]
    input.Body.properties.secondaryConsent[_].type == STRING
    input.ReqMap.supportTicketName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

SupportTickets_Get

valid {
    input.ReqMap.supportTicketName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

SupportTickets_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.$top == INTEGER
    input.Qs.$filter == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

SupportTickets_Update

enum_SecondaryConsentUserConsent := [ "Yes", "No" ]
enum_UpdateContactProfilePreferredContactMethod := [ "email", "phone" ]
enum_UpdateSupportTicketAdvancedDiagnosticConsent := [ "Yes", "No" ]
enum_UpdateSupportTicketSeverity := [ "minimal", "moderate", "critical", "highestcriticalimpact" ]
enum_UpdateSupportTicketStatus := [ "open", "closed" ]

valid {
    input.Body.severity == enum_UpdateSupportTicketSeverity[_]
    input.Body.status == enum_UpdateSupportTicketStatus[_]
    input.Body.contactDetails.firstName == STRING
    input.Body.contactDetails.lastName == STRING
    input.Body.contactDetails.preferredContactMethod == enum_UpdateContactProfilePreferredContactMethod[_]
    input.Body.contactDetails.primaryEmailAddress == STRING
    input.Body.contactDetails.additionalEmailAddresses[_] == STRING
    input.Body.contactDetails.phoneNumber == STRING
    input.Body.contactDetails.preferredTimeZone == STRING
    input.Body.contactDetails.country == STRING
    input.Body.contactDetails.preferredSupportLanguage == STRING
    input.Body.advancedDiagnosticConsent == enum_UpdateSupportTicketAdvancedDiagnosticConsent[_]
    input.Body.secondaryConsent[_].userConsent == enum_SecondaryConsentUserConsent[_]
    input.Body.secondaryConsent[_].type == STRING
    input.ReqMap.supportTicketName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}