GAMESPARKS

CreateGame

valid {
    input.Body.ClientToken == STRING
    input.Body.Description == STRING
    input.Body.GameName == STRING
    input.Body.Tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateSnapshot

valid {
    input.Body.Description == STRING
    input.ReqMap.GameName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateStage

valid {
    input.Body.ClientToken == STRING
    input.Body.Description == STRING
    input.Body.Role == STRING
    input.Body.StageName == STRING
    input.Body.Tags.STRING == STRING
    input.ReqMap.GameName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteGame

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

DeleteStage

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

DisconnectPlayer

valid {
    input.ReqMap.GameName == STRING
    input.ReqMap.PlayerId == STRING
    input.ReqMap.StageName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ExportSnapshot

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

GetExtension

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

GetExtensionVersion

valid {
    input.ReqMap.ExtensionVersion == STRING
    input.ReqMap.Name == STRING
    input.ReqMap.Namespace == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetGame

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

GetGameConfiguration

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

GetGeneratedCodeJob

valid {
    input.ReqMap.GameName == STRING
    input.ReqMap.JobId == STRING
    input.ReqMap.SnapshotId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetPlayerConnectionStatus

valid {
    input.ReqMap.GameName == STRING
    input.ReqMap.PlayerId == STRING
    input.ReqMap.StageName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetSnapshot

valid {
    input.ReqMap.GameName == STRING
    input.ReqMap.SnapshotId == STRING
    input.Qs.Sections[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetStage

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

GetStageDeployment

valid {
    input.ReqMap.GameName == STRING
    input.ReqMap.StageName == STRING
    input.Qs.DeploymentId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ImportGameConfiguration

valid {
    input.Body.ImportSource.File == BLOB
    input.ReqMap.GameName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListExtensionVersions

valid {
    input.ReqMap.Name == STRING
    input.ReqMap.Namespace == STRING
    input.Qs.MaxResults == INTEGER
    input.Qs.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListExtensions

valid {
    input.Qs.MaxResults == INTEGER
    input.Qs.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListGames

valid {
    input.Qs.MaxResults == INTEGER
    input.Qs.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListGeneratedCodeJobs

valid {
    input.ReqMap.GameName == STRING
    input.ReqMap.SnapshotId == STRING
    input.Qs.MaxResults == INTEGER
    input.Qs.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSnapshots

valid {
    input.ReqMap.GameName == STRING
    input.Qs.MaxResults == INTEGER
    input.Qs.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListStageDeployments

valid {
    input.ReqMap.GameName == STRING
    input.ReqMap.StageName == STRING
    input.Qs.MaxResults == INTEGER
    input.Qs.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListStages

valid {
    input.ReqMap.GameName == STRING
    input.Qs.MaxResults == INTEGER
    input.Qs.NextToken == STRING
    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
}

StartGeneratedCodeJob

valid {
    input.Body.Generator.GameSdkVersion == STRING
    input.Body.Generator.Language == STRING
    input.Body.Generator.TargetPlatform == STRING
    input.ReqMap.GameName == STRING
    input.ReqMap.SnapshotId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartStageDeployment

valid {
    input.Body.ClientToken == STRING
    input.Body.SnapshotId == STRING
    input.ReqMap.GameName == STRING
    input.ReqMap.StageName == 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
}

UpdateGame

valid {
    input.Body.Description == STRING
    input.ReqMap.GameName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateGameConfiguration

enum_Operation := [ "ADD", "REMOVE", "REPLACE" ]

valid {
    input.Body.Modifications[_].Operation == enum_Operation[_]
    input.Body.Modifications[_].Path == STRING
    input.Body.Modifications[_].Section == STRING
    input.ReqMap.GameName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateSnapshot

valid {
    input.Body.Description == STRING
    input.ReqMap.GameName == STRING
    input.ReqMap.SnapshotId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateStage

valid {
    input.Body.Description == STRING
    input.Body.Role == STRING
    input.ReqMap.GameName == STRING
    input.ReqMap.StageName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}