Sobre mandado de segurança, a legislação dispõe: