MICROSOFT.CARBON

CarbonService_ListCarbonEmissionReports

enum_EmissionScopeEnum := [ "Scope1", "Scope2", "Scope3" ]

valid {
    input.Body.reportType == STRING
    input.Body.dateRange.start == STRING
    input.Body.dateRange.end == STRING
    input.Body.subscriptionList[_] == STRING
    input.Body.resourceGroupUrlList[_] == STRING
    input.Body.resourceTypeList[_] == STRING
    input.Body.locationList[_] == STRING
    input.Body.carbonScopeList[_] == enum_EmissionScopeEnum[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

CarbonService_QueryCarbonEmissionDataAvailableDateRange

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

Operations_List

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