ada - 比较标记类型

Question

在 Java 中，可以使用 instanceof 来检查对象是否与另一个对象属于相同类型(或类范围类型)。例如，如果我们有类 Peach 和一个对象 peach ，它将通过以下方式:

if (peach instanceof Peach)
    System.out.println("peach is of type Peach!");

...在终端中执行上面的语句。

根据我的内存，在 Ada 中，有一些类似于 is in 的内容，因为某些对象位于某个类范围内的集合中。然而，非常出色的是，我似乎无法找到关于这个问题的信息。上次我使用 is in 时，我无法让它工作。因此，我决定在这里提出这个问题。

任何关于如何以与 Java 的 instanceof 类似的方式进行标记类型比较的指针都会非常有帮助!

Answer 1

只是 in ，不是 is in

if Foo in Peach'Class then