En aplicació de desenvolupament ToolSet, una especificació que prova si l'àmbit de control en el registre d'entrada conté una entrada particular. Si no ho fa, el control de caràcter camp és substituïda abans el registre està ordenada.