27 / 65

 ()是类元之间的语义关系,其中的一个类元指定了由另一个类元保证执行的契约。