MEDICAL-IMAGING

CopyImageSet

valid {
    input.Body.copyImageSetInformation.sourceImageSet.latestVersionId == STRING
    input.Body.copyImageSetInformation.sourceImageSet.DICOMCopies.copiableAttributes == STRING
    input.Body.copyImageSetInformation.destinationImageSet.imageSetId == STRING
    input.Body.copyImageSetInformation.destinationImageSet.latestVersionId == STRING
    input.ReqMap.datastoreId == STRING
    input.ReqMap.sourceImageSetId == STRING
    input.Qs.force == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateDatastore

valid {
    input.Body.datastoreName == STRING
    input.Body.clientToken == STRING
    input.Body.tags.STRING == STRING
    input.Body.kmsKeyArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteDatastore

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

DeleteImageSet

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

GetDICOMImportJob

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

GetDatastore

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

GetImageFrame

valid {
    input.Body.imageFrameInformation.imageFrameId == STRING
    input.ReqMap.datastoreId == STRING
    input.ReqMap.imageSetId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetImageSet

valid {
    input.ReqMap.datastoreId == STRING
    input.ReqMap.imageSetId == STRING
    input.Qs.version == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetImageSetMetadata

valid {
    input.ReqMap.datastoreId == STRING
    input.ReqMap.imageSetId == STRING
    input.Qs.version == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDICOMImportJobs

enum_JobStatus := [ "SUBMITTED", "IN_PROGRESS", "COMPLETED", "FAILED" ]

valid {
    input.ReqMap.datastoreId == STRING
    input.Qs.jobStatus == enum_JobStatus[_]
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDatastores

enum_DatastoreStatus := [ "CREATING", "CREATE_FAILED", "ACTIVE", "DELETING", "DELETED" ]

valid {
    input.Qs.datastoreStatus == enum_DatastoreStatus[_]
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListImageSetVersions

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

ListTagsForResource

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

SearchImageSets

enum_Operator := [ "EQUAL", "BETWEEN" ]
enum_SortField := [ "updatedAt", "createdAt", "DICOMStudyDateAndTime" ]
enum_SortOrder := [ "ASC", "DESC" ]

valid {
    input.Body.searchCriteria.filters[_].values[_].DICOMPatientId == STRING
    input.Body.searchCriteria.filters[_].values[_].DICOMAccessionNumber == STRING
    input.Body.searchCriteria.filters[_].values[_].DICOMStudyId == STRING
    input.Body.searchCriteria.filters[_].values[_].DICOMStudyInstanceUID == STRING
    input.Body.searchCriteria.filters[_].values[_].DICOMSeriesInstanceUID == STRING
    input.Body.searchCriteria.filters[_].values[_].createdAt == TIMESTAMP
    input.Body.searchCriteria.filters[_].values[_].updatedAt == TIMESTAMP
    input.Body.searchCriteria.filters[_].values[_].DICOMStudyDateAndTime.DICOMStudyDate == STRING
    input.Body.searchCriteria.filters[_].values[_].DICOMStudyDateAndTime.DICOMStudyTime == STRING
    input.Body.searchCriteria.filters[_].operator == enum_Operator[_]
    input.Body.searchCriteria.sort.sortOrder == enum_SortOrder[_]
    input.Body.searchCriteria.sort.sortField == enum_SortField[_]
    input.ReqMap.datastoreId == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartDICOMImportJob

valid {
    input.Body.jobName == STRING
    input.Body.dataAccessRoleArn == STRING
    input.Body.clientToken == STRING
    input.Body.inputS3Uri == STRING
    input.Body.outputS3Uri == STRING
    input.Body.inputOwnerAccountId == STRING
    input.ReqMap.datastoreId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

TagResource

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

UntagResource

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

UpdateImageSetMetadata

valid {
    input.Body.updateImageSetMetadataUpdates.DICOMUpdates.removableAttributes == BLOB
    input.Body.updateImageSetMetadataUpdates.DICOMUpdates.updatableAttributes == BLOB
    input.Body.updateImageSetMetadataUpdates.revertToVersionId == STRING
    input.ReqMap.datastoreId == STRING
    input.ReqMap.imageSetId == STRING
    input.Qs.latestVersion == STRING
    input.Qs.force == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}