SIMSPACEWEAVER
CreateSnapshot
valid {
input.Body.Destination.BucketName == STRING
input.Body.Destination.ObjectKeyPrefix == STRING
input.Body.Simulation == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteApp
valid {
input.Qs.app == STRING
input.Qs.domain == STRING
input.Qs.simulation == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteSimulation
valid {
input.Qs.simulation == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DescribeApp
valid {
input.Qs.app == STRING
input.Qs.domain == STRING
input.Qs.simulation == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DescribeSimulation
valid {
input.Qs.simulation == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListApps
valid {
input.Qs.domain == STRING
input.Qs.maxResults == INTEGER
input.Qs.nextToken == STRING
input.Qs.simulation == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListSimulations
valid {
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
}
StartApp
valid {
input.Body.ClientToken == STRING
input.Body.Description == STRING
input.Body.Domain == STRING
input.Body.LaunchOverrides.LaunchCommands[_] == STRING
input.Body.Name == STRING
input.Body.Simulation == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
StartClock
valid {
input.Body.Simulation == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
StartSimulation
valid {
input.Body.ClientToken == STRING
input.Body.Description == STRING
input.Body.MaximumDuration == STRING
input.Body.Name == STRING
input.Body.RoleArn == STRING
input.Body.SchemaS3Location.BucketName == STRING
input.Body.SchemaS3Location.ObjectKey == STRING
input.Body.SnapshotS3Location.BucketName == STRING
input.Body.SnapshotS3Location.ObjectKey == STRING
input.Body.Tags.STRING == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
StopApp
valid {
input.Body.App == STRING
input.Body.Domain == STRING
input.Body.Simulation == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
StopClock
valid {
input.Body.Simulation == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
StopSimulation
valid {
input.Body.Simulation == 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
}
Updated 5 days ago