MICROSOFT.EDUCATION

Grants_Get

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.Qs.includeAllocatedBudget == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Grants_List

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.Qs.includeAllocatedBudget == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Grants_ListAll

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

JoinRequests_Approve

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.joinRequestName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

JoinRequests_Deny

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.joinRequestName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

JoinRequests_Get

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.joinRequestName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

JoinRequests_List

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.includeDenied == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Labs_CreateOrUpdate

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.budgetPerStudent.currency == STRING
    input.Body.properties.budgetPerStudent.value == NUMBER
    input.Body.properties.description == STRING
    input.Body.properties.expirationDate == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Labs_Delete

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Labs_GenerateInviteCode

valid {
    input.Body.maxStudentCount == NUMBER
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.onlyUpdateStudentCountParameter == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Labs_Get

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.includeBudget == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Labs_List

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.includeBudget == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Labs_ListAll

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.Qs.includeBudget == BOOLEAN
    input.Qs.includeDeleted == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Operations_List

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

RedeemInvitationCode

valid {
    input.Body.redeemCode == STRING
    input.Body.firstName == STRING
    input.Body.lastName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

StudentLabs_Get

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

StudentLabs_ListAll

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

Students_CreateOrUpdate

enum_StudentPropertiesRole := [ "Student", "Admin" ]

valid {
    input.Body.properties.firstName == STRING
    input.Body.properties.lastName == STRING
    input.Body.properties.email == STRING
    input.Body.properties.role == enum_StudentPropertiesRole[_]
    input.Body.properties.budget.currency == STRING
    input.Body.properties.budget.value == NUMBER
    input.Body.properties.expirationDate == STRING
    input.Body.properties.subscriptionAlias == STRING
    input.Body.properties.subscriptionInviteLastSentDate == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.studentAlias == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Students_Delete

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.studentAlias == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Students_Get

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.studentAlias == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Students_List

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.includeDeleted == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}