第三部分:第13章编译单元 13.1.4支持限定 supports Qualification: supports interfaceName-comma-sep-list 支持限定 supportsQualification只能在接口定义 interface Definition和类实现 classimplementation中使用。 注意,如果接口有冲突的谓词,则它们就不能在一个支持限定内一起 使用。 如果谓词具有相同的名字和变元数,具有不同的原始接口,那就是冲 突的。 个谓词的原始接口是该谓词文字上被声明的谓词的接口,同时它反 对由支持限定间接声明的接口。因此如果同一接口在支持链中出现两次 或更多次,它也不会发生冲突。 2004.113 A|程序设计第三部分：第13章 编译单元 2004.11.3 AI程序设计 11 13.1.4 支持限定 supportsQualification : supports interfaceName-comma-sep-list 支持限定 supportsQualification 只 能 在 接 口 定 义 interfaceDefinition 和类实现 classImplementation中使用。 注意，如果接口有冲突的谓词，则它们就不能在一个支持限定内一起 使用。 如果谓词具有相同的名字和变元数，具有不同的原始接口，那就是冲 突的。 一个谓词的原始接口是该谓词文字上被声明的谓词的接口，同时它反 对由支持限定间接声明的接口。因此如果同一接口在支持链中出现两次 或更多次，它也不会发生冲突