valid {
    input.Body.rowsToCreate[_].batchItemId == STRING
    input.Body.rowsToCreate[_].cellsToCreate.STRING.fact == STRING
    input.Body.rowsToCreate[_].cellsToCreate.STRING.facts[_] == STRING
    input.Body.clientRequestToken == STRING
    input.ReqMap.workbookId == STRING
    input.ReqMap.tableId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.rowIds[_] == STRING
    input.Body.clientRequestToken == STRING
    input.ReqMap.workbookId == STRING
    input.ReqMap.tableId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.rowsToUpdate[_].rowId == STRING
    input.Body.rowsToUpdate[_].cellsToUpdate.STRING.fact == STRING
    input.Body.rowsToUpdate[_].cellsToUpdate.STRING.facts[_] == STRING
    input.Body.clientRequestToken == STRING
    input.ReqMap.workbookId == STRING
    input.ReqMap.tableId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.rowsToUpsert[_].batchItemId == STRING
    input.Body.rowsToUpsert[_].filter.formula == STRING
    input.Body.rowsToUpsert[_].filter.contextRowId == STRING
    input.Body.rowsToUpsert[_].cellsToUpdate.STRING.fact == STRING
    input.Body.rowsToUpsert[_].cellsToUpdate.STRING.facts[_] == STRING
    input.Body.clientRequestToken == STRING
    input.ReqMap.workbookId == STRING
    input.ReqMap.tableId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.workbookId == STRING
    input.ReqMap.tableId == STRING
    input.ReqMap.jobId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.workbookId == STRING
    input.Body.appId == STRING
    input.Body.screenId == STRING
    input.Body.variables.STRING.rawValue == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.variables.STRING.rawValue == STRING
    input.Body.rowId == STRING
    input.Body.clientRequestToken == STRING
    input.ReqMap.workbookId == STRING
    input.ReqMap.appId == STRING
    input.ReqMap.screenId == STRING
    input.ReqMap.automationId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.workbookId == STRING
    input.ReqMap.tableId == STRING
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.rowIds[_] == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ReqMap.workbookId == STRING
    input.ReqMap.tableId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.workbookId == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.resourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.filterFormula.formula == STRING
    input.Body.filterFormula.contextRowId == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ReqMap.workbookId == STRING
    input.ReqMap.tableId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ImportDataCharacterEncoding := [ "UTF-8", "US-ASCII", "ISO-8859-1", "UTF-16BE", "UTF-16LE", "UTF-16" ]
enum_ImportSourceDataFormat := [ "DELIMITED_TEXT" ]

valid {
    input.Body.dataSource.dataSourceConfig.dataSourceUrl == STRING
    input.Body.dataFormat == enum_ImportSourceDataFormat[_]
    input.Body.importOptions.destinationOptions.columnMap.STRING.columnIndex == INTEGER
    input.Body.importOptions.delimitedTextOptions.delimiter == STRING
    input.Body.importOptions.delimitedTextOptions.hasHeaderRow == BOOLEAN
    input.Body.importOptions.delimitedTextOptions.ignoreEmptyRows == BOOLEAN
    input.Body.importOptions.delimitedTextOptions.dataCharacterEncoding == enum_ImportDataCharacterEncoding[_]
    input.Body.clientRequestToken == STRING
    input.ReqMap.workbookId == STRING
    input.ReqMap.tableId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.resourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.resourceArn == STRING
    input.Qs.tagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}