The way I seen that type of saw sharpened some sixty years ago, was the teeth were filed then set by placing an (anvil) in back of the tooth and bending the tooth out word with a hammer, the amount of set was checked with a spider. The rakers were set by hammering the tips down, then filed sharp. I don't remember any tool to measure the depth.
I think the tool you show is used to set hand saws.