在Ada语言中，可以使用mod运算符来检查除法的结果是否没有小数。mod运算符返回两个数相除的余数，如果余数为0，则表示除法结果没有小数。

以下是一个代码示例：

with Ada.Text_IO;

procedure Division_Check is
   dividend : Integer := 10;
   divisor : Integer := 3;
   remainder : Integer;

begin
   remainder := dividend mod divisor;

   if remainder = 0 then
      Ada.Text_IO.Put_Line("The division result has no decimal.");
   else
      Ada.Text_IO.Put_Line("The division result has decimal.");
   end if;
end Division_Check;

在上面的示例中，我们定义了一个被除数（dividend）为10和一个除数（divisor）为3。然后，我们使用mod运算符计算除法的余数，并将结果存储在变量remainder中。最后，我们使用if语句检查余数是否为0，并打印相应的消息。

如果运行上面的代码，将输出"The division result has decimal."，因为10除以3的结果有小数。如果将dividend设置为9，将输出"The division result has no decimal."，因为9除以3的结果没有小数。