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
}
Updated about 1 year ago