MICROSOFT.SERIALCONSOLE

DisableConsole

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

EnableConsole

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

GetConsoleStatus

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

ListOperations

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

SerialPorts_Connect

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceProviderNamespace == STRING
    input.ReqMap.parentResourceType == STRING
    input.ReqMap.parentResource == STRING
    input.ReqMap.serialPort == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SerialPorts_Create

enum_SerialPortPropertiesConnectionState := [ "active", "inactive" ]
enum_SerialPortPropertiesState := [ "enabled", "disabled" ]

valid {
    input.Body.properties.state == enum_SerialPortPropertiesState[_]
    input.Body.properties.connectionState == enum_SerialPortPropertiesConnectionState[_]
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceProviderNamespace == STRING
    input.ReqMap.parentResourceType == STRING
    input.ReqMap.parentResource == STRING
    input.ReqMap.serialPort == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SerialPorts_Delete

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceProviderNamespace == STRING
    input.ReqMap.parentResourceType == STRING
    input.ReqMap.parentResource == STRING
    input.ReqMap.serialPort == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SerialPorts_Get

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceProviderNamespace == STRING
    input.ReqMap.parentResourceType == STRING
    input.ReqMap.parentResource == STRING
    input.ReqMap.serialPort == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SerialPorts_List

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceProviderNamespace == STRING
    input.ReqMap.parentResourceType == STRING
    input.ReqMap.parentResource == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SerialPorts_ListBySubscriptions

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}