valid {
    input.Body.STRING == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

enum_DiskType := [ "TYPE_UNSPECIFIED", "PERSISTENT_HDD", "PERSISTENT_SSD", "LOCAL_SSD" ]

valid {
    input.Body.description == STRING
    input.Body.docker.cmd == STRING
    input.Body.docker.imageName == STRING
    input.Body.inputParameters[_].defaultValue == STRING
    input.Body.inputParameters[_].description == STRING
    input.Body.inputParameters[_].localCopy.disk == STRING
    input.Body.inputParameters[_].localCopy.path == STRING
    input.Body.inputParameters[_].name == STRING
    input.Body.name == STRING
    input.Body.outputParameters[_].defaultValue == STRING
    input.Body.outputParameters[_].description == STRING
    input.Body.outputParameters[_].localCopy.disk == STRING
    input.Body.outputParameters[_].localCopy.path == STRING
    input.Body.outputParameters[_].name == STRING
    input.Body.pipelineId == STRING
    input.Body.projectId == STRING
    input.Body.resources.acceleratorCount == STRING
    input.Body.resources.acceleratorType == STRING
    input.Body.resources.bootDiskSizeGb == INTEGER
    input.Body.resources.disks[_].autoDelete == BOOLEAN
    input.Body.resources.disks[_].mountPoint == STRING
    input.Body.resources.disks[_].name == STRING
    input.Body.resources.disks[_].readOnly == BOOLEAN
    input.Body.resources.disks[_].sizeGb == INTEGER
    input.Body.resources.disks[_].source == STRING
    input.Body.resources.disks[_].type == enum_DiskType[_]
    input.Body.resources.minimumCpuCores == INTEGER
    input.Body.resources.minimumRamGb == NUMBER
    input.Body.resources.noAddress == BOOLEAN
    input.Body.resources.preemptible == BOOLEAN
    input.Body.resources.zones[_] == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

valid {
    input.Qs.operationId == STRING
    input.Qs.validationToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.namePrefix == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.projectId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ActionFlags := [ "FLAG_UNSPECIFIED", "IGNORE_EXIT_STATUS", "RUN_IN_BACKGROUND", "ALWAYS_RUN", "ENABLE_FUSE", "PUBLISH_EXPOSED_PORTS", "DISABLE_IMAGE_PREFETCH", "DISABLE_STANDARD_ERROR_CAPTURE", "BLOCK_EXTERNAL_NETWORK" ]

valid {
    input.Body.labels.STRING == STRING
    input.Body.pipeline.actions[_].commands[_] == STRING
    input.Body.pipeline.actions[_].credentials.cipherText == STRING
    input.Body.pipeline.actions[_].credentials.keyName == STRING
    input.Body.pipeline.actions[_].encryptedEnvironment.cipherText == STRING
    input.Body.pipeline.actions[_].encryptedEnvironment.keyName == STRING
    input.Body.pipeline.actions[_].entrypoint == STRING
    input.Body.pipeline.actions[_].environment.STRING == STRING
    input.Body.pipeline.actions[_].flags[_] == enum_ActionFlags[_]
    input.Body.pipeline.actions[_].imageUri == STRING
    input.Body.pipeline.actions[_].labels.STRING == STRING
    input.Body.pipeline.actions[_].mounts[_].disk == STRING
    input.Body.pipeline.actions[_].mounts[_].path == STRING
    input.Body.pipeline.actions[_].mounts[_].readOnly == BOOLEAN
    input.Body.pipeline.actions[_].name == STRING
    input.Body.pipeline.actions[_].pidNamespace == STRING
    input.Body.pipeline.actions[_].portMappings.STRING == INTEGER
    input.Body.pipeline.actions[_].timeout == STRING
    input.Body.pipeline.encryptedEnvironment.cipherText == STRING
    input.Body.pipeline.encryptedEnvironment.keyName == STRING
    input.Body.pipeline.environment.STRING == STRING
    input.Body.pipeline.resources.projectId == STRING
    input.Body.pipeline.resources.regions[_] == STRING
    input.Body.pipeline.resources.virtualMachine.accelerators[_].count == STRING
    input.Body.pipeline.resources.virtualMachine.accelerators[_].type == STRING
    input.Body.pipeline.resources.virtualMachine.bootDiskSizeGb == INTEGER
    input.Body.pipeline.resources.virtualMachine.bootImage == STRING
    input.Body.pipeline.resources.virtualMachine.cpuPlatform == STRING
    input.Body.pipeline.resources.virtualMachine.disks[_].name == STRING
    input.Body.pipeline.resources.virtualMachine.disks[_].sizeGb == INTEGER
    input.Body.pipeline.resources.virtualMachine.disks[_].sourceImage == STRING
    input.Body.pipeline.resources.virtualMachine.disks[_].type == STRING
    input.Body.pipeline.resources.virtualMachine.dockerCacheImages[_] == STRING
    input.Body.pipeline.resources.virtualMachine.enableStackdriverMonitoring == BOOLEAN
    input.Body.pipeline.resources.virtualMachine.labels.STRING == STRING
    input.Body.pipeline.resources.virtualMachine.machineType == STRING
    input.Body.pipeline.resources.virtualMachine.network.name == STRING
    input.Body.pipeline.resources.virtualMachine.network.subnetwork == STRING
    input.Body.pipeline.resources.virtualMachine.network.usePrivateAddress == BOOLEAN
    input.Body.pipeline.resources.virtualMachine.nvidiaDriverVersion == STRING
    input.Body.pipeline.resources.virtualMachine.preemptible == BOOLEAN
    input.Body.pipeline.resources.virtualMachine.reservation == STRING
    input.Body.pipeline.resources.virtualMachine.serviceAccount.email == STRING
    input.Body.pipeline.resources.virtualMachine.serviceAccount.scopes[_] == STRING
    input.Body.pipeline.resources.virtualMachine.volumes[_].existingDisk.disk == STRING
    input.Body.pipeline.resources.virtualMachine.volumes[_].nfsMount.target == STRING
    input.Body.pipeline.resources.virtualMachine.volumes[_].persistentDisk.sizeGb == INTEGER
    input.Body.pipeline.resources.virtualMachine.volumes[_].persistentDisk.sourceImage == STRING
    input.Body.pipeline.resources.virtualMachine.volumes[_].persistentDisk.type == STRING
    input.Body.pipeline.resources.virtualMachine.volumes[_].volume == STRING
    input.Body.pipeline.resources.zones[_] == STRING
    input.Body.pipeline.timeout == STRING
    input.Body.pubSubTopic == STRING
    input.ProviderMetadata.Region == STRING
}

enum_SetOperationStatusRequestErrorCode := [ "OK", "CANCELLED", "UNKNOWN", "INVALID_ARGUMENT", "DEADLINE_EXCEEDED", "NOT_FOUND", "ALREADY_EXISTS", "PERMISSION_DENIED", "UNAUTHENTICATED", "RESOURCE_EXHAUSTED", "FAILED_PRECONDITION", "ABORTED", "OUT_OF_RANGE", "UNIMPLEMENTED", "INTERNAL", "UNAVAILABLE", "DATA_LOSS" ]

valid {
    input.Body.errorCode == enum_SetOperationStatusRequestErrorCode[_]
    input.Body.errorMessage == STRING
    input.Body.operationId == STRING
    input.Body.timestampEvents[_].description == STRING
    input.Body.timestampEvents[_].timestamp == STRING
    input.Body.validationToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.STRING == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

valid {
    input.Body.deadlineExpired.STRING == STRING
    input.Body.event.STRING == ANY
    input.Body.events[_].data.STRING == ANY
    input.Body.events[_].timestamp == STRING
    input.Body.result.code == INTEGER
    input.Body.result.details[_].STRING == ANY
    input.Body.result.message == STRING
    input.Body.sosReport == STRING
    input.Body.workerStatus.attachedDisks.STRING.freeSpaceBytes == STRING
    input.Body.workerStatus.attachedDisks.STRING.totalSpaceBytes == STRING
    input.Body.workerStatus.bootDisk.freeSpaceBytes == STRING
    input.Body.workerStatus.bootDisk.totalSpaceBytes == STRING
    input.Body.workerStatus.freeRamBytes == STRING
    input.Body.workerStatus.totalRamBytes == STRING
    input.Body.workerStatus.uptimeSeconds == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.deadlineExpired.STRING == STRING
    input.Body.event.STRING == ANY
    input.Body.events[_].data.STRING == ANY
    input.Body.events[_].timestamp == STRING
    input.Body.result.code == INTEGER
    input.Body.result.details[_].STRING == ANY
    input.Body.result.message == STRING
    input.Body.sosReport == STRING
    input.Body.workerStatus.attachedDisks.STRING.freeSpaceBytes == STRING
    input.Body.workerStatus.attachedDisks.STRING.totalSpaceBytes == STRING
    input.Body.workerStatus.bootDisk.freeSpaceBytes == STRING
    input.Body.workerStatus.bootDisk.totalSpaceBytes == STRING
    input.Body.workerStatus.freeRamBytes == STRING
    input.Body.workerStatus.totalRamBytes == STRING
    input.Body.workerStatus.uptimeSeconds == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Region == STRING
}