enum_UserProcessFilter.statusesParameter := [ "PROCESS_STATUS_UNSPECIFIED", "RUNNING", "PAUSED", "COMPLETED", "CANCELED", "FAILED", "TIMED_OUT", "UNKNOWN", "DELAYED", "EXECUTION_DISABLED" ]
enum_UserProcessFilter.typesParameter := [ "PROCESS_TYPE_UNSPECIFIED", "ADD_ON", "EXECUTION_API", "TIME_DRIVEN", "TRIGGER", "WEBAPP", "EDITOR", "SIMPLE_TRIGGER", "MENU", "BATCH_TASK" ]
enum_UserProcessFilter.userAccessLevelsParameter := [ "USER_ACCESS_LEVEL_UNSPECIFIED", "NONE", "READ", "WRITE", "OWNER" ]

valid {
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.userProcessFilter.deploymentId == STRING
    input.Qs.userProcessFilter.endTime == STRING
    input.Qs.userProcessFilter.functionName == STRING
    input.Qs.userProcessFilter.projectName == STRING
    input.Qs.userProcessFilter.scriptId == STRING
    input.Qs.userProcessFilter.startTime == STRING
    input.Qs.userProcessFilter.statuses == enum_UserProcessFilter.statusesParameter[_]
    input.Qs.userProcessFilter.types == enum_UserProcessFilter.typesParameter[_]
    input.Qs.userProcessFilter.userAccessLevels == enum_UserProcessFilter.userAccessLevelsParameter[_]
    input.ProviderMetadata.Region == STRING
}

enum_ScriptProcessFilter.statusesParameter := [ "PROCESS_STATUS_UNSPECIFIED", "RUNNING", "PAUSED", "COMPLETED", "CANCELED", "FAILED", "TIMED_OUT", "UNKNOWN", "DELAYED", "EXECUTION_DISABLED" ]
enum_ScriptProcessFilter.typesParameter := [ "PROCESS_TYPE_UNSPECIFIED", "ADD_ON", "EXECUTION_API", "TIME_DRIVEN", "TRIGGER", "WEBAPP", "EDITOR", "SIMPLE_TRIGGER", "MENU", "BATCH_TASK" ]
enum_ScriptProcessFilter.userAccessLevelsParameter := [ "USER_ACCESS_LEVEL_UNSPECIFIED", "NONE", "READ", "WRITE", "OWNER" ]

valid {
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.scriptId == STRING
    input.Qs.scriptProcessFilter.deploymentId == STRING
    input.Qs.scriptProcessFilter.endTime == STRING
    input.Qs.scriptProcessFilter.functionName == STRING
    input.Qs.scriptProcessFilter.startTime == STRING
    input.Qs.scriptProcessFilter.statuses == enum_ScriptProcessFilter.statusesParameter[_]
    input.Qs.scriptProcessFilter.types == enum_ScriptProcessFilter.typesParameter[_]
    input.Qs.scriptProcessFilter.userAccessLevels == enum_ScriptProcessFilter.userAccessLevelsParameter[_]
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.parentId == STRING
    input.Body.title == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.description == STRING
    input.Body.manifestFileName == STRING
    input.Body.scriptId == STRING
    input.Body.versionNumber == INTEGER
    input.ReqMap.scriptId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.deploymentId == STRING
    input.ReqMap.scriptId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.deploymentId == STRING
    input.ReqMap.scriptId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.scriptId == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.deploymentConfig.description == STRING
    input.Body.deploymentConfig.manifestFileName == STRING
    input.Body.deploymentConfig.scriptId == STRING
    input.Body.deploymentConfig.versionNumber == INTEGER
    input.ReqMap.deploymentId == STRING
    input.ReqMap.scriptId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.scriptId == STRING
    input.Qs.versionNumber == INTEGER
    input.ProviderMetadata.Region == STRING
}

enum_MetricsGranularityParameter := [ "UNSPECIFIED_GRANULARITY", "WEEKLY", "DAILY" ]

valid {
    input.ReqMap.scriptId == STRING
    input.Qs.metricsFilter.deploymentId == STRING
    input.Qs.metricsGranularity == enum_MetricsGranularityParameter[_]
    input.ProviderMetadata.Region == STRING
}

enum_FileType := [ "ENUM_TYPE_UNSPECIFIED", "SERVER_JS", "HTML", "JSON" ]

valid {
    input.Body.files[_].createTime == STRING
    input.Body.files[_].functionSet.values[_].name == STRING
    input.Body.files[_].functionSet.values[_].parameters[_] == STRING
    input.Body.files[_].lastModifyUser.domain == STRING
    input.Body.files[_].lastModifyUser.email == STRING
    input.Body.files[_].lastModifyUser.name == STRING
    input.Body.files[_].lastModifyUser.photoUrl == STRING
    input.Body.files[_].name == STRING
    input.Body.files[_].source == STRING
    input.Body.files[_].type == enum_FileType[_]
    input.Body.files[_].updateTime == STRING
    input.Body.scriptId == STRING
    input.ReqMap.scriptId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.createTime == STRING
    input.Body.description == STRING
    input.Body.scriptId == STRING
    input.Body.versionNumber == INTEGER
    input.ReqMap.scriptId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.scriptId == STRING
    input.ReqMap.versionNumber == INTEGER
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.scriptId == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.devMode == BOOLEAN
    input.Body.function == STRING
    input.Body.parameters[_] == ANY
    input.Body.sessionState == STRING
    input.ReqMap.scriptId == STRING
    input.ProviderMetadata.Region == STRING
}