forked from JavaTX/JavaCompilerCore
71 lines
1.8 KiB
Plaintext
71 lines
1.8 KiB
Plaintext
typeVar(cRO).
|
|
smaller(cAVP,cAVQ).
|
|
type(cAVY,cjava_DOT_lang_DOT_Integer,0).
|
|
type(cAVI,cjava_DOT_lang_DOT_Integer,0).
|
|
type(cAVD,cjava_DOT_lang_DOT_Comparable,1).
|
|
type(cAVH,cjava_DOT_lang_DOT_Comparable,1).
|
|
type(cAVJ,cjava_DOT_lang_DOT_Number,0).
|
|
typeVar(cT).
|
|
equals(cQ,cRO).
|
|
smaller(cAVR,cAVS).
|
|
param(cAVZ,cYO,1).
|
|
param(cAVZ,cYP,2).
|
|
type(cAWD,cjava_DOT_lang_DOT_Integer,0).
|
|
typeVar(cO).
|
|
smaller(cAVN,cAVO).
|
|
type(cAWA,cjava_DOT_lang_DOT_Integer,0).
|
|
type(cAVF,cjava_DOT_lang_DOT_Object,0).
|
|
typeVar(cYA).
|
|
type(cAVU,cjava_DOT_lang_DOT_Integer,0).
|
|
equals(cN,cAVV).
|
|
smaller(cAVB,cAVC).
|
|
type(cAVO,cjava_DOT_lang_DOT_Object,0).
|
|
type(cAVB,cjava_DOT_io_DOT_Serializable,0).
|
|
smallerDot(cT,cM).
|
|
typeVar(cL).
|
|
smallerDot(cM,cL).
|
|
typeVar(cP).
|
|
type(cAVQ,cjava_DOT_lang_DOT_Number,0).
|
|
type(cAVR,cFaculty,0).
|
|
smallerDot(cAWD,cAWE).
|
|
typeVar(cYB).
|
|
type(cAVE,cjava_DOT_lang_DOT_Integer,0).
|
|
type(cAVN,cjava_DOT_lang_DOT_Number,0).
|
|
equals(cT,cAVT).
|
|
type(cAVV,cFaculty,0).
|
|
type(cAVC,cjava_DOT_lang_DOT_Object,0).
|
|
type(cAVM,cjava_DOT_lang_DOT_Object,0).
|
|
smaller(cAVG,cAVH).
|
|
type(cAVL,cjava_DOT_lang_DOT_Object,0).
|
|
type(cAWE,cjava_DOT_lang_DOT_Integer,0).
|
|
type(cAVG,cjava_DOT_lang_DOT_Integer,0).
|
|
param(cAVT,cAVU,2).
|
|
typeVar(cYO).
|
|
type(cAWB,cjava_DOT_lang_DOT_Integer,0).
|
|
type(cAVW,cjava_DOT_lang_DOT_Integer,0).
|
|
typeVar(cM).
|
|
param(cAVH,cAVI,1).
|
|
typeVar(cQ).
|
|
type(cAVX,cjava_DOT_lang_DOT_Integer,0).
|
|
equals(cYA,cO).
|
|
equals(cAWA,cP).
|
|
smallerDot(cM,cAVZ).
|
|
type(cAVK,cjava_DOT_io_DOT_Serializable,0).
|
|
smallerDot(cP,cQ).
|
|
smallerDot(cO,cAWB).
|
|
param(cAVD,cAVE,1).
|
|
smallerDot(cAVY,cYB).
|
|
smallerDot(cAVW,cAVX).
|
|
smaller(cAVD,cAVF).
|
|
smaller(cAVL,cAVM).
|
|
type(cAVP,cjava_DOT_lang_DOT_Integer,0).
|
|
typeVar(cYP).
|
|
typeVar(cN).
|
|
type(cAVT,cFun2,2).
|
|
param(cAVT,cRO,1).
|
|
type(cAVS,cjava_DOT_lang_DOT_Object,0).
|
|
type(cAWC,cFaculty,0).
|
|
smallerDot(cN,cAWC).
|
|
type(cAVZ,cFun2,2).
|
|
smaller(cAVJ,cAVK).
|