server/io.spine.server.model/DispatchKey/withFilter

withFilter

public DispatchKey withFilter(ArgumentFilter filter)

Creates a new key copying its data and taking the passed filter.