forked from JavaTX/JavaCompilerCore
96 lines
2.6 KiB
Plaintext
96 lines
2.6 KiB
Plaintext
|
|
%#show smallerGen/2.
|
|
%#show smallerGen/4.
|
|
|
|
typeVar(cZW).
|
|
smallerDot(cN,cK).
|
|
smaller(cBHW,cBHX).
|
|
param(cBHW,cZW,1).
|
|
type(cBHO,cjava_DOT_util_DOT_Vector,1).
|
|
smaller(cBIM,cBIN).
|
|
type(cBIQ,cjava_DOT_util_DOT_AbstractList,1).
|
|
type(cBIB,cjava_DOT_lang_DOT_Object,0).
|
|
type(cBIC,cjava_DOT_util_DOT_List,1).
|
|
type(cBHN,cjava_DOT_lang_DOT_Object,0).
|
|
param(cBHS,cZW,1).
|
|
param(cBHT,cZW,1).
|
|
param(cBHU,cZW,1).
|
|
param(cBHV,cZW,1).
|
|
smaller(cBHY,cBHZ).
|
|
type(cBIA,cjava_DOT_lang_DOT_Cloneable,0).
|
|
type(cBIV,cjava_DOT_lang_DOT_Object,0).
|
|
typeVar(cK).
|
|
smaller(cBHU,cBHV).
|
|
smallerDot(cL,cBIY).
|
|
type(cBIM,cjava_DOT_lang_DOT_Object,0).
|
|
smaller(cBIK,cBIL).
|
|
type(cBIL,cjava_DOT_lang_DOT_Object,0).
|
|
type(cBIE,cjava_DOT_util_DOT_Vector,1).
|
|
type(cBII,cjava_DOT_util_DOT_AbstractCollection,1).
|
|
param(cBIY,cLL,1).
|
|
type(cBHZ,cjava_DOT_lang_DOT_Object,0).
|
|
typeVar(cLL).
|
|
type(cBIR,cjava_DOT_util_DOT_List,1).
|
|
param(cBID,cZW,1).
|
|
type(cBHY,cMyVector,0).
|
|
smaller(cBII,cBIJ).
|
|
param(cBIF,cZW,1).
|
|
type(cBIG,cjava_DOT_util_DOT_Collection,1).
|
|
type(cBHT,cjava_DOT_util_DOT_AbstractCollection,1).
|
|
type(cBIT,cjava_DOT_util_DOT_AbstractList,1).
|
|
param(cBHQ,cZW,1).
|
|
smaller(cBIE,cBIF).
|
|
typeVar(cL).
|
|
param(cBHO,cZW,1).
|
|
type(cBHM,cjava_DOT_io_DOT_Serializable,0).
|
|
type(cBIK,cjava_DOT_util_DOT_RandomAccess,0).
|
|
type(cBIJ,cjava_DOT_lang_DOT_Object,0).
|
|
type(cBIO,cjava_DOT_util_DOT_AbstractCollection,1).
|
|
type(cBIZ,cjava_DOT_lang_DOT_Integer,0).
|
|
type(cBHX,cjava_DOT_lang_DOT_Object,0).
|
|
type(cBIS,cjava_DOT_util_DOT_Vector,1).
|
|
smaller(cBIG,cBIH).
|
|
param(cBIW,cZW,1).
|
|
smaller(cBIW,cBIX).
|
|
smaller(cBHM,cBHN).
|
|
smaller(cBIC,cBID).
|
|
type(cBHP,cjava_DOT_util_DOT_RandomAccess,0).
|
|
param(cBIS,cZW,1).
|
|
param(cBIQ,cZW,1).
|
|
param(cBIU,cZW,1).
|
|
param(cBIR,cZW,1).
|
|
param(cBIT,cZW,1).
|
|
smaller(cBHO,cBHP).
|
|
param(cBIP,cZW,1).
|
|
type(cBIH,cjava_DOT_lang_DOT_Object,0).
|
|
typeVar(cM).
|
|
type(cBIU,cjava_DOT_lang_DOT_Iterable,1).
|
|
type(cBHR,cjava_DOT_lang_DOT_Cloneable,0).
|
|
type(cBIF,cjava_DOT_util_DOT_List,1).
|
|
smaller(cBIU,cBIV).
|
|
type(cBHV,cjava_DOT_lang_DOT_Iterable,1).
|
|
smaller(cBIA,cBIB).
|
|
equals(cLL,cN).
|
|
type(cBIP,cjava_DOT_util_DOT_Collection,1).
|
|
type(cBHS,cjava_DOT_util_DOT_AbstractList,1).
|
|
type(cBIN,cjava_DOT_lang_DOT_Object,0).
|
|
smaller(cBHS,cBHT).
|
|
param(cBIE,cZW,1).
|
|
smaller(cBIS,cBIT).
|
|
param(cBIC,cZW,1).
|
|
param(cBIG,cZW,1).
|
|
param(cBII,cZW,1).
|
|
type(cBID,cjava_DOT_util_DOT_Collection,1).
|
|
param(cBIO,cZW,1).
|
|
type(cBIW,cjava_DOT_util_DOT_Vector,1).
|
|
smallerDot(cM,cBIZ).
|
|
smaller(cBIO,cBIP).
|
|
type(cBIY,cjava_DOT_util_DOT_Vector,1).
|
|
typeVar(cN).
|
|
type(cBHW,cjava_DOT_util_DOT_List,1).
|
|
type(cBHU,cjava_DOT_util_DOT_Collection,1).
|
|
type(cBIX,cjava_DOT_io_DOT_Serializable,0).
|
|
smaller(cBHQ,cBHR).
|
|
smaller(cBIQ,cBIR).
|
|
type(cBHQ,cjava_DOT_util_DOT_Vector,1).
|