forked from i21017/JavaTypeUnify
Compare commits
4 Commits
db3f3bcbac
...
main
| Author | SHA1 | Date | |
|---|---|---|---|
|
811dcdcfee | ||
|
|
76da1a473b | ||
|
|
b1c52f790f | ||
|
|
bf8e179dfd |
41
src/main/asp/testInput.lp
Normal file
41
src/main/asp/testInput.lp
Normal file
@@ -0,0 +1,41 @@
|
||||
% TEST INPUT
|
||||
orCons(undCons(subcons(tph("_BG"),type("java.lang.Number",null)),undCons(equalcons(tph("_BE"),type("java.lang.Boolean",null)),undCons(equalcons(type("java.lang.Boolean",null),tph("_AH")),undCons(subcons(tph("_BC"),type("java.lang.Number",null)),undCons(subcons(tph("_G"),type("java.lang.Integer",null)),undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_AS")),undCons(equalcons(type("java.lang.Boolean",null),tph("_H")),undCons(subcons(tph("_AP"),tph("_AM")),undCons(subcons(tph("_AV"),tph("_AU")),undCons(equalcons(tph("_AI"),type("Matrix",null)),undCons(subcons(tph("_AD"),tph("_AB")),undCons(subcons(type("Matrix",null),tph("_AD")),undCons(subcons(tph("_AF"),type("java.lang.Number",null)),undCons(equalcons(tph("_AU"),tph("_CD")),undCons(equalcons(tph("_H"),type("java.lang.Boolean",null)),undCons(subcons(tph("_BV"),tph("_BA")),undCons(subcons(tph("_V"),type("java.lang.Integer",null)),undCons(subcons(tph("_J"),type("java.lang.Number",null)),undCons(subcons(tph("_AY"),type("java.lang.Number",null)),undCons(equalcons(tph("_AH"),type("java.lang.Boolean",null)),undCons(equalcons(type("java.lang.Boolean",null),tph("_BE")),undCons(equalcons(tph("_AF"),tph("_CK")),undCons(equalcons(type("java.lang.Boolean",null),tph("_AW")),undCons(subcons(tph("_AU"),type("java.lang.Number",null)),undCons(subcons(tph("_BD"),tph("_BC")),undCons(equalcons(tph("_AW"),type("java.lang.Boolean",null)),undCons(subcons(tph("_BB"),tph("_BA")),undCons(subcons(tph("_AG"),tph("_AF")),undCons(equalcons(tph("_S"),type("Matrix",null)),undCons(equalcons(type("java.util.Vector",params(type("java.util.Vector",params(type("java.lang.Integer",null))))),type("java.util.Vector",params(tph("_ANQ")))),undCons(subcons(type("java.lang.Integer",null),type("java.lang.Number",null)),undCons(equalcons(type("java.util.Vector",params(type("java.util.Vector",params(type("java.lang.Integer",null))))),type("java.util.Vector",params(tph("_ANR")))),undCons(equalcons(tph("_BC"),tph("_BW")),undCons(equalcons(tph("_AQ"),type("Matrix",null)),undCons(subcons(tph("_AK"),type("java.lang.Number",null)), null))))))))))))))))))))))))))))))))))), null).
|
||||
orCons(undCons(equalcons(tph("_AE"),type("Matrix",null)),undCons(subcons(type("Matrix",null),type("Matrix",null)), null)), null).
|
||||
orCons(undCons(equalcons(tph("_AG"),type("java.lang.Integer",null)), null), null).
|
||||
orCons(undCons(equalcons(tph("_AI"),type("java.util.AbstractList",params(tph("_AMV")))),undCons(subcons(type("java.lang.Integer",null),tph("_AK")), null)),orCons(undCons(equalcons(tph("_AI"),type("Matrix",null)),undCons(subcons(type("java.lang.Integer",null),tph("_AK")), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_AK")),undCons(equalcons(tph("_AI"),type("java.util.List",params(tph("_AMU")))), null)),orCons(undCons(equalcons(tph("_AI"),type("java.util.AbstractList",params(tph("_AMV")))),undCons(subcons(type("java.lang.Integer",null),tph("_AK")), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_AK")),undCons(equalcons(tph("_AI"),type("java.util.Vector",params(tph("_AMW")))), null)),orCons(undCons(equalcons(tph("_AI"),type("java.util.List",params(tph("_AMU")))),undCons(subcons(type("java.lang.Integer",null),tph("_AK")), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_AK")),undCons(equalcons(tph("_AI"),type("java.util.Vector",params(tph("_AMW")))), null)),orCons(undCons(equalcons(tph("_AI"),type("Matrix",null)),undCons(subcons(type("java.lang.Integer",null),tph("_AK")), null)), null)))))))).
|
||||
orCons(undCons(subcons(tph("_AF"),type("java.lang.Integer",null)),undCons(equalcons(tph("_AQ"),type("java.util.Vector",params(tph("_AMX")))),undCons(subcons(tph("_AMX"),tph("_AP")), null))),orCons(undCons(subcons(tph("_AF"),type("java.lang.Integer",null)),undCons(equalcons(tph("_AQ"),type("Matrix",null)),undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_AP")), null))),orCons(undCons(subcons(tph("_AF"),type("java.lang.Integer",null)),undCons(equalcons(tph("_AQ"),type("java.util.Vector",params(tph("_AMX")))),undCons(subcons(tph("_AMX"),tph("_AP")), null))),orCons(undCons(subcons(tph("_AF"),type("java.lang.Integer",null)),undCons(equalcons(tph("_AQ"),type("Matrix",null)),undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_AP")), null))), null)))).
|
||||
orCons(undCons(subcons(type("java.util.Vector",params(tph("_AMY"))),type("java.util.Vector",params(type("java.lang.Integer",null)))),undCons(equalcons(tph("_AT"),type("java.util.Vector",params(type("GE",null)))), null)), null).
|
||||
orCons(undCons(equalcons(tph("_AV"),type("java.lang.Integer",null)), null), null).
|
||||
orCons(undCons(subcons(type("java.lang.Integer",null),tph("_AY")),undCons(equalcons(tph("_AM"),type("Matrix",null)), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_AY")),undCons(equalcons(tph("_AM"),type("java.util.List",params(tph("_AMZ")))), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_AY")),undCons(equalcons(tph("_AM"),type("java.util.Vector",params(tph("_ANB")))), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_AY")),undCons(equalcons(tph("_AM"),type("java.util.List",params(tph("_AMZ")))), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_AY")),undCons(equalcons(tph("_AM"),type("java.util.AbstractList",params(tph("_ANA")))), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_AY")),undCons(equalcons(tph("_AM"),type("java.util.AbstractList",params(tph("_ANA")))), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_AY")),undCons(equalcons(tph("_AM"),type("Matrix",null)), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_AY")),undCons(equalcons(tph("_AM"),type("java.util.Vector",params(tph("_ANB")))), null)), null)))))))).
|
||||
orCons(undCons(equalcons(tph("_BB"),type("java.lang.Integer",null)), null), null).
|
||||
orCons(undCons(equalcons(tph("_BD"),type("java.lang.Integer",null)), null), null).
|
||||
orCons(undCons(equalcons(tph("_AM"),type("java.util.Vector",params(tph("_ANE")))),undCons(subcons(type("java.lang.Integer",null),tph("_BG")), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_BG")),undCons(equalcons(tph("_AM"),type("Matrix",null)), null)),orCons(undCons(equalcons(tph("_AM"),type("java.util.Vector",params(tph("_ANE")))),undCons(subcons(type("java.lang.Integer",null),tph("_BG")), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_BG")),undCons(equalcons(tph("_AM"),type("java.util.AbstractList",params(tph("_AND")))), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_BG")),undCons(equalcons(tph("_AM"),type("Matrix",null)), null)),orCons(undCons(equalcons(tph("_AM"),type("java.util.List",params(tph("_ANC")))),undCons(subcons(type("java.lang.Integer",null),tph("_BG")), null)),orCons(undCons(equalcons(tph("_AM"),type("java.util.List",params(tph("_ANC")))),undCons(subcons(type("java.lang.Integer",null),tph("_BG")), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_BG")),undCons(equalcons(tph("_AM"),type("java.util.AbstractList",params(tph("_AND")))), null)), null)))))))).
|
||||
orCons(undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_BK")),undCons(subcons(tph("_BC"),type("java.lang.Integer",null)),undCons(equalcons(tph("_AM"),type("Matrix",null)), null))),orCons(undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_BK")),undCons(subcons(tph("_BC"),type("java.lang.Integer",null)),undCons(equalcons(tph("_AM"),type("Matrix",null)), null))),orCons(undCons(subcons(tph("_BC"),type("java.lang.Integer",null)),undCons(subcons(tph("_ANG"),tph("_BK")),undCons(equalcons(tph("_AM"),type("java.util.AbstractList",params(tph("_ANG")))), null))),orCons(undCons(subcons(tph("_BC"),type("java.lang.Integer",null)),undCons(equalcons(tph("_AM"),type("java.util.Vector",params(tph("_ANH")))),undCons(subcons(tph("_ANH"),tph("_BK")), null))),orCons(undCons(subcons(tph("_BC"),type("java.lang.Integer",null)),undCons(subcons(tph("_ANG"),tph("_BK")),undCons(equalcons(tph("_AM"),type("java.util.AbstractList",params(tph("_ANG")))), null))),orCons(undCons(subcons(tph("_ANF"),tph("_BK")),undCons(subcons(tph("_BC"),type("java.lang.Integer",null)),undCons(equalcons(tph("_AM"),type("java.util.List",params(tph("_ANF")))), null))),orCons(undCons(subcons(tph("_ANF"),tph("_BK")),undCons(subcons(tph("_BC"),type("java.lang.Integer",null)),undCons(equalcons(tph("_AM"),type("java.util.List",params(tph("_ANF")))), null))),orCons(undCons(subcons(tph("_BC"),type("java.lang.Integer",null)),undCons(subcons(tph("_ANH"),tph("_BK")),undCons(equalcons(tph("_AM"),type("java.util.Vector",params(tph("_ANH")))), null))), null)))))))).
|
||||
orCons(undCons(subcons(tph("_BC"),type("java.lang.Integer",null)),undCons(subcons(tph("_ANI"),tph("_BR")),undCons(equalcons(tph("_AC"),type("java.util.List",params(tph("_ANI")))), null))),orCons(undCons(subcons(tph("_BC"),type("java.lang.Integer",null)),undCons(equalcons(tph("_AC"),type("Matrix",null)),undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_BR")), null))),orCons(undCons(subcons(tph("_BC"),type("java.lang.Integer",null)),undCons(equalcons(tph("_AC"),type("Matrix",null)),undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_BR")), null))),orCons(undCons(subcons(tph("_BC"),type("java.lang.Integer",null)),undCons(subcons(tph("_ANJ"),tph("_BR")),undCons(equalcons(tph("_AC"),type("java.util.AbstractList",params(tph("_ANJ")))), null))),orCons(undCons(equalcons(tph("_AC"),type("java.util.Vector",params(tph("_ANK")))),undCons(subcons(tph("_BC"),type("java.lang.Integer",null)),undCons(subcons(tph("_ANK"),tph("_BR")), null))),orCons(undCons(equalcons(tph("_AC"),type("java.util.Vector",params(tph("_ANK")))),undCons(subcons(tph("_BC"),type("java.lang.Integer",null)),undCons(subcons(tph("_ANK"),tph("_BR")), null))),orCons(undCons(subcons(tph("_BC"),type("java.lang.Integer",null)),undCons(subcons(tph("_ANI"),tph("_BR")),undCons(equalcons(tph("_AC"),type("java.util.List",params(tph("_ANI")))), null))),orCons(undCons(subcons(tph("_BC"),type("java.lang.Integer",null)),undCons(subcons(tph("_ANJ"),tph("_BR")),undCons(equalcons(tph("_AC"),type("java.util.AbstractList",params(tph("_ANJ")))), null))), null)))))))).
|
||||
orCons(undCons(subcons(tph("_ANM"),tph("_BO")),undCons(equalcons(tph("_BR"),type("java.util.AbstractList",params(tph("_ANM")))),undCons(subcons(tph("_AU"),type("java.lang.Integer",null)), null))),orCons(undCons(subcons(tph("_AU"),type("java.lang.Integer",null)),undCons(equalcons(tph("_BR"),type("Matrix",null)),undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_BO")), null))),orCons(undCons(equalcons(tph("_BR"),type("java.util.List",params(tph("_ANL")))),undCons(subcons(tph("_ANL"),tph("_BO")),undCons(subcons(tph("_AU"),type("java.lang.Integer",null)), null))),orCons(undCons(equalcons(tph("_BR"),type("java.util.List",params(tph("_ANL")))),undCons(subcons(tph("_ANL"),tph("_BO")),undCons(subcons(tph("_AU"),type("java.lang.Integer",null)), null))),orCons(undCons(subcons(tph("_ANN"),tph("_BO")),undCons(equalcons(tph("_BR"),type("java.util.Vector",params(tph("_ANN")))),undCons(subcons(tph("_AU"),type("java.lang.Integer",null)), null))),orCons(undCons(subcons(tph("_ANM"),tph("_BO")),undCons(equalcons(tph("_BR"),type("java.util.AbstractList",params(tph("_ANM")))),undCons(subcons(tph("_AU"),type("java.lang.Integer",null)), null))),orCons(undCons(subcons(tph("_ANN"),tph("_BO")),undCons(equalcons(tph("_BR"),type("java.util.Vector",params(tph("_ANN")))),undCons(subcons(tph("_AU"),type("java.lang.Integer",null)), null))),orCons(undCons(subcons(tph("_AU"),type("java.lang.Integer",null)),undCons(equalcons(tph("_BR"),type("Matrix",null)),undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_BO")), null))), null)))))))).
|
||||
orCons(undCons(subcons(tph("_BO"),type("java.lang.Integer",null)),undCons(equalcons(type("java.lang.Integer",null),tph("_BU")),undCons(subcons(tph("_BK"),type("java.lang.Integer",null)), null))), null).
|
||||
orCons(undCons(subcons(tph("_BU"),type("java.lang.Integer",null)),undCons(subcons(tph("_BA"),type("java.lang.Integer",null)),undCons(equalcons(type("java.lang.Integer",null),tph("_BV")), null))), null).
|
||||
orCons(undCons(subcons(tph("_BA"),type("java.util.Vector",params(type("java.lang.Integer",null)))),undCons(equalcons(tph("_AS"),type("Matrix",null)), null)),orCons(undCons(subcons(tph("_BA"),type("java.util.Vector",params(type("java.lang.Integer",null)))),undCons(equalcons(tph("_AS"),type("Matrix",null)), null)),orCons(undCons(equalcons(tph("_AS"),type("java.util.Vector",params(tph("_ANO")))),undCons(subcons(tph("_BA"),tph("_ANO")), null)),orCons(undCons(equalcons(tph("_AS"),type("java.util.Vector",params(tph("_ANO")))),undCons(subcons(tph("_BA"),tph("_ANO")), null)), null)))).
|
||||
orCons(undCons(subcons(tph("_AS"),type("java.util.Vector",params(type("java.lang.Integer",null)))),undCons(equalcons(tph("_AD"),type("Matrix",null)), null)),orCons(undCons(equalcons(tph("_AD"),type("java.util.Vector",params(tph("_ANP")))),undCons(subcons(tph("_AS"),tph("_ANP")), null)),orCons(undCons(subcons(tph("_AS"),type("java.util.Vector",params(type("java.lang.Integer",null)))),undCons(equalcons(tph("_AD"),type("Matrix",null)), null)),orCons(undCons(equalcons(tph("_AD"),type("java.util.Vector",params(tph("_ANP")))),undCons(subcons(tph("_AS"),tph("_ANP")), null)), null)))).
|
||||
orCons(undCons(equalcons(tph("_G"),type("java.lang.Integer",null)), null), null).
|
||||
orCons(undCons(subcons(type("java.lang.Integer",null),tph("_J")),undCons(equalcons(tph("_F"),type("java.util.List",params(tph("_ANS")))), null)),orCons(undCons(equalcons(tph("_F"),type("java.util.AbstractList",params(tph("_ANT")))),undCons(subcons(type("java.lang.Integer",null),tph("_J")), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_J")),undCons(equalcons(tph("_F"),type("java.util.Vector",params(tph("_ANU")))), null)),orCons(undCons(equalcons(tph("_F"),type("Matrix",null)),undCons(subcons(type("java.lang.Integer",null),tph("_J")), null)),orCons(undCons(equalcons(tph("_F"),type("Matrix",null)),undCons(subcons(type("java.lang.Integer",null),tph("_J")), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_J")),undCons(equalcons(tph("_F"),type("java.util.List",params(tph("_ANS")))), null)),orCons(undCons(subcons(type("java.lang.Integer",null),tph("_J")),undCons(equalcons(tph("_F"),type("java.util.Vector",params(tph("_ANU")))), null)),orCons(undCons(equalcons(tph("_F"),type("java.util.AbstractList",params(tph("_ANT")))),undCons(subcons(type("java.lang.Integer",null),tph("_J")), null)), null)))))))).
|
||||
orCons(undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(subcons(tph("_ANV"),tph("_N")),undCons(equalcons(tph("_F"),type("java.util.Vector",params(tph("_ANV")))), null))),orCons(undCons(equalcons(tph("_F"),type("Matrix",null)),undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_N")), null))),orCons(undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(subcons(tph("_ANV"),tph("_N")),undCons(equalcons(tph("_F"),type("java.util.Vector",params(tph("_ANV")))), null))),orCons(undCons(equalcons(tph("_F"),type("Matrix",null)),undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_N")), null))), null)))).
|
||||
orCons(undCons(equalcons(tph("_F"),type("Matrix",null)),undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_N")), null))),orCons(undCons(equalcons(tph("_F"),type("java.util.Vector",params(tph("_ANX")))),undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(subcons(tph("_ANX"),tph("_N")), null))),orCons(undCons(equalcons(tph("_F"),type("java.util.Vector",params(tph("_ANX")))),undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(subcons(tph("_ANX"),tph("_N")), null))),orCons(undCons(equalcons(tph("_F"),type("Matrix",null)),undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_N")), null))), null)))).
|
||||
orCons(undCons(equalcons(tph("_F"),type("Matrix",null)),undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_N")), null))),orCons(undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(equalcons(tph("_F"),type("Matrix",null)),undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_N")), null))),orCons(undCons(equalcons(tph("_F"),type("java.util.Vector",params(tph("_ANZ")))),undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(subcons(tph("_ANZ"),tph("_N")), null))),orCons(undCons(equalcons(tph("_F"),type("java.util.Vector",params(tph("_ANZ")))),undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(subcons(tph("_ANZ"),tph("_N")), null))), null)))).
|
||||
orCons(undCons(equalcons(tph("_F"),type("Matrix",null)),undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_N")), null))),orCons(undCons(subcons(tph("_AOB"),tph("_N")),undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(equalcons(tph("_F"),type("java.util.Vector",params(tph("_AOB")))), null))),orCons(undCons(subcons(tph("_AOB"),tph("_N")),undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(equalcons(tph("_F"),type("java.util.Vector",params(tph("_AOB")))), null))),orCons(undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(equalcons(tph("_F"),type("Matrix",null)),undCons(subcons(type("java.util.Vector",params(type("java.lang.Integer",null))),tph("_N")), null))), null)))).
|
||||
orCons(undCons(subcons(type("java.lang.Boolean",null),tph("_R")),undCons(subcons(tph("_N"),tph("_AOA")),undCons(equalcons(tph("_S"),type("java.util.Vector",params(tph("_AOA")))), null))),orCons(undCons(subcons(type("java.lang.Boolean",null),tph("_R")),undCons(subcons(tph("_N"),tph("_ANW")),undCons(equalcons(tph("_S"),type("java.util.List",params(tph("_ANW")))), null))),orCons(undCons(subcons(type("java.lang.Boolean",null),tph("_R")),undCons(subcons(tph("_N"),tph("_ANW")),undCons(equalcons(tph("_S"),type("java.util.List",params(tph("_ANW")))), null))),orCons(undCons(subcons(type("java.lang.Boolean",null),tph("_R")),undCons(subcons(tph("_N"),tph("_AOA")),undCons(equalcons(tph("_S"),type("java.util.Vector",params(tph("_AOA")))), null))),orCons(undCons(subcons(type("java.lang.Boolean",null),tph("_R")),undCons(equalcons(tph("_S"),type("Matrix",null)),undCons(subcons(tph("_N"),type("java.util.Vector",params(type("java.lang.Integer",null)))), null))),orCons(undCons(subcons(type("java.lang.Boolean",null),tph("_R")),undCons(equalcons(tph("_S"),type("Matrix",null)),undCons(subcons(tph("_N"),type("java.util.Vector",params(type("java.lang.Integer",null)))), null))),orCons(undCons(subcons(type("java.lang.Boolean",null),tph("_R")),undCons(equalcons(tph("_S"),type("java.util.AbstractList",params(tph("_ANY")))),undCons(subcons(tph("_N"),tph("_ANY")), null))),orCons(undCons(subcons(type("java.lang.Boolean",null),tph("_R")),undCons(equalcons(tph("_S"),type("java.util.AbstractList",params(tph("_ANY")))),undCons(subcons(tph("_N"),tph("_ANY")), null))), null)))))))).
|
||||
orCons(undCons(equalcons(tph("_U"),type("java.lang.Integer",null)), null), null).
|
||||
orCons(undCons(subcons(type("java.lang.Integer",null),type("java.lang.Integer",null)),undCons(subcons(tph("_U"),type("java.lang.Integer",null)),undCons(equalcons(type("java.lang.Integer",null),tph("_V")), null))), null).
|
||||
|
||||
subtype(type("java.lang.Boolean",null),type("java.lang.Object",null)):-subtype(type("java.lang.Boolean",null)).subtype(type("java.lang.Integer",null),type("java.lang.Number",null)):-subtype(type("java.lang.Integer",null)).subtype(type("java.lang.Number",null),type("java.lang.Object",null)):-subtype(type("java.lang.Number",null)).
|
||||
subtype(type("java.util.Vector",params(XX)),type("java.lang.Object",null)):-subtype(type("java.util.Vector",params(XX))).
|
||||
subtype(type("Matrix",null),type("java.util.Vector",params(type("java.util.Vector",params(type("java.lang.Integer",null)))))):-subtype(type("Matrix",null)).
|
||||
|
||||
subtype(type("java.lang.Boolean",null),type("java.lang.Object",null)):-subtype(type("java.lang.Boolean",null)).subtype(type("java.lang.Integer",null),type("java.lang.Number",null)):-subtype(type("java.lang.Integer",null)).subtype(type("java.lang.Number",null),type("java.lang.Object",null)):-subtype(type("java.lang.Number",null)).subtype(type("java.util.Vector",params(XX)),type("java.lang.Object",null)):-subtype(type("java.util.Vector",params(XX))).subtype(type("Matrix",null),type("java.util.Vector",params(type("java.util.Vector",params(type("java.lang.Integer",null)))))):-subtype(type("Matrix",null)).
|
||||
|
||||
subtype(type("C1",null),type("java.lang.Object",null)):-subtype(type("C1",null)).
|
||||
subtype(type("C2",null),type("java.lang.Object",null)):-subtype(type("C2",null)).
|
||||
subtype(type("java.lang.Boolean",null),type("java.lang.Object",null)):-subtype(type("java.lang.Boolean",null)).subtype(type("java.lang.String",null),type("java.lang.Object",null)):-subtype(type("java.lang.String",null)).subtype(type("java.lang.Integer",null),type("java.lang.Object",null)):-subtype(type("java.lang.Integer",null)).subtype(type("OrConsTest",null),type("java.lang.Object",null)):-subtype(type("OrConsTest",null)).subtype(type("MyPair",params(XX,XY)),type("Pair",params(XX,XX))):-subtype(type("MyPair",params(XX,XY))).subtype(type("Pair",params(XX,XY)),type("java.lang.Object",null)):-subtype(type("Pair",params(XX,XY))).subtype(type("List",params(XX)),type("java.lang.Object",null)):-subtype(type("List",params(XX))).subtype(type("Integer",null),type("java.lang.Object",null)):-subtype(type("Integer",null)).subtype(type("String",null),type("java.lang.Object",null)):-subtype(type("String",null)).
|
||||
|
||||
|
||||
#show sigma/2.
|
||||
10
src/main/asp/testSolutionGen.lp
Normal file
10
src/main/asp/testSolutionGen.lp
Normal file
@@ -0,0 +1,10 @@
|
||||
subcons(tph("A"), type("C", "none")).
|
||||
subcons(tph("A"), type("C2", "none")).
|
||||
|
||||
equalcons(tph("A"), type("C2", "none2")).
|
||||
|
||||
:- equalcons(A, B), equalcons(A, C), C != B.
|
||||
|
||||
subcons(tph(A), type(C, CP)) :- equalcons(tph(A), type(C, CP)).
|
||||
equalcons(tph(A), type(C, CP)) ; nothingFor(tph(A), type(C, CP)) :- subcons(tph(A), type(C, CP)).
|
||||
:- nothingFor(tph(A), _), not equalcons(tph(A), _).
|
||||
130
src/main/asp/unifyDiss.lp
Normal file
130
src/main/asp/unifyDiss.lp
Normal file
@@ -0,0 +1,130 @@
|
||||
|
||||
|
||||
% Or-Constraints
|
||||
undCons(A,B) :- orCons(undCons(A,B), null).
|
||||
undCons(A,B); orCons(C,D) :- orCons(undCons(A,B), orCons(C,D)).
|
||||
|
||||
|
||||
% undCons
|
||||
subcons(A,B) :- undCons(subcons(A,B), _).
|
||||
undCons(C,D) :- undCons(_, undCons(C,D)).
|
||||
equalcons(A,B) :- undCons(equalcons(A,B), _).
|
||||
undCons(B,C) :- undCons(A, undCons(B, C)).
|
||||
|
||||
|
||||
% Subtyping
|
||||
subtype(B, B) :- subtype(A, B). % reflexive
|
||||
subtype(A, A) :- subtype(A, B). % reflexive
|
||||
subtype(A, C) :- subtype(A, B), subtype(B, C). % transitive
|
||||
|
||||
% we use subst to only replace tph's with real types:
|
||||
subst(tph(A), type(C, CP)):- equalcons(tph(A), type(C,CP)).
|
||||
|
||||
% subst-L:
|
||||
subcons(B,C) :- subst(A, B), subcons(A, C).
|
||||
%subst-R:
|
||||
subcons(C,B) :- subst(A, B), subcons(C, A).
|
||||
%subst-Equal:
|
||||
equalcons(B,C) :- subst(A, B), equalcons(A, C).
|
||||
|
||||
%swap:
|
||||
equalcons(A,B) :- equalcons(B,A).
|
||||
|
||||
%unfold:
|
||||
equalcons(T, T) :- equalcons(_, type(_, params(T))).
|
||||
equalcons(T, T) :- equalcons(_, type(_, params(T, _))).
|
||||
equalcons(T, T) :- equalcons(_, type(_, params(_, T))).
|
||||
equalcons(T, T) :- equalcons(_, type(_, params(T, _, _))).
|
||||
equalcons(T, T) :- equalcons(_, type(_, params(_, T, _))).
|
||||
equalcons(T, T) :- equalcons(_, type(_, params(_, _, T))).
|
||||
|
||||
%unfold-Right:
|
||||
equalcons(T, T) :- subcons(_, type(_, params(T))).
|
||||
equalcons(T, T) :- subcons(_, type(_, params(T, _))).
|
||||
equalcons(T, T) :- subcons(_, type(_, params(_, T))).
|
||||
equalcons(T, T) :- subcons(_, type(_, params(T, _, _))).
|
||||
equalcons(T, T) :- subcons(_, type(_, params(_, T, _))).
|
||||
equalcons(T, T) :- subcons(_, type(_, params(_, _, T))).
|
||||
|
||||
|
||||
%unfold-Left:
|
||||
equalcons(T, T) :- subcons(type(_, params(T)), _).
|
||||
equalcons(T, T) :- subcons(type(_, params(T, _)), _).
|
||||
equalcons(T, T) :- subcons(type(_, params(_, T)), _).
|
||||
equalcons(T, T) :- subcons(type(_, params(T, _, _)), _).
|
||||
equalcons(T, T) :- subcons(type(_, params(_, T, _)), _).
|
||||
equalcons(T, T) :- subcons(type(_, params(_, _, T)), _).
|
||||
|
||||
% Subst-Param:
|
||||
subcons(A, type(C, params(T2))) :- subcons(A, type(C, params(T))), subst(T, T2).
|
||||
subcons(A, type(C, params(T2, P2))) :- subcons(A, type(C, params(T, P2))), subst(T, T2).
|
||||
subcons(A, type(C, params(P1, T2))) :- subcons(A, type(C, params(P1, T))), subst(T, T2).
|
||||
subcons(A, type(C, params(T2, P2, P3))) :- subcons(A, type(C, params(T, P2, P3))), subst(T, T2).
|
||||
subcons(A, type(C, params(P1, T2, P3))) :- subcons(A, type(C, params(P1, T, P3))), subst(T, T2).
|
||||
subcons(A, type(C, params( P1, P2, T2))) :- subcons(A, type(C, params(P1, P2, T))), subst(T, T2).
|
||||
|
||||
% Subst-Param':
|
||||
subcons(A, type(C, params(T2))) :- equalcons(A, type(C, params(T))), subst(T, T2).
|
||||
subcons(A, type(C, params(T2, P2))) :- equalcons(A, type(C, params(T, P2))), subst(T, T2).
|
||||
subcons(A, type(C, params(P1, T2))) :- equalcons(A, type(C, params(P1, T))), subst(T, T2).
|
||||
subcons(A, type(C, params(T2, P2, P3))) :- equalcons(A, type(C, params(T, P2, P3))), subst(T, T2).
|
||||
subcons(A, type(C, params(P1, T2, P3))) :- equalcons(A, type(C, params(P1, T, P3))), subst(T, T2).
|
||||
subcons(A, type(C, params( P1, P2, T2))) :- equalcons(A, type(C, params(P1, P2, T))), subst(T, T2).
|
||||
|
||||
% adapt
|
||||
equalcons(type(D,P3), type(D,P2)) :- subcons(type(C,P), type(D, P2)), subtype(type(C, P), type(D, P3)).
|
||||
%subtype(type(A, P)) :- subcons(type(_, _), type(A, P)).
|
||||
subtype(type(A, P)) :- subcons(type(A, P), _).
|
||||
|
||||
% reduce
|
||||
equalcons(P1, PP1) :- equalcons(type(C, params(P1)), type(C, params(PP1))).
|
||||
equalcons(P1, PP1) :- equalcons(type(C, params(P1, P2)), type(C, params(PP1, PP2))).
|
||||
equalcons(P2, PP2) :- equalcons(type(C, params(P1, P2)), type(C, params(PP1, PP2))).
|
||||
equalcons(P1, PP1) :- equalcons(type(C, params(P1, P2, P3)), type(C, params(PP1, PP2, PP3))).
|
||||
equalcons(P2, PP2) :- equalcons(type(C, params(P1, P2, P3)), type(C, params(PP1, PP2, PP3))).
|
||||
equalcons(P3, PP3) :- equalcons(type(C, params(P1, P2, P3)), type(C, params(PP1, PP2, PP3))).
|
||||
|
||||
% super
|
||||
{ equalcons(tph(A), type(D, DP)): subtype(type(C, CP), type(D, DP)) } == 1 :- subcons(type(C, CP), tph(A)).
|
||||
% equalcons(tph(A), type(D, DP)) ; notequals(tph(A), type(D, DP)) :- subcons(type(C, CP), tph(A)), subtype(type(C, CP), type(D, DP)).
|
||||
% equalcons(tph(A), type(D, CP)) :- subcons(type(C, CP), tph(A)), subtype(type(C, CP), type(D, DP)).
|
||||
|
||||
|
||||
%Solution:
|
||||
tphs( P ) :- equalcons(tph(A), type(C, P)).
|
||||
sigma(tph(A), type(C,P)) :- equalcons(tph(A), type(C, P)), not tphs(_, P).
|
||||
|
||||
%Solution-Gen:
|
||||
equalcons(tph(A), type(C, CP)) ; nothingFor(tph(A), type(C, CP)) :- subcons(tph(A), type(C, CP)).
|
||||
|
||||
%Solution-Requirement:
|
||||
:- nothingFor(tph(A), _), not equalcons(tph(A), _).
|
||||
|
||||
% S-Object
|
||||
subcons(tph(A), type("java.lang.Object", null)) :- subcons(tph(A), _).
|
||||
subcons(tph(A), type("java.lang.Object", null)) :- subcons(_, tph(A)).
|
||||
subcons(tph(A), type("java.lang.Object", null)) :- equalcons(tph(A), _).
|
||||
|
||||
%% Helpers
|
||||
%tphs:
|
||||
tphs(tph(P), params(tph(P))) :- tphs( params(tph(P))).
|
||||
tphs(P) :- tphs( params(type(C, P))).
|
||||
tphs(tph(A), params(type(C, P))) :- tphs( params(type(C, P))), tphs(tph(A), P).
|
||||
|
||||
tphs(tph(P), params(X, tph(P))) :- tphs( params(X, tph(P))).
|
||||
tphs(tph(P), params(tph(P), X)) :- tphs( params(tph(P), X)).
|
||||
tphs(P) :- tphs( params(X, type(C, P))).
|
||||
tphs(P) :- tphs( params(type(C, P), X)).
|
||||
tphs(tph(A), params(X, type(C, P))) :- tphs( params(X, type(C, P))), tphs(tph(A), P).
|
||||
tphs(tph(A), params(type(C, P), X)) :- tphs( params(type(C, P), X)), tphs(tph(A), P).
|
||||
|
||||
|
||||
tphs(tph(P), params(tph(P), X, Y)) :- tphs( params(tph(P), X, Y)).
|
||||
tphs(tph(P), params(X, tph(P), Y)) :- tphs( params(X, tph(P), Y)).
|
||||
tphs(tph(P), params(X,Y,tph(P))) :- tphs( params(X, Y, tph(P))).
|
||||
tphs(P) :- tphs( params(type(C, P), X, Y)).
|
||||
tphs(P) :- tphs( params(X, type(C, P),Y)).
|
||||
tphs(P) :- tphs( params(X,Y,type(C, P))).
|
||||
tphs(tph(A), params(type(C, P), X, Y)) :- tphs( params(type(C, P), X, Y)), tphs(tph(A), P).
|
||||
tphs(tph(A), params(X, type(C, P), Y)) :- tphs( params(X, type(C, P), Y)), tphs(tph(A), P).
|
||||
tphs(tph(A), params(X, Y, type(C, P))) :- tphs( params(X, Y, type(C, P))), tphs(tph(A), P).
|
||||
@@ -14,6 +14,15 @@ public class ASPGenerator {
|
||||
return ret.toString();
|
||||
}
|
||||
|
||||
public static String generateASP(List<List<Set<Pair>>> orCons, int numCons){
|
||||
StringBuilder ret = new StringBuilder();
|
||||
for(List<Set<Pair>> orCon : orCons){
|
||||
var smallerOrCon = orCon.stream().limit(numCons).collect(Collectors.toList());
|
||||
ret.append(generateOrCons(smallerOrCon) + ".\n");
|
||||
}
|
||||
return ret.toString();
|
||||
}
|
||||
|
||||
public static String generateOrCons(List<Set<Pair>> undCon){
|
||||
if(undCon.size() < 2){
|
||||
return "orCons(" + generateUndCons(undCon.getFirst()) + ", null)";
|
||||
|
||||
427
src/test/data/OrTestAllClassesWith3AddMethodsABCDCalls.cons
Normal file
427
src/test/data/OrTestAllClassesWith3AddMethodsABCDCalls.cons
Normal file
@@ -0,0 +1,427 @@
|
||||
{ _b<._E, _a<.java.util.concurrent.ConcurrentLinkedDeque |
|
||||
_b<.javax.swing.JMenuItem, _a<.javax.swing.JPopupMenu |
|
||||
_b<.java.math.BigInteger, _a<.java.math.BigInteger |
|
||||
_b<.java.awt.MenuItem, _a<.java.awt.Menu |
|
||||
_b<.java.lang.Object, _a<.java.beans.beancontext.BeanContextSupport |
|
||||
_b<.javax.xml.stream.XMLEventReader, _a<.javax.xml.stream.XMLEventWriter |
|
||||
_b<._E, _a<.java.util.AbstractList |
|
||||
_b<._E, _a<.java.util.HashSet |
|
||||
_b<._E, _a<.java.util.ListIterator |
|
||||
_b<._E, _a<.java.util.LinkedList |
|
||||
_b<.java.awt.geom.Point2D, _a<.java.awt.geom.Rectangle2D |
|
||||
_b<._E, _a<.java.util.concurrent.DelayQueue |
|
||||
_b<._E, _a<.java.util.concurrent.CopyOnWriteArrayList |
|
||||
_b<._E, _a<.java.util.AbstractQueue |
|
||||
_b<.double, _a<.java.util.concurrent.atomic.DoubleAdder |
|
||||
_b<.java.lang.String, _a<.javax.naming.CompoundName |
|
||||
_b<._E, _a<.java.util.List |
|
||||
_b<.javax.swing.JMenuItem, _a<.javax.swing.JMenu |
|
||||
_b<.java.security.Permission, _a<.java.security.Permissions |
|
||||
_b<.long, _a<.java.util.stream.LongStream$Builder |
|
||||
_b<._E, _a<.java.util.AbstractCollection |
|
||||
_b<._E, _a<.java.util.concurrent.PriorityBlockingQueue |
|
||||
_b<.java.lang.CharSequence, _a<.java.util.StringJoiner |
|
||||
_b<._E, _a<.java.util.concurrent.ArrayBlockingQueue |
|
||||
_b<.javax.swing.JMenu, _a<.javax.swing.JMenuBar |
|
||||
_b<.java.math.BigDecimal, _a<.java.math.BigDecimal |
|
||||
_b<.java.lang.String, _a<.javax.swing.JPopupMenu |
|
||||
_b<.javax.management.relation.Role, _a<.javax.management.relation.RoleList |
|
||||
_b<.java.lang.String, _a<.javax.naming.Name |
|
||||
_b<.javax.xml.datatype.Duration, _a<.javax.xml.datatype.Duration |
|
||||
_b<.javax.accessibility.AccessibleState, _a<.javax.accessibility.AccessibleStateSet |
|
||||
_b<.javax.naming.RefAddr, _a<.javax.naming.Reference |
|
||||
_b<.javax.xml.stream.events.XMLEvent, _a<.javax.xml.stream.util.XMLEventConsumer |
|
||||
_b<._E, _a<.java.util.concurrent.ConcurrentSkipListSet |
|
||||
_b<._E, _a<.java.util.ArrayList |
|
||||
_b<.javax.print.attribute.Attribute, _a<.javax.print.attribute.PrintServiceAttributeSet |
|
||||
_b<.java.lang.Object, _a<.javax.naming.directory.BasicAttribute |
|
||||
_b<._E, _a<.java.util.concurrent.ConcurrentLinkedQueue |
|
||||
_b<.java.lang.String, _a<.java.awt.Choice |
|
||||
_b<.java.lang.Object, _a<.javax.management.relation.RoleUnresolvedList |
|
||||
_b<.javax.accessibility.AccessibleRelation, _a<.javax.accessibility.AccessibleRelationSet |
|
||||
_b<.java.awt.RenderingHints, _a<.java.awt.RenderingHints |
|
||||
_b<.javax.print.attribute.Attribute, _a<.javax.print.attribute.HashAttributeSet |
|
||||
_b<.java.awt.geom.Rectangle2D, _a<.java.awt.geom.Rectangle2D |
|
||||
_b<.javax.naming.ldap.Rdn, _a<.javax.naming.ldap.LdapName |
|
||||
_b<._E, _a<.java.util.Set |
|
||||
_b<.java.awt.TrayIcon, _a<.java.awt.SystemTray |
|
||||
_b<.javax.sound.midi.MidiEvent, _a<.javax.sound.midi.Track |
|
||||
_b<.java.awt.Component, _a<.javax.swing.JMenu |
|
||||
_b<.short, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_b<.javax.print.attribute.Attribute, _a<.javax.print.attribute.PrintRequestAttributeSet |
|
||||
_b<.float, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_b<._E, _a<.java.util.concurrent.LinkedBlockingDeque |
|
||||
_b<.javax.swing.Action, _a<.javax.swing.JToolBar |
|
||||
_b<.java.lang.String, _a<.javax.naming.ldap.LdapName |
|
||||
_b<.java.awt.Component, _a<.javax.swing.JTabbedPane |
|
||||
_b<.java.lang.Object, _a<.javax.management.relation.RoleList |
|
||||
_b<._T, _a<.java.util.stream.Stream$Builder |
|
||||
_b<._K, _a<.java.util.concurrent.ConcurrentHashMap$KeySetView |
|
||||
_b<.char, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_b<._E, _a<.java.util.concurrent.LinkedTransferQueue |
|
||||
_b<._E, _a<.java.util.Queue |
|
||||
_b<.javax.swing.Action, _a<.javax.swing.JMenu |
|
||||
_b<.java.awt.Component, _a<.java.awt.Container |
|
||||
_b<.java.awt.geom.Area, _a<.java.awt.geom.Area |
|
||||
_b<._E, _a<.java.util.Vector |
|
||||
_b<._E, _a<.java.util.TreeSet |
|
||||
_b<.java.lang.String, _a<.java.awt.List |
|
||||
_b<.java.lang.String, _a<.javax.naming.CompositeName |
|
||||
_b<.java.awt.PopupMenu, _a<.java.awt.Component |
|
||||
_b<.int, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_b<._E, _a<.java.util.concurrent.CopyOnWriteArraySet |
|
||||
_b<.java.awt.Rectangle, _a<.java.awt.Rectangle |
|
||||
_b<._E, _a<.java.util.PriorityQueue |
|
||||
_b<.long, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_b<.javax.swing.AbstractButton, _a<.javax.swing.ButtonGroup |
|
||||
_b<.int, _a<.java.util.stream.IntStream$Builder |
|
||||
_b<.java.lang.String, _a<.javax.swing.JMenu |
|
||||
_b<._E, _a<.java.util.concurrent.BlockingQueue |
|
||||
_b<.byte, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_b<.java.lang.Object, _a<.javax.management.AttributeList |
|
||||
_b<.javax.print.attribute.Attribute, _a<.javax.print.attribute.DocAttributeSet |
|
||||
_b<.java.security.Permission, _a<.java.security.PermissionCollection |
|
||||
_b<.double, _a<.java.util.stream.DoubleStream$Builder |
|
||||
_b<.java.lang.Object, _a<.java.util.concurrent.DelayQueue |
|
||||
_b<.javax.swing.Action, _a<.javax.swing.JPopupMenu |
|
||||
_b<.javax.print.attribute.Attribute, _a<.javax.print.attribute.AttributeSet |
|
||||
_b<.java.lang.Object, _a<.javax.naming.directory.Attribute |
|
||||
_b<.javax.management.relation.RoleUnresolved, _a<.javax.management.relation.RoleUnresolvedList |
|
||||
_b<.java.lang.Object, _a<.javax.print.attribute.standard.JobStateReasons |
|
||||
_b<._E, _a<.java.util.Deque |
|
||||
_b<._E, _a<.java.util.Collection |
|
||||
_b<.java.lang.String, _a<.java.awt.Menu |
|
||||
_b<.javax.xml.datatype.Duration, _a<.javax.xml.datatype.XMLGregorianCalendar |
|
||||
_b<.long, _a<.java.util.concurrent.atomic.LongAdder |
|
||||
_b<.java.awt.Menu, _a<.java.awt.MenuBar |
|
||||
_b<.javax.swing.tree.MutableTreeNode, _a<.javax.swing.tree.DefaultMutableTreeNode |
|
||||
_b<.javax.management.Attribute, _a<.javax.management.AttributeList |
|
||||
_b<.double, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_b<.java.awt.Point, _a<.java.awt.Rectangle |
|
||||
_b<.javax.xml.stream.events.XMLEvent, _a<.javax.xml.stream.XMLEventWriter |
|
||||
_b<.javax.print.attribute.Attribute, _a<.javax.print.attribute.PrintJobAttributeSet |
|
||||
_b<._E, _a<.java.util.concurrent.BlockingDeque |
|
||||
_b<.java.lang.Object, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_b<.javax.print.attribute.standard.JobStateReason, _a<.javax.print.attribute.standard.JobStateReasons |
|
||||
_b<._E, _a<.java.util.ArrayDeque }
|
||||
|
||||
{ _c<.java.lang.Object, _b<.java.awt.image.renderable.ParameterBlock |
|
||||
_c<.javax.accessibility.AccessibleState, _b<.javax.accessibility.AccessibleStateSet |
|
||||
_c<._E, _b<.java.util.List |
|
||||
_c<.javax.xml.datatype.Duration, _b<.javax.xml.datatype.XMLGregorianCalendar |
|
||||
_c<._E, _b<.java.util.ListIterator |
|
||||
_c<._E, _b<.java.util.concurrent.PriorityBlockingQueue |
|
||||
_c<._E, _b<.java.util.Vector |
|
||||
_c<._E, _b<.java.util.concurrent.CopyOnWriteArrayList |
|
||||
_c<.java.awt.geom.Rectangle2D, _b<.java.awt.geom.Rectangle2D |
|
||||
_c<._E, _b<.java.util.AbstractList |
|
||||
_c<.java.lang.String, _b<.javax.naming.ldap.LdapName |
|
||||
_c<._T, _b<.java.util.stream.Stream$Builder |
|
||||
_c<.java.awt.Point, _b<.java.awt.Rectangle |
|
||||
_c<.java.lang.String, _b<.javax.swing.JMenu |
|
||||
_c<._E, _b<.java.util.concurrent.CopyOnWriteArraySet |
|
||||
_c<.javax.xml.stream.XMLEventReader, _b<.javax.xml.stream.XMLEventWriter |
|
||||
_c<.java.lang.String, _b<.java.awt.List |
|
||||
_c<.java.lang.String, _b<.javax.naming.CompositeName |
|
||||
_c<.java.lang.String, _b<.javax.naming.CompoundName |
|
||||
_c<._E, _b<.java.util.concurrent.ConcurrentLinkedDeque |
|
||||
_c<.float, _b<.java.awt.image.renderable.ParameterBlock |
|
||||
_c<.short, _b<.java.awt.image.renderable.ParameterBlock |
|
||||
_c<.java.awt.Component, _b<.javax.swing.JTabbedPane |
|
||||
_c<._E, _b<.java.util.concurrent.LinkedTransferQueue |
|
||||
_c<.java.awt.TrayIcon, _b<.java.awt.SystemTray |
|
||||
_c<._E, _b<.java.util.concurrent.ConcurrentSkipListSet |
|
||||
_c<.javax.print.attribute.Attribute, _b<.javax.print.attribute.PrintRequestAttributeSet |
|
||||
_c<.javax.swing.AbstractButton, _b<.javax.swing.ButtonGroup |
|
||||
_c<.javax.sound.midi.MidiEvent, _b<.javax.sound.midi.Track |
|
||||
_c<.java.awt.Component, _b<.java.awt.Container |
|
||||
_c<.javax.xml.stream.events.XMLEvent, _b<.javax.xml.stream.XMLEventWriter |
|
||||
_c<._E, _b<.java.util.ArrayDeque |
|
||||
_c<.javax.xml.stream.events.XMLEvent, _b<.javax.xml.stream.util.XMLEventConsumer |
|
||||
_c<.java.awt.Menu, _b<.java.awt.MenuBar |
|
||||
_c<.char, _b<.java.awt.image.renderable.ParameterBlock |
|
||||
_c<.java.awt.geom.Area, _b<.java.awt.geom.Area |
|
||||
_c<.javax.management.Attribute, _b<.javax.management.AttributeList |
|
||||
_c<.javax.swing.Action, _b<.javax.swing.JMenu |
|
||||
_c<.java.lang.Object, _b<.java.util.concurrent.DelayQueue |
|
||||
_c<.java.awt.Rectangle, _b<.java.awt.Rectangle |
|
||||
_c<.javax.swing.Action, _b<.javax.swing.JToolBar |
|
||||
_c<.javax.swing.tree.MutableTreeNode, _b<.javax.swing.tree.DefaultMutableTreeNode |
|
||||
_c<.double, _b<.java.util.concurrent.atomic.DoubleAdder |
|
||||
_c<.java.lang.String, _b<.java.awt.Menu |
|
||||
_c<._E, _b<.java.util.concurrent.BlockingQueue |
|
||||
_c<._E, _b<.java.util.concurrent.DelayQueue |
|
||||
_c<._E, _b<.java.util.concurrent.ArrayBlockingQueue |
|
||||
_c<._E, _b<.java.util.Deque |
|
||||
_c<._E, _b<.java.util.Collection |
|
||||
_c<.javax.management.relation.Role, _b<.javax.management.relation.RoleList |
|
||||
_c<.java.lang.Object, _b<.javax.naming.directory.BasicAttribute |
|
||||
_c<.javax.print.attribute.standard.JobStateReason, _b<.javax.print.attribute.standard.JobStateReasons |
|
||||
_c<._E, _b<.java.util.TreeSet |
|
||||
_c<._E, _b<.java.util.concurrent.ConcurrentLinkedQueue |
|
||||
_c<.javax.swing.Action, _b<.javax.swing.JPopupMenu |
|
||||
_c<.java.awt.geom.Point2D, _b<.java.awt.geom.Rectangle2D |
|
||||
_c<.double, _b<.java.awt.image.renderable.ParameterBlock |
|
||||
_c<._E, _b<.java.util.LinkedList |
|
||||
_c<.java.security.Permission, _b<.java.security.PermissionCollection |
|
||||
_c<.javax.naming.ldap.Rdn, _b<.javax.naming.ldap.LdapName |
|
||||
_c<.java.math.BigInteger, _b<.java.math.BigInteger |
|
||||
_c<.java.awt.MenuItem, _b<.java.awt.Menu |
|
||||
_c<.long, _b<.java.util.concurrent.atomic.LongAdder |
|
||||
_c<.long, _b<.java.util.stream.LongStream$Builder |
|
||||
_c<.int, _b<.java.awt.image.renderable.ParameterBlock |
|
||||
_c<._E, _b<.java.util.AbstractCollection |
|
||||
_c<.java.lang.Object, _b<.javax.naming.directory.Attribute |
|
||||
_c<.javax.print.attribute.Attribute, _b<.javax.print.attribute.HashAttributeSet |
|
||||
_c<._K, _b<.java.util.concurrent.ConcurrentHashMap$KeySetView |
|
||||
_c<.java.lang.Object, _b<.java.beans.beancontext.BeanContextSupport |
|
||||
_c<._E, _b<.java.util.ArrayList |
|
||||
_c<.java.lang.String, _b<.java.awt.Choice |
|
||||
_c<.javax.xml.datatype.Duration, _b<.javax.xml.datatype.Duration |
|
||||
_c<.java.lang.String, _b<.javax.naming.Name |
|
||||
_c<.java.math.BigDecimal, _b<.java.math.BigDecimal |
|
||||
_c<._E, _b<.java.util.concurrent.BlockingDeque |
|
||||
_c<.java.lang.String, _b<.javax.swing.JPopupMenu |
|
||||
_c<._E, _b<.java.util.Queue |
|
||||
_c<.java.lang.Object, _b<.javax.management.AttributeList |
|
||||
_c<.java.awt.PopupMenu, _b<.java.awt.Component |
|
||||
_c<.java.lang.CharSequence, _b<.java.util.StringJoiner |
|
||||
_c<.java.awt.Component, _b<.javax.swing.JMenu |
|
||||
_c<.javax.print.attribute.Attribute, _b<.javax.print.attribute.AttributeSet |
|
||||
_c<.javax.swing.JMenu, _b<.javax.swing.JMenuBar |
|
||||
_c<.javax.print.attribute.Attribute, _b<.javax.print.attribute.DocAttributeSet |
|
||||
_c<.javax.print.attribute.Attribute, _b<.javax.print.attribute.PrintServiceAttributeSet |
|
||||
_c<.javax.naming.RefAddr, _b<.javax.naming.Reference |
|
||||
_c<.java.lang.Object, _b<.javax.print.attribute.standard.JobStateReasons |
|
||||
_c<.java.lang.Object, _b<.javax.management.relation.RoleUnresolvedList |
|
||||
_c<.javax.swing.JMenuItem, _b<.javax.swing.JPopupMenu |
|
||||
_c<._E, _b<.java.util.Set |
|
||||
_c<._E, _b<.java.util.concurrent.LinkedBlockingDeque |
|
||||
_c<.java.lang.Object, _b<.javax.management.relation.RoleList |
|
||||
_c<.javax.print.attribute.Attribute, _b<.javax.print.attribute.PrintJobAttributeSet |
|
||||
_c<.javax.accessibility.AccessibleRelation, _b<.javax.accessibility.AccessibleRelationSet |
|
||||
_c<._E, _b<.java.util.PriorityQueue |
|
||||
_c<.java.security.Permission, _b<.java.security.Permissions |
|
||||
_c<.javax.management.relation.RoleUnresolved, _b<.javax.management.relation.RoleUnresolvedList |
|
||||
_c<.long, _b<.java.awt.image.renderable.ParameterBlock |
|
||||
_c<.java.awt.RenderingHints, _b<.java.awt.RenderingHints |
|
||||
_c<._E, _b<.java.util.AbstractQueue |
|
||||
_c<.javax.swing.JMenuItem, _b<.javax.swing.JMenu |
|
||||
_c<.byte, _b<.java.awt.image.renderable.ParameterBlock |
|
||||
_c<._E, _b<.java.util.HashSet |
|
||||
_c<.double, _b<.java.util.stream.DoubleStream$Builder |
|
||||
_c<.int, _b<.java.util.stream.IntStream$Builder }
|
||||
|
||||
{ _d<._E, _c<.java.util.concurrent.ConcurrentLinkedQueue |
|
||||
_d<._E, _c<.java.util.Collection |
|
||||
_d<._E, _c<.java.util.AbstractCollection |
|
||||
_d<.java.awt.geom.Area, _c<.java.awt.geom.Area |
|
||||
_d<._E, _c<.java.util.TreeSet |
|
||||
_d<.java.lang.Object, _c<.java.util.concurrent.DelayQueue |
|
||||
_d<.javax.print.attribute.Attribute, _c<.javax.print.attribute.PrintJobAttributeSet |
|
||||
_d<.java.awt.Rectangle, _c<.java.awt.Rectangle |
|
||||
_d<.java.lang.Object, _c<.javax.naming.directory.Attribute |
|
||||
_d<._E, _c<.java.util.concurrent.CopyOnWriteArrayList |
|
||||
_d<.java.awt.PopupMenu, _c<.java.awt.Component |
|
||||
_d<.java.lang.Object, _c<.javax.naming.directory.BasicAttribute |
|
||||
_d<.javax.management.relation.Role, _c<.javax.management.relation.RoleList |
|
||||
_d<.javax.swing.Action, _c<.javax.swing.JToolBar |
|
||||
_d<._E, _c<.java.util.AbstractList |
|
||||
_d<._E, _c<.java.util.PriorityQueue |
|
||||
_d<._E, _c<.java.util.ArrayDeque |
|
||||
_d<.javax.swing.tree.MutableTreeNode, _c<.javax.swing.tree.DefaultMutableTreeNode |
|
||||
_d<.double, _c<.java.util.stream.DoubleStream$Builder |
|
||||
_d<.java.lang.String, _c<.javax.swing.JPopupMenu |
|
||||
_d<.javax.xml.datatype.Duration, _c<.javax.xml.datatype.Duration |
|
||||
_d<.byte, _c<.java.awt.image.renderable.ParameterBlock |
|
||||
_d<.long, _c<.java.awt.image.renderable.ParameterBlock |
|
||||
_d<._E, _c<.java.util.ListIterator |
|
||||
_d<.javax.swing.JMenuItem, _c<.javax.swing.JMenu |
|
||||
_d<.char, _c<.java.awt.image.renderable.ParameterBlock |
|
||||
_d<.java.awt.Component, _c<.java.awt.Container |
|
||||
_d<._E, _c<.java.util.concurrent.BlockingQueue |
|
||||
_d<.java.awt.geom.Point2D, _c<.java.awt.geom.Rectangle2D |
|
||||
_d<.javax.swing.Action, _c<.javax.swing.JPopupMenu |
|
||||
_d<.java.lang.Object, _c<.javax.management.relation.RoleList |
|
||||
_d<.java.lang.String, _c<.javax.naming.Name |
|
||||
_d<.javax.naming.RefAddr, _c<.javax.naming.Reference |
|
||||
_d<.java.lang.String, _c<.javax.naming.CompositeName |
|
||||
_d<.javax.xml.stream.events.XMLEvent, _c<.javax.xml.stream.util.XMLEventConsumer |
|
||||
_d<.java.lang.Object, _c<.java.awt.image.renderable.ParameterBlock |
|
||||
_d<.javax.accessibility.AccessibleState, _c<.javax.accessibility.AccessibleStateSet |
|
||||
_d<.javax.print.attribute.Attribute, _c<.javax.print.attribute.DocAttributeSet |
|
||||
_d<.javax.accessibility.AccessibleRelation, _c<.javax.accessibility.AccessibleRelationSet |
|
||||
_d<.java.awt.Menu, _c<.java.awt.MenuBar |
|
||||
_d<._E, _c<.java.util.List |
|
||||
_d<.javax.print.attribute.Attribute, _c<.javax.print.attribute.AttributeSet |
|
||||
_d<.java.lang.String, _c<.javax.naming.CompoundName |
|
||||
_d<._E, _c<.java.util.LinkedList |
|
||||
_d<.long, _c<.java.util.concurrent.atomic.LongAdder |
|
||||
_d<._E, _c<.java.util.Queue |
|
||||
_d<._E, _c<.java.util.concurrent.LinkedTransferQueue |
|
||||
_d<.java.math.BigInteger, _c<.java.math.BigInteger |
|
||||
_d<._E, _c<.java.util.concurrent.BlockingDeque |
|
||||
_d<.javax.swing.JMenuItem, _c<.javax.swing.JPopupMenu |
|
||||
_d<.java.lang.Object, _c<.javax.management.relation.RoleUnresolvedList |
|
||||
_d<.javax.xml.stream.XMLEventReader, _c<.javax.xml.stream.XMLEventWriter |
|
||||
_d<.java.awt.RenderingHints, _c<.java.awt.RenderingHints |
|
||||
_d<.java.lang.String, _c<.java.awt.Menu |
|
||||
_d<._E, _c<.java.util.Set |
|
||||
_d<.javax.swing.JMenu, _c<.javax.swing.JMenuBar |
|
||||
_d<.java.lang.Object, _c<.javax.management.AttributeList |
|
||||
_d<._E, _c<.java.util.Vector |
|
||||
_d<._E, _c<.java.util.concurrent.DelayQueue |
|
||||
_d<._E, _c<.java.util.AbstractQueue |
|
||||
_d<.int, _c<.java.awt.image.renderable.ParameterBlock |
|
||||
_d<.java.awt.Point, _c<.java.awt.Rectangle |
|
||||
_d<.java.lang.String, _c<.javax.swing.JMenu |
|
||||
_d<.double, _c<.java.util.concurrent.atomic.DoubleAdder |
|
||||
_d<.javax.management.relation.RoleUnresolved, _c<.javax.management.relation.RoleUnresolvedList |
|
||||
_d<.java.security.Permission, _c<.java.security.PermissionCollection |
|
||||
_d<.java.security.Permission, _c<.java.security.Permissions |
|
||||
_d<._E, _c<.java.util.concurrent.LinkedBlockingDeque |
|
||||
_d<.javax.naming.ldap.Rdn, _c<.javax.naming.ldap.LdapName |
|
||||
_d<._E, _c<.java.util.concurrent.ConcurrentLinkedDeque |
|
||||
_d<.int, _c<.java.util.stream.IntStream$Builder |
|
||||
_d<.java.awt.geom.Rectangle2D, _c<.java.awt.geom.Rectangle2D |
|
||||
_d<._E, _c<.java.util.Deque |
|
||||
_d<._E, _c<.java.util.ArrayList |
|
||||
_d<.java.lang.String, _c<.javax.naming.ldap.LdapName |
|
||||
_d<._E, _c<.java.util.HashSet |
|
||||
_d<.javax.swing.AbstractButton, _c<.javax.swing.ButtonGroup |
|
||||
_d<.java.lang.String, _c<.java.awt.List |
|
||||
_d<.java.lang.Object, _c<.java.beans.beancontext.BeanContextSupport |
|
||||
_d<._K, _c<.java.util.concurrent.ConcurrentHashMap$KeySetView |
|
||||
_d<.javax.xml.datatype.Duration, _c<.javax.xml.datatype.XMLGregorianCalendar |
|
||||
_d<.javax.management.Attribute, _c<.javax.management.AttributeList |
|
||||
_d<.java.math.BigDecimal, _c<.java.math.BigDecimal |
|
||||
_d<.javax.xml.stream.events.XMLEvent, _c<.javax.xml.stream.XMLEventWriter |
|
||||
_d<.double, _c<.java.awt.image.renderable.ParameterBlock |
|
||||
_d<._E, _c<.java.util.concurrent.ArrayBlockingQueue |
|
||||
_d<.javax.print.attribute.Attribute, _c<.javax.print.attribute.HashAttributeSet |
|
||||
_d<._E, _c<.java.util.concurrent.ConcurrentSkipListSet |
|
||||
_d<.javax.print.attribute.standard.JobStateReason, _c<.javax.print.attribute.standard.JobStateReasons |
|
||||
_d<._E, _c<.java.util.concurrent.PriorityBlockingQueue |
|
||||
_d<.javax.swing.Action, _c<.javax.swing.JMenu |
|
||||
_d<.java.awt.MenuItem, _c<.java.awt.Menu |
|
||||
_d<.short, _c<.java.awt.image.renderable.ParameterBlock |
|
||||
_d<.float, _c<.java.awt.image.renderable.ParameterBlock |
|
||||
_d<.java.lang.CharSequence, _c<.java.util.StringJoiner |
|
||||
_d<.javax.print.attribute.Attribute, _c<.javax.print.attribute.PrintRequestAttributeSet |
|
||||
_d<.long, _c<.java.util.stream.LongStream$Builder |
|
||||
_d<.java.awt.Component, _c<.javax.swing.JMenu |
|
||||
_d<.java.lang.String, _c<.java.awt.Choice |
|
||||
_d<.java.lang.Object, _c<.javax.print.attribute.standard.JobStateReasons |
|
||||
_d<._E, _c<.java.util.concurrent.CopyOnWriteArraySet |
|
||||
_d<.javax.sound.midi.MidiEvent, _c<.javax.sound.midi.Track |
|
||||
_d<._T, _c<.java.util.stream.Stream$Builder |
|
||||
_d<.javax.print.attribute.Attribute, _c<.javax.print.attribute.PrintServiceAttributeSet |
|
||||
_d<.java.awt.Component, _c<.javax.swing.JTabbedPane |
|
||||
_d<.java.awt.TrayIcon, _c<.java.awt.SystemTray }
|
||||
|
||||
{ _a<.long, _d<.java.util.concurrent.atomic.LongAdder |
|
||||
_a<.java.lang.Object, _d<.java.util.concurrent.DelayQueue |
|
||||
_a<.java.awt.geom.Rectangle2D, _d<.java.awt.geom.Rectangle2D |
|
||||
_a<._E, _d<.java.util.concurrent.ConcurrentLinkedQueue |
|
||||
_a<.int, _d<.java.util.stream.IntStream$Builder |
|
||||
_a<.javax.xml.datatype.Duration, _d<.javax.xml.datatype.Duration |
|
||||
_a<.java.lang.String, _d<.javax.naming.ldap.LdapName |
|
||||
_a<._E, _d<.java.util.TreeSet |
|
||||
_a<.javax.print.attribute.Attribute, _d<.javax.print.attribute.AttributeSet |
|
||||
_a<.double, _d<.java.awt.image.renderable.ParameterBlock |
|
||||
_a<.java.awt.geom.Point2D, _d<.java.awt.geom.Rectangle2D |
|
||||
_a<.java.awt.RenderingHints, _d<.java.awt.RenderingHints |
|
||||
_a<.javax.print.attribute.Attribute, _d<.javax.print.attribute.HashAttributeSet |
|
||||
_a<.java.lang.String, _d<.javax.swing.JMenu |
|
||||
_a<.javax.management.relation.Role, _d<.javax.management.relation.RoleList |
|
||||
_a<._E, _d<.java.util.Queue |
|
||||
_a<._E, _d<.java.util.concurrent.CopyOnWriteArrayList |
|
||||
_a<._E, _d<.java.util.ArrayDeque |
|
||||
_a<.java.lang.String, _d<.javax.naming.CompositeName |
|
||||
_a<.java.lang.Object, _d<.javax.management.AttributeList |
|
||||
_a<.javax.accessibility.AccessibleState, _d<.javax.accessibility.AccessibleStateSet |
|
||||
_a<.java.lang.String, _d<.java.awt.List |
|
||||
_a<.java.awt.Menu, _d<.java.awt.MenuBar |
|
||||
_a<.float, _d<.java.awt.image.renderable.ParameterBlock |
|
||||
_a<.java.security.Permission, _d<.java.security.PermissionCollection |
|
||||
_a<.javax.swing.tree.MutableTreeNode, _d<.javax.swing.tree.DefaultMutableTreeNode |
|
||||
_a<.java.awt.TrayIcon, _d<.java.awt.SystemTray |
|
||||
_a<.short, _d<.java.awt.image.renderable.ParameterBlock |
|
||||
_a<.javax.swing.AbstractButton, _d<.javax.swing.ButtonGroup |
|
||||
_a<.java.lang.String, _d<.java.awt.Choice |
|
||||
_a<.java.lang.Object, _d<.javax.management.relation.RoleList |
|
||||
_a<._E, _d<.java.util.concurrent.LinkedBlockingDeque |
|
||||
_a<.java.awt.Rectangle, _d<.java.awt.Rectangle |
|
||||
_a<._K, _d<.java.util.concurrent.ConcurrentHashMap$KeySetView |
|
||||
_a<._E, _d<.java.util.concurrent.LinkedTransferQueue |
|
||||
_a<.java.awt.Point, _d<.java.awt.Rectangle |
|
||||
_a<._E, _d<.java.util.PriorityQueue |
|
||||
_a<.java.awt.Component, _d<.javax.swing.JTabbedPane |
|
||||
_a<.javax.swing.JMenuItem, _d<.javax.swing.JMenu |
|
||||
_a<._E, _d<.java.util.ListIterator |
|
||||
_a<._E, _d<.java.util.AbstractQueue |
|
||||
_a<.java.math.BigInteger, _d<.java.math.BigInteger |
|
||||
_a<.javax.print.attribute.Attribute, _d<.javax.print.attribute.DocAttributeSet |
|
||||
_a<.byte, _d<.java.awt.image.renderable.ParameterBlock |
|
||||
_a<._E, _d<.java.util.LinkedList |
|
||||
_a<.java.awt.Component, _d<.java.awt.Container |
|
||||
_a<._E, _d<.java.util.concurrent.BlockingQueue |
|
||||
_a<.javax.print.attribute.Attribute, _d<.javax.print.attribute.PrintJobAttributeSet |
|
||||
_a<.javax.swing.JMenu, _d<.javax.swing.JMenuBar |
|
||||
_a<.java.lang.String, _d<.javax.naming.CompoundName |
|
||||
_a<.javax.sound.midi.MidiEvent, _d<.javax.sound.midi.Track |
|
||||
_a<.java.lang.String, _d<.java.awt.Menu |
|
||||
_a<.double, _d<.java.util.stream.DoubleStream$Builder |
|
||||
_a<._E, _d<.java.util.ArrayList |
|
||||
_a<.javax.xml.stream.XMLEventReader, _d<.javax.xml.stream.XMLEventWriter |
|
||||
_a<._E, _d<.java.util.List |
|
||||
_a<.java.awt.geom.Area, _d<.java.awt.geom.Area |
|
||||
_a<.long, _d<.java.awt.image.renderable.ParameterBlock |
|
||||
_a<.java.lang.Object, _d<.java.awt.image.renderable.ParameterBlock |
|
||||
_a<.int, _d<.java.awt.image.renderable.ParameterBlock |
|
||||
_a<.java.lang.Object, _d<.javax.print.attribute.standard.JobStateReasons |
|
||||
_a<.javax.naming.ldap.Rdn, _d<.javax.naming.ldap.LdapName |
|
||||
_a<.java.lang.Object, _d<.javax.naming.directory.Attribute |
|
||||
_a<.javax.xml.stream.events.XMLEvent, _d<.javax.xml.stream.XMLEventWriter |
|
||||
_a<._E, _d<.java.util.concurrent.DelayQueue |
|
||||
_a<.javax.print.attribute.standard.JobStateReason, _d<.javax.print.attribute.standard.JobStateReasons |
|
||||
_a<.java.lang.Object, _d<.java.beans.beancontext.BeanContextSupport |
|
||||
_a<._E, _d<.java.util.concurrent.BlockingDeque |
|
||||
_a<.java.awt.Component, _d<.javax.swing.JMenu |
|
||||
_a<.java.security.Permission, _d<.java.security.Permissions |
|
||||
_a<._E, _d<.java.util.HashSet |
|
||||
_a<.java.lang.String, _d<.javax.swing.JPopupMenu |
|
||||
_a<.java.awt.PopupMenu, _d<.java.awt.Component |
|
||||
_a<.java.lang.String, _d<.javax.naming.Name |
|
||||
_a<._T, _d<.java.util.stream.Stream$Builder |
|
||||
_a<.java.awt.MenuItem, _d<.java.awt.Menu |
|
||||
_a<.javax.accessibility.AccessibleRelation, _d<.javax.accessibility.AccessibleRelationSet |
|
||||
_a<.java.lang.Object, _d<.javax.management.relation.RoleUnresolvedList |
|
||||
_a<.java.lang.Object, _d<.javax.naming.directory.BasicAttribute |
|
||||
_a<.javax.management.Attribute, _d<.javax.management.AttributeList |
|
||||
_a<.javax.management.relation.RoleUnresolved, _d<.javax.management.relation.RoleUnresolvedList |
|
||||
_a<.char, _d<.java.awt.image.renderable.ParameterBlock |
|
||||
_a<.javax.print.attribute.Attribute, _d<.javax.print.attribute.PrintServiceAttributeSet |
|
||||
_a<.javax.swing.Action, _d<.javax.swing.JPopupMenu |
|
||||
_a<._E, _d<.java.util.AbstractList |
|
||||
_a<._E, _d<.java.util.concurrent.CopyOnWriteArraySet |
|
||||
_a<.javax.xml.stream.events.XMLEvent, _d<.javax.xml.stream.util.XMLEventConsumer |
|
||||
_a<.javax.print.attribute.Attribute, _d<.javax.print.attribute.PrintRequestAttributeSet |
|
||||
_a<._E, _d<.java.util.concurrent.ConcurrentLinkedDeque |
|
||||
_a<._E, _d<.java.util.concurrent.PriorityBlockingQueue |
|
||||
_a<._E, _d<.java.util.concurrent.ArrayBlockingQueue |
|
||||
_a<.long, _d<.java.util.stream.LongStream$Builder |
|
||||
_a<.javax.swing.JMenuItem, _d<.javax.swing.JPopupMenu |
|
||||
_a<.java.math.BigDecimal, _d<.java.math.BigDecimal |
|
||||
_a<.javax.swing.Action, _d<.javax.swing.JToolBar |
|
||||
_a<._E, _d<.java.util.concurrent.ConcurrentSkipListSet |
|
||||
_a<._E, _d<.java.util.AbstractCollection |
|
||||
_a<.java.lang.CharSequence, _d<.java.util.StringJoiner |
|
||||
_a<.javax.naming.RefAddr, _d<.javax.naming.Reference |
|
||||
_a<._E, _d<.java.util.Deque |
|
||||
_a<._E, _d<.java.util.Set |
|
||||
_a<.double, _d<.java.util.concurrent.atomic.DoubleAdder |
|
||||
_a<.javax.swing.Action, _d<.javax.swing.JMenu |
|
||||
_a<._E, _d<.java.util.Collection |
|
||||
_a<.javax.xml.datatype.Duration, _d<.javax.xml.datatype.XMLGregorianCalendar |
|
||||
_a<._E, _d<.java.util.Vector }
|
||||
1350
src/test/data/OrTestAllClassesWith6AddMethods.cons
Normal file
1350
src/test/data/OrTestAllClassesWith6AddMethods.cons
Normal file
File diff suppressed because it is too large
Load Diff
651
src/test/data/OrTestAllClassesWithAddMethod2.cons
Normal file
651
src/test/data/OrTestAllClassesWithAddMethod2.cons
Normal file
@@ -0,0 +1,651 @@
|
||||
{
|
||||
_b<.java.util.Map$Entry<_K, _V>, _a<.java.util.Collections$CheckedMap$CheckedEntrySet |
|
||||
_b<._E, _a<.java.util.concurrent.ConcurrentSkipListSet |
|
||||
_b<.javax.accessibility.AccessibleRelation, _a<.javax.accessibility.AccessibleRelationSet |
|
||||
_b<.java.awt.RenderingHints, _a<.java.awt.RenderingHints |
|
||||
_b<.java.lang.Object, _a<.java.util.JumboEnumSet |
|
||||
_b<.javax.xml.datatype.Duration, _a<.com.sun.org.apache.xerces.internal.jaxp.datatype.DurationImpl |
|
||||
_b<.javax.print.attribute.Attribute, _a<.javax.print.attribute.AttributeSetUtilities$UnmodifiableAttributeSet |
|
||||
_b<.java.awt.geom.Rectangle2D, _a<.java.awt.geom.Rectangle2D |
|
||||
_b<.java.awt.TrayIcon, _a<.java.awt.SystemTray |
|
||||
_b<.java.util.Map$Entry<_K, _V>, _a<.java.util.concurrent.ConcurrentHashMap$EntrySetView |
|
||||
_b<.java.awt.Component, _a<.sun.awt.X11.InfoWindow |
|
||||
_b<.javax.sound.midi.MidiEvent, _a<.javax.sound.midi.Track |
|
||||
_b<.java.awt.Component, _a<.javax.swing.JMenu |
|
||||
_b<.com.sun.org.apache.bcel.internal.classfile.JavaClass, _a<.com.sun.org.apache.bcel.internal.util.ClassSet |
|
||||
_b<.java.awt.Component, _a<.javax.swing.JTabbedPane |
|
||||
_b<.java.lang.Object, _a<.javax.management.relation.RoleList |
|
||||
_b<._T, _a<.java.util.stream.Stream$Builder |
|
||||
_b<._K, _a<.java.util.concurrent.ConcurrentHashMap$KeySetView |
|
||||
_b<._E, _a<.sun.nio.ch.Util$2 |
|
||||
_b<.char, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_b<._E, _a<.java.util.concurrent.LinkedTransferQueue |
|
||||
_b<.com.sun.org.apache.xml.internal.security.keys.content.KeyValue, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_b<.com.sun.org.apache.xml.internal.security.keys.content.PGPData, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_b<.int, _a<.com.sun.org.apache.xalan.internal.xsltc.util.IntegerArray |
|
||||
_b<.java.lang.Runnable, _a<.java.util.concurrent.ScheduledThreadPoolExecutor$DelayedWorkQueue |
|
||||
_b<.java.awt.geom.Area, _a<.java.awt.geom.Area |
|
||||
_b<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509SubjectName, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_b<._E, _a<.java.util.Vector |
|
||||
_b<.java.security.Permission, _a<.javax.management.MBeanServerPermissionCollection |
|
||||
_b<.long, _a<.sun.java2d.xr.XcbRequestCounter |
|
||||
_b<.java.lang.Object, _a<.sun.tools.jar.Main$1 |
|
||||
_b<.int, _a<.sun.java2d.marlin.stats.StatLong |
|
||||
_b<.java.lang.String, _a<.java.awt.List |
|
||||
_b<.java.lang.String, _a<.javax.naming.CompositeName |
|
||||
_b<.jdk.internal.org.objectweb.asm.tree.InsnList, _a<.jdk.internal.org.objectweb.asm.tree.InsnList |
|
||||
_b<._E, _a<.sun.awt.util.IdentityArrayList |
|
||||
_b<.java.util.Map$Entry<_K, _V>, _a<.java.util.Hashtable$EntrySet |
|
||||
_b<._E, _a<.javax.security.auth.Subject$SecureSet |
|
||||
_b<._E, _a<.java.util.JumboEnumSet |
|
||||
_b<._E, _a<.java.util.PriorityQueue |
|
||||
_b<.com.sun.org.apache.xml.internal.security.keys.content.DEREncodedKeyValue, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_b<.javax.swing.AbstractButton, _a<.javax.swing.ButtonGroup |
|
||||
_b<.int, _a<.java.util.stream.IntStream$Builder |
|
||||
_b<.java.lang.String, _a<.javax.swing.JMenu |
|
||||
_b<.com.sun.org.apache.xml.internal.security.keys.content.MgmtData, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_b<.javax.xml.stream.XMLEventReader, _a<.com.sun.xml.internal.stream.writers.XMLEventWriterImpl |
|
||||
_b<.java.lang.Object, _a<.javax.management.AttributeList |
|
||||
_b<._E, _a<.java.util.RegularEnumSet |
|
||||
_b<._E, _a<.java.util.Collections$CheckedCollection |
|
||||
_b<._T, _a<.javax.security.auth.Subject$ClassSet |
|
||||
_b<.java.security.Permission, _a<.java.security.PermissionCollection |
|
||||
_b<.jdk.internal.org.objectweb.asm.tree.AbstractInsnNode, _a<.jdk.internal.org.objectweb.asm.tree.InsnList |
|
||||
_b<.java.lang.Object, _a<.com.sun.org.apache.xerces.internal.impl.xs.util.XSObjectListImpl$XSObjectListIterator |
|
||||
_b<.java.security.Permission, _a<.java.security.PermissionsHash |
|
||||
_b<.java.lang.Object, _a<.java.util.concurrent.ScheduledThreadPoolExecutor$DelayedWorkQueue |
|
||||
_b<.double, _a<.java.util.stream.DoubleStream$Builder |
|
||||
_b<.com.sun.org.apache.xml.internal.security.keys.content.keyvalues.RSAKeyValue, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_b<.long, _a<.sun.java2d.marlin.stats.StatLong |
|
||||
_b<.javax.xml.datatype.Duration, _a<.com.sun.org.apache.xerces.internal.jaxp.datatype.XMLGregorianCalendarImpl |
|
||||
_b<.java.security.Permission, _a<.java.security.AllPermissionCollection |
|
||||
_b<.sun.awt.X11.XAtom, _a<.sun.awt.X11.XAtomList |
|
||||
_b<.javax.swing.Action, _a<.javax.swing.JPopupMenu |
|
||||
_b<.java.lang.Object, _a<.java.util.Hashtable$EntrySet |
|
||||
_b<.java.security.Permission, _a<.java.security.UnresolvedPermissionCollection |
|
||||
_b<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509Digest, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_b<.javax.management.relation.RoleUnresolved, _a<.javax.management.relation.RoleUnresolvedList |
|
||||
_b<.java.lang.Object, _a<.javax.print.attribute.standard.JobStateReasons |
|
||||
_b<._E, _a<.java.util.Collections$UnmodifiableList$1 |
|
||||
_b<._E, _a<.java.util.Deque |
|
||||
_b<._E, _a<.java.util.Collection |
|
||||
_b<._E, _a<.javax.imageio.spi.PartiallyOrderedSet |
|
||||
_b<.sun.security.x509.GeneralSubtree, _a<.sun.security.x509.GeneralSubtrees |
|
||||
_b<.long, _a<.java.util.concurrent.atomic.LongAdder |
|
||||
_b<.java.awt.Menu, _a<.java.awt.MenuBar |
|
||||
_b<.com.sun.org.apache.xml.internal.security.keys.content.X509Data, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_b<.java.awt.Point, _a<.java.awt.Rectangle |
|
||||
_b<.java.security.Permission, _a<.javax.security.auth.kerberos.KrbDelegationPermissionCollection |
|
||||
_b<.javax.xml.stream.events.XMLEvent, _a<.javax.xml.stream.XMLEventWriter |
|
||||
_b<.com.sun.org.apache.xml.internal.security.keys.content.KeyInfoReference, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_b<.javax.print.attribute.Attribute, _a<.javax.print.attribute.PrintJobAttributeSet |
|
||||
_b<.com.sun.org.apache.xml.internal.security.keys.content.SPKIData, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_b<.java.security.Permission, _a<.java.security.BasicPermissionCollection |
|
||||
_b<._E, _a<.java.util.concurrent.BlockingDeque |
|
||||
_b<.sun.net.httpserver.HttpContextImpl, _a<.sun.net.httpserver.ContextList |
|
||||
_b<._E, _a<.java.util.concurrent.ConcurrentLinkedDeque |
|
||||
_b<._E, _a<.java.util.Collections$SetFromMap |
|
||||
_b<.javax.swing.JMenuItem, _a<.javax.swing.JPopupMenu |
|
||||
_b<.java.awt.MenuItem, _a<.java.awt.Menu |
|
||||
_b<.java.lang.Object, _a<.java.beans.beancontext.BeanContextSupport |
|
||||
_b<.java.lang.String, _a<.com.sun.org.apache.xerces.internal.dom.DOMStringListImpl |
|
||||
_b<.short, _a<.com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator$ShortVector |
|
||||
_b<.javax.xml.stream.XMLEventReader, _a<.javax.xml.stream.XMLEventWriter |
|
||||
_b<.java.lang.String, _a<.com.sun.jndi.dns.DnsName |
|
||||
_b<._E, _a<.java.util.ListIterator |
|
||||
_b<._E, _a<.java.util.LinkedList |
|
||||
_b<.long, _a<.sun.java2d.marlin.stats.Histogram |
|
||||
_b<._E, _a<.java.util.concurrent.DelayQueue |
|
||||
_b<.java.security.Permission, _a<.java.net.SocketPermissionCollection |
|
||||
_b<.java.security.Permission, _a<.java.security.Policy$UnsupportedEmptyCollection |
|
||||
_b<._E, _a<.java.util.concurrent.CopyOnWriteArrayList |
|
||||
_b<.java.lang.String, _a<.javax.naming.CompoundName |
|
||||
_b<._E, _a<.java.util.List |
|
||||
_b<._E, _a<.java.util.concurrent.CopyOnWriteArrayList$COWIterator |
|
||||
_b<.javax.swing.JMenuItem, _a<.javax.swing.JMenu |
|
||||
_b<.java.security.Permission, _a<.java.security.Permissions |
|
||||
_b<.java.security.KeyStore, _a<.com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver |
|
||||
_b<.long, _a<.java.util.stream.LongStream$Builder |
|
||||
_b<._E, _a<.java.util.AbstractCollection |
|
||||
_b<.[Lcom.sun.media.sound.ModelPerformer;, _a<.com.sun.media.sound.SimpleInstrument |
|
||||
_b<.java.security.cert.X509Certificate, _a<.com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver |
|
||||
_b<._E, _a<.java.util.concurrent.PriorityBlockingQueue |
|
||||
_b<.com.sun.org.apache.xerces.internal.xs.XSObject, _a<.com.sun.org.apache.xerces.internal.impl.xs.util.XSObjectListImpl$XSObjectListIterator |
|
||||
_b<.java.lang.CharSequence, _a<.java.util.StringJoiner |
|
||||
_b<._E, _a<.java.util.concurrent.ArrayBlockingQueue |
|
||||
_b<.javax.swing.JMenu, _a<.javax.swing.JMenuBar |
|
||||
_b<.java.lang.Object, _a<.java.util.RegularEnumSet |
|
||||
_b<.javax.print.attribute.Attribute, _a<.javax.print.attribute.AttributeSetUtilities$SynchronizedAttributeSet |
|
||||
_b<.java.lang.String, _a<.javax.swing.JPopupMenu |
|
||||
_b<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509Certificate, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_b<._E, _a<.java.util.ArrayList$ListItr |
|
||||
_b<.com.sun.org.apache.xml.internal.security.keys.content.KeyName, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_b<.javax.accessibility.AccessibleState, _a<.javax.accessibility.AccessibleStateSet |
|
||||
_b<.javax.naming.RefAddr, _a<.javax.naming.Reference |
|
||||
_b<.java.lang.String, _a<.javax.naming.NameImpl |
|
||||
_b<.javax.xml.stream.events.XMLEvent, _a<.javax.xml.stream.util.XMLEventConsumer |
|
||||
_b<.sun.security.util.math.IntegerModuloP, _a<.sun.security.util.math.IntegerModuloP |
|
||||
_b<._E, _a<.java.util.ArrayList |
|
||||
_b<.javax.print.attribute.Attribute, _a<.javax.print.attribute.PrintServiceAttributeSet |
|
||||
_b<.java.lang.Object, _a<.javax.naming.directory.BasicAttribute |
|
||||
_b<._E, _a<.java.util.concurrent.ConcurrentLinkedQueue |
|
||||
_b<.int, _a<.java.io.ObjectInputStream$HandleTable$HandleList |
|
||||
_b<.java.lang.String, _a<.java.awt.Choice |
|
||||
_b<.java.lang.Object, _a<.javax.management.relation.RoleUnresolvedList |
|
||||
_b<.com.sun.org.apache.bcel.internal.generic.InstructionHandle, _a<.com.sun.org.apache.xalan.internal.xsltc.compiler.FlowList |
|
||||
_b<.java.io.File, _a<.sun.font.CreatedFontTracker |
|
||||
_b<.javax.print.attribute.Attribute, _a<.javax.print.attribute.HashAttributeSet |
|
||||
_b<._E, _a<.java.util.LinkedList$ListItr |
|
||||
_b<.javax.naming.ldap.Rdn, _a<.javax.naming.ldap.LdapName |
|
||||
_b<.jdk.internal.org.objectweb.asm.Type, _a<.jdk.internal.org.objectweb.asm.commons.InstructionAdapter |
|
||||
_b<._E, _a<.java.util.Set |
|
||||
_b<.java.security.Permission, _a<.javax.security.auth.kerberos.KrbServicePermissionCollection |
|
||||
_b<.com.sun.org.apache.xml.internal.security.keys.content.RetrievalMethod, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_b<.short, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_b<.javax.print.attribute.Attribute, _a<.javax.print.attribute.PrintRequestAttributeSet |
|
||||
_b<.float, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_b<._E, _a<.java.util.concurrent.LinkedBlockingDeque |
|
||||
_b<.javax.swing.Action, _a<.javax.swing.JToolBar |
|
||||
_b<.java.lang.String, _a<.javax.naming.ldap.LdapName |
|
||||
_b<._E, _a<.java.util.Collections$SynchronizedCollection |
|
||||
_b<._E, _a<.java.util.Queue |
|
||||
_b<.javax.swing.Action, _a<.javax.swing.JMenu |
|
||||
_b<.java.awt.Component, _a<.java.awt.Container |
|
||||
_b<._E, _a<.java.util.TreeSet |
|
||||
_b<.javax.xml.stream.events.XMLEvent, _a<.com.sun.xml.internal.stream.writers.XMLEventWriterImpl |
|
||||
_b<.java.security.PublicKey, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_b<.java.awt.PopupMenu, _a<.java.awt.Component |
|
||||
_b<.com.sun.org.apache.xerces.internal.xs.XSNamespaceItem, _a<.com.sun.org.apache.xerces.internal.impl.xs.XSModelImpl$XSNamespaceItemListIterator |
|
||||
_b<.int, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_b<.sun.net.www.MimeEntry, _a<.sun.net.www.MimeTable |
|
||||
_b<._E, _a<.java.util.concurrent.CopyOnWriteArraySet |
|
||||
_b<.java.awt.Rectangle, _a<.java.awt.Rectangle |
|
||||
_b<.java.lang.String, _a<.com.sun.jndi.ldap.LdapName |
|
||||
_b<._E, _a<.java.util.Collections$UnmodifiableCollection |
|
||||
_b<.javax.swing.GroupLayout$ComponentInfo, _a<.javax.swing.GroupLayout$LinkInfo |
|
||||
_b<._E, _a<.java.util.Vector$ListItr |
|
||||
_b<.long, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_b<._E, _a<.java.util.concurrent.BlockingQueue |
|
||||
_b<._T, _a<.java.util.stream.Streams$StreamBuilderImpl |
|
||||
_b<.byte, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_b<.sun.awt.DisplayChangedListener, _a<.sun.awt.SunDisplayChanger |
|
||||
_b<.com.sun.media.sound.ModelPerformer, _a<.com.sun.media.sound.SimpleInstrument |
|
||||
_b<.javax.print.attribute.Attribute, _a<.javax.print.attribute.DocAttributeSet |
|
||||
_b<._V, _a<.java.util.concurrent.ConcurrentHashMap$ValuesView |
|
||||
_b<.com.sun.media.sound.ModelInstrument, _a<.com.sun.media.sound.SimpleInstrument |
|
||||
_b<.java.lang.Object, _a<.java.util.concurrent.DelayQueue |
|
||||
_b<.sun.security.x509.GeneralName, _a<.sun.security.x509.GeneralNames |
|
||||
_b<.sun.security.provider.PolicyParser$PermissionEntry, _a<.sun.security.provider.PolicyParser$GrantEntry |
|
||||
_b<._E, _a<.java.util.ArrayList$SubList$1 |
|
||||
_b<.javax.print.attribute.Attribute, _a<.javax.print.attribute.AttributeSet |
|
||||
_b<.java.lang.Object, _a<.javax.naming.directory.Attribute |
|
||||
_b<.java.lang.Object, _a<.jdk.internal.org.objectweb.asm.tree.MethodNode$1 |
|
||||
_b<.java.security.Permission, _a<.java.io.FilePermissionCollection |
|
||||
_b<.java.util.zip.ZipEntry, _a<.sun.tools.jar.Main$1 |
|
||||
_b<.java.lang.String, _a<.java.awt.Menu |
|
||||
_b<._E, _a<.java.util.concurrent.CopyOnWriteArrayList$COWSubList |
|
||||
_b<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509SKI, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_b<.javax.xml.datatype.Duration, _a<.javax.xml.datatype.XMLGregorianCalendar |
|
||||
_b<.java.lang.Object, _a<.java.util.concurrent.ConcurrentHashMap$EntrySetView |
|
||||
_b<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509IssuerSerial, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_b<.javax.swing.tree.MutableTreeNode, _a<.javax.swing.tree.DefaultMutableTreeNode |
|
||||
_b<.sun.awt.image.ImageFetchable, _a<.sun.awt.image.ImageFetcher |
|
||||
_b<.javax.management.Attribute, _a<.javax.management.AttributeList |
|
||||
_b<.double, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_b<._E, _a<.java.util.concurrent.CopyOnWriteArrayList$COWSubListIterator |
|
||||
_b<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509CRL, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_b<.java.lang.Object, _a<.jdk.internal.org.objectweb.asm.tree.InsnList$InsnListIterator |
|
||||
_b<.java.lang.Object, _a<.java.util.Collections$CheckedMap$CheckedEntrySet |
|
||||
_b<.java.lang.Object, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_b<.javax.print.attribute.standard.JobStateReason, _a<.javax.print.attribute.standard.JobStateReasons |
|
||||
_b<._E, _a<.java.util.ArrayDeque }
|
||||
|
||||
{ _c<.javax.print.attribute.Attribute, _a<.javax.print.attribute.HashAttributeSet |
|
||||
_c<.javax.swing.GroupLayout$ComponentInfo, _a<.javax.swing.GroupLayout$LinkInfo |
|
||||
_c<._E, _a<.java.util.ArrayList$SubList$1 |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509SKI, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_c<.java.lang.Object, _a<.java.util.concurrent.ConcurrentHashMap$EntrySetView |
|
||||
_c<._E, _a<.java.util.Set |
|
||||
_c<._E, _a<.java.util.ArrayList$ListItr |
|
||||
_c<.java.awt.geom.Point2D, _a<.java.awt.geom.Rectangle2D |
|
||||
_c<.javax.xml.datatype.Duration, _a<.com.sun.org.apache.xerces.internal.jaxp.datatype.XMLGregorianCalendarImpl |
|
||||
_c<.int, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_c<.java.security.Permission, _a<.java.util.PropertyPermissionCollection |
|
||||
_c<.javax.swing.Action, _a<.javax.swing.JMenu |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.SPKIData, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_c<._E, _a<.java.util.concurrent.ConcurrentSkipListSet |
|
||||
_c<.javax.print.attribute.Attribute, _a<.javax.print.attribute.AttributeSetUtilities$UnmodifiableAttributeSet |
|
||||
_c<.java.util.zip.ZipEntry, _a<.sun.tools.jar.Main$1 |
|
||||
_c<.java.security.Permission, _a<.javax.management.MBeanServerPermissionCollection |
|
||||
_c<.java.security.Permission, _a<.java.security.UnresolvedPermissionCollection |
|
||||
_c<._V, _a<.java.util.concurrent.ConcurrentHashMap$ValuesView |
|
||||
_c<.int, _a<.sun.java2d.marlin.stats.StatLong |
|
||||
_c<._E, _a<.java.util.Collections$CheckedList$1 |
|
||||
_c<.java.lang.String, _a<.javax.naming.Name |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.storage.StorageResolverSpi, _a<.com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver |
|
||||
_c<.javax.print.attribute.Attribute, _a<.javax.print.attribute.AttributeSet |
|
||||
_c<.javax.management.relation.RoleUnresolved, _a<.javax.management.relation.RoleUnresolvedList |
|
||||
_c<.java.awt.Component, _a<.javax.swing.JMenu |
|
||||
_c<.javax.print.attribute.Attribute, _a<.javax.print.attribute.PrintJobAttributeSet |
|
||||
_c<._E, _a<.java.util.ArrayList |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509SubjectName, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_c<.java.lang.Object, _a<.javax.print.attribute.standard.JobStateReasons |
|
||||
_c<.char, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_c<.java.awt.Point, _a<.java.awt.Rectangle |
|
||||
_c<.javax.management.relation.Role, _a<.javax.management.relation.RoleList |
|
||||
_c<.javax.print.attribute.Attribute, _a<.javax.print.attribute.PrintServiceAttributeSet |
|
||||
_c<._E, _a<.java.util.Vector$ListItr |
|
||||
_c<.javax.xml.datatype.Duration, _a<.javax.xml.datatype.XMLGregorianCalendar |
|
||||
_c<.javax.swing.Action, _a<.javax.swing.JPopupMenu |
|
||||
_c<.long, _a<.java.util.concurrent.atomic.LongAdder |
|
||||
_c<.sun.security.util.math.IntegerModuloP, _a<.sun.security.util.math.intpoly.IntegerPolynomial$Element |
|
||||
_c<.java.awt.TrayIcon, _a<.java.awt.SystemTray |
|
||||
_c<.java.lang.Object, _a<.javax.management.AttributeList |
|
||||
_c<.java.lang.String, _a<.javax.naming.CompositeName |
|
||||
_c<.short, _a<.com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator$ShortVector |
|
||||
_c<.com.sun.org.apache.xerces.internal.xs.XSObject, _a<.com.sun.org.apache.xerces.internal.impl.xs.util.XSObjectListImpl$XSObjectListIterator |
|
||||
_c<._T, _a<.javax.security.auth.Subject$ClassSet |
|
||||
_c<.sun.security.provider.PolicyParser$GrantEntry, _a<.sun.security.provider.PolicyParser |
|
||||
_c<._K, _a<.java.util.concurrent.ConcurrentHashMap$KeySetView |
|
||||
_c<.[Lcom.sun.media.sound.ModelPerformer;, _a<.com.sun.media.sound.SimpleInstrument |
|
||||
_c<.java.awt.Component, _a<.java.awt.Container |
|
||||
_c<.java.lang.Object, _a<.javax.naming.directory.BasicAttribute |
|
||||
_c<._E, _a<.java.util.LinkedList |
|
||||
_c<._E, _a<.sun.awt.util.IdentityArrayList |
|
||||
_c<.javax.naming.ldap.Rdn, _a<.javax.naming.ldap.LdapName |
|
||||
_c<.double, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_c<._E, _a<.java.util.Collections$AsLIFOQueue |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.MgmtData, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_c<._E, _a<.java.util.Collections$SetFromMap |
|
||||
_c<.java.lang.String, _a<.com.sun.jndi.dns.DnsName |
|
||||
_c<.java.lang.Object, _a<.javax.management.relation.RoleUnresolvedList |
|
||||
_c<.sun.security.x509.GeneralName, _a<.sun.security.x509.GeneralNames |
|
||||
_c<.sun.awt.X11.XAtom, _a<.sun.awt.X11.XAtomList |
|
||||
_c<.javax.xml.stream.XMLEventReader, _a<.com.sun.xml.internal.stream.writers.XMLEventWriterImpl |
|
||||
_c<.java.lang.Object, _a<.com.sun.org.apache.xerces.internal.impl.xs.util.XSObjectListImpl$XSObjectListIterator |
|
||||
_c<.java.lang.Object, _a<.java.util.JumboEnumSet |
|
||||
_c<.java.util.Map$Entry<_K, _V>, _a<.java.util.concurrent.ConcurrentHashMap$EntrySetView |
|
||||
_c<._E, _a<.java.util.AbstractList$ListItr |
|
||||
_c<.javax.xml.datatype.Duration, _a<.javax.xml.datatype.Duration |
|
||||
_c<.javax.swing.JMenuItem, _a<.javax.swing.JPopupMenu |
|
||||
_c<.java.lang.Object, _a<.com.sun.org.apache.xerces.internal.impl.xs.XSModelImpl$XSNamespaceItemListIterator |
|
||||
_c<.java.lang.String, _a<.com.sun.jndi.ldap.LdapName |
|
||||
_c<.java.security.KeyStore, _a<.com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver |
|
||||
_c<.java.math.BigDecimal, _a<.java.math.BigDecimal |
|
||||
_c<.short, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_c<.float, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_c<.java.security.Permission, _a<.java.security.PermissionCollection |
|
||||
_c<._E, _a<.javax.security.auth.Subject$SecureSet |
|
||||
_c<.java.awt.PopupMenu, _a<.java.awt.Component |
|
||||
_c<.java.awt.Rectangle, _a<.java.awt.Rectangle |
|
||||
_c<.com.sun.media.sound.ModelPerformer, _a<.com.sun.media.sound.SimpleInstrument |
|
||||
_c<.javax.swing.Action, _a<.javax.swing.JToolBar |
|
||||
_c<._E, _a<.java.util.concurrent.ConcurrentLinkedDeque |
|
||||
_c<._E, _a<.java.util.Collections$UnmodifiableCollection |
|
||||
_c<._E, _a<.java.util.Queue |
|
||||
_c<.java.lang.String, _a<.javax.naming.ldap.LdapName |
|
||||
_c<.java.lang.Runnable, _a<.java.util.concurrent.ScheduledThreadPoolExecutor$DelayedWorkQueue |
|
||||
_c<.jdk.internal.org.objectweb.asm.tree.InsnList, _a<.jdk.internal.org.objectweb.asm.tree.InsnList |
|
||||
_c<.sun.net.www.MimeEntry, _a<.sun.net.www.MimeTable |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.keyvalues.DSAKeyValue, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_c<.java.awt.Menu, _a<.java.awt.MenuBar |
|
||||
_c<._E, _a<.java.util.ArrayDeque |
|
||||
_c<._E, _a<.java.util.List |
|
||||
_c<._E, _a<.java.util.JumboEnumSet |
|
||||
_c<.java.io.File, _a<.sun.font.CreatedFontTracker |
|
||||
_c<.sun.net.httpserver.HttpContextImpl, _a<.sun.net.httpserver.ContextList |
|
||||
_c<._E, _a<.java.util.AbstractQueue |
|
||||
_c<.double, _a<.java.util.concurrent.atomic.DoubleAdder |
|
||||
_c<.javax.print.attribute.standard.JobStateReason, _a<.javax.print.attribute.standard.JobStateReasons |
|
||||
_c<.java.awt.RenderingHints, _a<.java.awt.RenderingHints |
|
||||
_c<.long, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_c<._E, _a<.java.util.concurrent.PriorityBlockingQueue |
|
||||
_c<.java.util.Map$Entry<_K, _V>, _a<.java.util.Collections$CheckedMap$CheckedEntrySet |
|
||||
_c<._E, _a<.java.util.AbstractList |
|
||||
_c<.java.security.Permission, _a<.javax.security.auth.kerberos.KrbServicePermissionCollection |
|
||||
_c<.java.awt.geom.Rectangle2D, _a<.java.awt.geom.Rectangle2D |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509IssuerSerial, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_c<.java.lang.Object, _a<.javax.management.relation.RoleList |
|
||||
_c<.double, _a<.java.util.stream.DoubleStream$Builder |
|
||||
_c<._E, _a<.java.util.AbstractCollection |
|
||||
_c<.byte, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_c<.java.security.Permission, _a<.java.net.SocketPermissionCollection |
|
||||
_c<.javax.naming.RefAddr, _a<.javax.naming.Reference |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509Certificate, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_c<.java.lang.Object, _a<.java.util.Collections$CheckedMap$CheckedEntrySet |
|
||||
_c<._E, _a<.java.util.TreeSet |
|
||||
_c<.java.security.Permission, _a<.java.io.FilePermissionCollection |
|
||||
_c<.java.security.Permission, _a<.java.security.Policy$UnsupportedEmptyCollection |
|
||||
_c<._E, _a<.java.util.Collections$SynchronizedCollection |
|
||||
_c<._E, _a<.java.util.Collections$UnmodifiableList$1 |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.X509Data, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_c<._E, _a<.sun.nio.ch.Util$2 |
|
||||
_c<._E, _a<.java.util.concurrent.CopyOnWriteArrayList$COWSubListIterator |
|
||||
_c<.java.security.Permission, _a<.java.security.Permissions |
|
||||
_c<._E, _a<.java.util.Collections$CheckedCollection |
|
||||
_c<.sun.security.util.math.IntegerModuloP, _a<.sun.security.util.math.IntegerModuloP |
|
||||
_c<._E, _a<.java.util.Deque |
|
||||
_c<._E, _a<.java.util.LinkedList$ListItr |
|
||||
_c<.java.lang.String, _a<.java.awt.Choice |
|
||||
_c<._E, _a<.java.util.concurrent.ConcurrentLinkedQueue |
|
||||
_c<._E, _a<.java.util.Vector |
|
||||
_c<.javax.print.attribute.Attribute, _a<.javax.print.attribute.DocAttributeSet |
|
||||
_c<.java.lang.Object, _a<.java.beans.beancontext.BeanContextSupport |
|
||||
_c<.java.util.Map$Entry<_K, _V>, _a<.java.util.Hashtable$EntrySet |
|
||||
_c<._E, _a<.javax.imageio.spi.PartiallyOrderedSet |
|
||||
_c<.java.lang.String, _a<.javax.naming.NameImpl |
|
||||
_c<._E, _a<.java.util.concurrent.LinkedBlockingDeque |
|
||||
_c<.java.lang.String, _a<.java.awt.List |
|
||||
_c<._E, _a<.java.util.concurrent.DelayQueue |
|
||||
_c<.java.lang.Object, _a<.jdk.internal.org.objectweb.asm.tree.InsnList$InsnListIterator |
|
||||
_c<.javax.swing.AbstractButton, _a<.javax.swing.ButtonGroup |
|
||||
_c<.java.security.PublicKey, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509Digest, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_c<.java.awt.Component, _a<.javax.swing.JTabbedPane |
|
||||
_c<.java.lang.Object, _a<.java.util.concurrent.ScheduledThreadPoolExecutor$DelayedWorkQueue |
|
||||
_c<.long, _a<.sun.java2d.marlin.stats.Histogram |
|
||||
_c<._E, _a<.java.util.concurrent.BlockingQueue |
|
||||
_c<.jdk.internal.org.objectweb.asm.tree.AbstractInsnNode, _a<.jdk.internal.org.objectweb.asm.tree.InsnList |
|
||||
_c<.javax.print.attribute.Attribute, _a<.javax.print.attribute.AttributeSetUtilities$SynchronizedAttributeSet |
|
||||
_c<.java.lang.Object, _a<.java.util.concurrent.DelayQueue |
|
||||
_c<.java.security.Permission, _a<.java.security.PermissionsHash |
|
||||
_c<.javax.swing.JMenu, _a<.javax.swing.JMenuBar |
|
||||
_c<.long, _a<.java.util.stream.LongStream$Builder |
|
||||
_c<.javax.accessibility.AccessibleState, _a<.javax.accessibility.AccessibleStateSet |
|
||||
_c<.javax.xml.stream.XMLEventReader, _a<.javax.xml.stream.XMLEventWriter |
|
||||
_c<.long, _a<.sun.java2d.xr.XcbRequestCounter |
|
||||
_c<.java.security.Permission, _a<.javax.security.auth.kerberos.KrbDelegationPermissionCollection |
|
||||
_c<.com.sun.org.apache.bcel.internal.classfile.JavaClass, _a<.com.sun.org.apache.bcel.internal.util.ClassSet |
|
||||
_c<.java.awt.geom.Area, _a<.java.awt.geom.Area |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.KeyValue, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_c<._E, _a<.java.util.concurrent.CopyOnWriteArrayList$COWIterator |
|
||||
_c<.sun.awt.DisplayChangedListener, _a<.sun.awt.SunDisplayChanger |
|
||||
_c<._T, _a<.java.util.stream.Streams$StreamBuilderImpl |
|
||||
_c<.java.lang.String, _a<.javax.naming.CompoundName |
|
||||
_c<._E, _a<.java.util.Collections$EmptyListIterator |
|
||||
_c<.sun.security.provider.PolicyParser$PermissionEntry, _a<.sun.security.provider.PolicyParser$GrantEntry |
|
||||
_c<.java.lang.Object, _a<.javax.naming.directory.Attribute |
|
||||
_c<._E, _a<.java.util.ListIterator |
|
||||
_c<.java.security.Permission, _a<.java.security.AllPermissionCollection |
|
||||
_c<._E, _a<.java.util.concurrent.CopyOnWriteArrayList$COWSubList |
|
||||
_c<.java.lang.String, _a<.javax.swing.JPopupMenu |
|
||||
_c<.sun.security.x509.GeneralSubtree, _a<.sun.security.x509.GeneralSubtrees |
|
||||
_c<.java.lang.Object, _a<.java.util.Hashtable$EntrySet |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509CRL, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_c<.javax.xml.stream.events.XMLEvent, _a<.com.sun.xml.internal.stream.writers.XMLEventWriterImpl |
|
||||
_c<.javax.xml.datatype.Duration, _a<.com.sun.org.apache.xerces.internal.jaxp.datatype.DurationImpl |
|
||||
_c<.javax.swing.tree.MutableTreeNode, _a<.javax.swing.tree.DefaultMutableTreeNode |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.DEREncodedKeyValue, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_c<._E, _a<.java.util.concurrent.BlockingDeque |
|
||||
_c<.long, _a<.sun.java2d.marlin.stats.StatLong |
|
||||
_c<.java.math.BigInteger, _a<.java.math.BigInteger |
|
||||
_c<._E, _a<.java.util.concurrent.CopyOnWriteArrayList |
|
||||
_c<.java.security.cert.X509Certificate, _a<.com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver |
|
||||
_c<._E, _a<.java.util.concurrent.CopyOnWriteArraySet |
|
||||
_c<.javax.management.Attribute, _a<.javax.management.AttributeList |
|
||||
_c<.java.lang.Object, _a<.java.util.RegularEnumSet |
|
||||
_c<.java.lang.String, _a<.javax.swing.JMenu |
|
||||
_c<.java.lang.Object, _a<.com.sun.jndi.ldap.LdapAttribute |
|
||||
_c<.javax.xml.stream.events.XMLEvent, _a<.javax.xml.stream.util.XMLEventConsumer |
|
||||
_c<.java.lang.String, _a<.com.sun.org.apache.xerces.internal.dom.DOMStringListImpl |
|
||||
_c<.java.security.Permission, _a<.java.security.BasicPermissionCollection |
|
||||
_c<.javax.print.attribute.Attribute, _a<.javax.print.attribute.PrintRequestAttributeSet |
|
||||
_c<._E, _a<.java.util.concurrent.LinkedTransferQueue |
|
||||
_c<.java.lang.Object, _a<.sun.tools.jar.Main$1 |
|
||||
_c<._E, _a<.java.util.RegularEnumSet |
|
||||
_c<.sun.awt.image.ImageFetchable, _a<.sun.awt.image.ImageFetcher |
|
||||
_c<.java.lang.Object, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.PGPData, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_c<.javax.xml.stream.events.XMLEvent, _a<.javax.xml.stream.XMLEventWriter |
|
||||
_c<.java.awt.MenuItem, _a<.java.awt.Menu |
|
||||
_c<.com.sun.org.apache.xerces.internal.xs.XSNamespaceItem, _a<.com.sun.org.apache.xerces.internal.impl.xs.XSModelImpl$XSNamespaceItemListIterator |
|
||||
_c<.javax.accessibility.AccessibleRelation, _a<.javax.accessibility.AccessibleRelationSet |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.keyvalues.RSAKeyValue, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_c<.int, _a<.java.util.stream.IntStream$Builder |
|
||||
_c<.java.lang.Object, _a<.jdk.internal.org.objectweb.asm.tree.MethodNode$1 |
|
||||
_c<.int, _a<.com.sun.org.apache.xalan.internal.xsltc.util.IntegerArray |
|
||||
_c<.com.sun.media.sound.ModelInstrument, _a<.com.sun.media.sound.SimpleInstrument |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.RetrievalMethod, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_c<._T, _a<.java.util.stream.Stream$Builder |
|
||||
_c<.jdk.internal.org.objectweb.asm.Type, _a<.jdk.internal.org.objectweb.asm.commons.InstructionAdapter |
|
||||
_c<._E, _a<.java.util.PriorityQueue |
|
||||
_c<.java.lang.String, _a<.java.awt.Menu |
|
||||
_c<.int, _a<.sun.java2d.marlin.stats.Histogram |
|
||||
_c<.int, _a<.java.io.ObjectInputStream$HandleTable$HandleList |
|
||||
_c<.javax.swing.JMenuItem, _a<.javax.swing.JMenu |
|
||||
_c<._E, _a<.java.util.HashSet |
|
||||
_c<._E, _a<.java.util.concurrent.ArrayBlockingQueue |
|
||||
_c<.javax.sound.midi.MidiEvent, _a<.javax.sound.midi.Track |
|
||||
_c<.java.lang.CharSequence, _a<.java.util.StringJoiner |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.KeyInfoReference, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_c<.com.sun.org.apache.xml.internal.security.keys.content.KeyName, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_c<.com.sun.org.apache.bcel.internal.generic.InstructionHandle, _a<.com.sun.org.apache.xalan.internal.xsltc.compiler.FlowList |
|
||||
_c<.java.awt.Component, _a<.sun.awt.X11.InfoWindow |
|
||||
_c<._E, _a<.java.util.Collection |
|
||||
_c<._T_array, _a<.sun.swing.AccumulativeRunnable |
|
||||
_c<._T, _a<.com.sun.jmx.remote.internal.ArrayQueue }
|
||||
|
||||
{ _d<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509SubjectName, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_d<._E, _a<.java.util.Collections$SetFromMap |
|
||||
_d<.javax.swing.JMenuItem, _a<.javax.swing.JPopupMenu |
|
||||
_d<.int, _a<.java.util.stream.IntStream$Builder |
|
||||
_d<.java.awt.RenderingHints, _a<.java.awt.RenderingHints |
|
||||
_d<.long, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_d<.javax.accessibility.AccessibleState, _a<.javax.accessibility.AccessibleStateSet |
|
||||
_d<._E, _a<.java.util.Collections$CheckedList$1 |
|
||||
_d<.java.lang.Runnable, _a<.java.util.concurrent.ScheduledThreadPoolExecutor$DelayedWorkQueue |
|
||||
_d<.java.lang.Object, _a<.java.util.concurrent.ScheduledThreadPoolExecutor$DelayedWorkQueue |
|
||||
_d<.java.awt.geom.Point2D, _a<.java.awt.geom.Rectangle2D |
|
||||
_d<.java.lang.String, _a<.javax.swing.JMenu |
|
||||
_d<.java.lang.String, _a<.javax.naming.CompositeName |
|
||||
_d<._E, _a<.java.util.AbstractQueue |
|
||||
_d<.java.lang.String, _a<.com.sun.org.apache.xerces.internal.dom.DOMStringListImpl |
|
||||
_d<.java.lang.String, _a<.java.awt.List |
|
||||
_d<._E, _a<.java.util.Collection |
|
||||
_d<.int, _a<.com.sun.org.apache.xalan.internal.xsltc.util.IntegerArray |
|
||||
_d<._E, _a<.java.util.concurrent.CopyOnWriteArrayList$COWIterator |
|
||||
_d<.java.lang.Object, _a<.java.util.RegularEnumSet |
|
||||
_d<.com.sun.org.apache.xerces.internal.xs.XSNamespaceItem, _a<.com.sun.org.apache.xerces.internal.impl.xs.XSModelImpl$XSNamespaceItemListIterator |
|
||||
_d<.char, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_d<.java.lang.String, _a<.javax.naming.CompoundName |
|
||||
_d<.java.security.Permission, _a<.java.util.PropertyPermissionCollection |
|
||||
_d<.[Lcom.sun.media.sound.ModelPerformer;, _a<.com.sun.media.sound.SimpleInstrument |
|
||||
_d<.java.awt.Component, _a<.java.awt.Container |
|
||||
_d<.sun.awt.image.ImageFetchable, _a<.sun.awt.image.ImageFetcher |
|
||||
_d<._E, _a<.java.util.LinkedList |
|
||||
_d<.javax.print.attribute.Attribute, _a<.javax.print.attribute.AttributeSetUtilities$UnmodifiableAttributeSet |
|
||||
_d<.java.lang.CharSequence, _a<.java.util.StringJoiner |
|
||||
_d<.java.security.Permission, _a<.java.security.UnresolvedPermissionCollection |
|
||||
_d<.java.lang.Object, _a<.com.sun.org.apache.xerces.internal.impl.xs.util.XSObjectListImpl$XSObjectListIterator |
|
||||
_d<.jdk.internal.org.objectweb.asm.Type, _a<.jdk.internal.org.objectweb.asm.commons.InstructionAdapter |
|
||||
_d<.java.util.zip.ZipEntry, _a<.sun.tools.jar.Main$1 |
|
||||
_d<._E, _a<.java.util.Collections$UnmodifiableCollection |
|
||||
_d<.javax.management.relation.Role, _a<.javax.management.relation.RoleList |
|
||||
_d<.javax.management.Attribute, _a<.javax.management.AttributeList |
|
||||
_d<._T, _a<.java.util.stream.Stream$Builder |
|
||||
_d<.java.security.Permission, _a<.javax.security.auth.kerberos.KrbServicePermissionCollection |
|
||||
_d<.com.sun.org.apache.bcel.internal.generic.InstructionHandle, _a<.com.sun.org.apache.xalan.internal.xsltc.compiler.FlowList |
|
||||
_d<.javax.naming.ldap.Rdn, _a<.javax.naming.ldap.LdapName |
|
||||
_d<.long, _a<.java.util.concurrent.atomic.LongAdder |
|
||||
_d<.java.lang.Object, _a<.javax.management.relation.RoleList |
|
||||
_d<._E, _a<.java.util.concurrent.LinkedTransferQueue |
|
||||
_d<.java.security.Permission, _a<.java.security.PermissionsHash |
|
||||
_d<.java.lang.Object, _a<.jdk.internal.org.objectweb.asm.tree.InsnList$InsnListIterator |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509Certificate, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_d<.java.lang.String, _a<.com.sun.jndi.dns.DnsName |
|
||||
_d<.javax.xml.stream.events.XMLEvent, _a<.com.sun.xml.internal.stream.writers.XMLEventWriterImpl |
|
||||
_d<.java.awt.Component, _a<.javax.swing.JMenu |
|
||||
_d<._E, _a<.java.util.TreeSet |
|
||||
_d<.java.awt.Menu, _a<.java.awt.MenuBar |
|
||||
_d<.int, _a<.java.io.ObjectInputStream$HandleTable$HandleList |
|
||||
_d<.java.util.Map$Entry<_K, _V>, _a<.java.util.Collections$CheckedMap$CheckedEntrySet |
|
||||
_d<.sun.security.x509.GeneralName, _a<.sun.security.x509.GeneralNames |
|
||||
_d<.javax.swing.Action, _a<.javax.swing.JMenu |
|
||||
_d<.com.sun.org.apache.bcel.internal.classfile.JavaClass, _a<.com.sun.org.apache.bcel.internal.util.ClassSet |
|
||||
_d<.short, _a<.com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator$ShortVector |
|
||||
_d<._E, _a<.java.util.Collections$CheckedCollection |
|
||||
_d<.javax.print.attribute.Attribute, _a<.javax.print.attribute.AttributeSetUtilities$SynchronizedAttributeSet |
|
||||
_d<.java.util.Map$Entry<_K, _V>, _a<.java.util.Hashtable$EntrySet |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509Digest, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_d<._E, _a<.java.util.concurrent.LinkedBlockingDeque |
|
||||
_d<.javax.print.attribute.Attribute, _a<.javax.print.attribute.HashAttributeSet |
|
||||
_d<.java.security.PublicKey, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_d<._E, _a<.java.util.Deque |
|
||||
_d<._E, _a<.java.util.PriorityQueue |
|
||||
_d<.double, _a<.java.util.stream.DoubleStream$Builder |
|
||||
_d<.sun.awt.DisplayChangedListener, _a<.sun.awt.SunDisplayChanger |
|
||||
_d<.javax.print.attribute.Attribute, _a<.javax.print.attribute.AttributeSet |
|
||||
_d<.sun.security.provider.PolicyParser$PermissionEntry, _a<.sun.security.provider.PolicyParser$GrantEntry |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509CRL, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_d<._E, _a<.java.util.AbstractCollection |
|
||||
_d<.javax.xml.stream.events.XMLEvent, _a<.javax.xml.stream.util.XMLEventConsumer |
|
||||
_d<._E, _a<.java.util.concurrent.BlockingDeque |
|
||||
_d<.javax.xml.datatype.Duration, _a<.javax.xml.datatype.XMLGregorianCalendar |
|
||||
_d<._E, _a<.java.util.concurrent.ConcurrentLinkedQueue |
|
||||
_d<.java.security.Permission, _a<.java.security.Permissions |
|
||||
_d<.java.lang.Object, _a<.java.util.concurrent.ConcurrentHashMap$EntrySetView |
|
||||
_d<._E, _a<.java.util.AbstractList |
|
||||
_d<.int, _a<.sun.java2d.marlin.stats.Histogram |
|
||||
_d<.java.io.File, _a<.sun.font.CreatedFontTracker |
|
||||
_d<.java.lang.Object, _a<.java.util.JumboEnumSet |
|
||||
_d<._T, _a<.java.util.stream.Streams$StreamBuilderImpl |
|
||||
_d<.javax.print.attribute.Attribute, _a<.javax.print.attribute.PrintServiceAttributeSet |
|
||||
_d<._E, _a<.java.util.ArrayList |
|
||||
_d<.javax.accessibility.AccessibleRelation, _a<.javax.accessibility.AccessibleRelationSet |
|
||||
_d<.double, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_d<._E, _a<.java.util.Vector$ListItr |
|
||||
_d<.java.util.Map$Entry<_K, _V>, _a<.java.util.concurrent.ConcurrentHashMap$EntrySetView |
|
||||
_d<.java.awt.Component, _a<.javax.swing.JTabbedPane |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509SKI, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_d<.javax.swing.GroupLayout$ComponentInfo, _a<.javax.swing.GroupLayout$LinkInfo |
|
||||
_d<._E, _a<.sun.nio.ch.Util$2 |
|
||||
_d<._E, _a<.java.util.Vector |
|
||||
_d<.java.lang.Object, _a<.javax.naming.directory.Attribute |
|
||||
_d<.com.sun.org.apache.xerces.internal.xs.XSObject, _a<.com.sun.org.apache.xerces.internal.impl.xs.util.XSObjectListImpl$XSObjectListIterator |
|
||||
_d<.sun.net.httpserver.HttpContextImpl, _a<.sun.net.httpserver.ContextList |
|
||||
_d<.java.lang.Object, _a<.sun.tools.jar.Main$1 |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.content.keyvalues.RSAKeyValue, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_d<._E, _a<.java.util.concurrent.CopyOnWriteArraySet |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.content.KeyInfoReference, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_d<._E, _a<.java.util.JumboEnumSet |
|
||||
_d<._V, _a<.java.util.concurrent.ConcurrentHashMap$ValuesView |
|
||||
_d<.javax.xml.stream.XMLEventReader, _a<.javax.xml.stream.XMLEventWriter |
|
||||
_d<._E, _a<.java.util.AbstractList$ListItr |
|
||||
_d<.javax.swing.Action, _a<.javax.swing.JToolBar |
|
||||
_d<.java.lang.String, _a<.javax.naming.ldap.LdapName |
|
||||
_d<.java.security.Permission, _a<.java.security.BasicPermissionCollection |
|
||||
_d<.java.lang.Object, _a<.java.util.concurrent.DelayQueue |
|
||||
_d<.jdk.internal.org.objectweb.asm.tree.InsnList, _a<.jdk.internal.org.objectweb.asm.tree.InsnList |
|
||||
_d<._E, _a<.java.util.ArrayDeque |
|
||||
_d<.javax.swing.AbstractButton, _a<.javax.swing.ButtonGroup |
|
||||
_d<.java.math.BigInteger, _a<.java.math.BigInteger |
|
||||
_d<.java.lang.String, _a<.javax.naming.NameImpl |
|
||||
_d<.java.lang.Object, _a<.java.util.Collections$CheckedMap$CheckedEntrySet |
|
||||
_d<._E, _a<.java.util.HashSet |
|
||||
_d<.sun.security.provider.PolicyParser$GrantEntry, _a<.sun.security.provider.PolicyParser |
|
||||
_d<._E, _a<.java.util.Set |
|
||||
_d<._T, _a<.javax.security.auth.Subject$ClassSet |
|
||||
_d<._E, _a<.java.util.Collections$SynchronizedCollection |
|
||||
_d<.javax.xml.datatype.Duration, _a<.com.sun.org.apache.xerces.internal.jaxp.datatype.DurationImpl |
|
||||
_d<.javax.xml.datatype.Duration, _a<.javax.xml.datatype.Duration |
|
||||
_d<.java.lang.Object, _a<.jdk.internal.org.objectweb.asm.tree.MethodNode$1 |
|
||||
_d<.java.lang.Object, _a<.java.beans.beancontext.BeanContextSupport |
|
||||
_d<.java.math.BigDecimal, _a<.java.math.BigDecimal |
|
||||
_d<.byte, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_d<._E, _a<.java.util.concurrent.CopyOnWriteArrayList$COWSubListIterator |
|
||||
_d<._E, _a<.java.util.Collections$EmptyListIterator |
|
||||
_d<.java.lang.Object, _a<.java.util.Hashtable$EntrySet |
|
||||
_d<.java.security.Permission, _a<.java.io.FilePermissionCollection |
|
||||
_d<._E, _a<.java.util.concurrent.CopyOnWriteArrayList$COWSubList |
|
||||
_d<.java.lang.Object, _a<.com.sun.org.apache.xerces.internal.impl.xs.XSModelImpl$XSNamespaceItemListIterator |
|
||||
_d<.javax.print.attribute.Attribute, _a<.javax.print.attribute.DocAttributeSet |
|
||||
_d<.javax.print.attribute.Attribute, _a<.javax.print.attribute.PrintJobAttributeSet |
|
||||
_d<._E, _a<.java.util.ListIterator |
|
||||
_d<._E, _a<.java.util.RegularEnumSet |
|
||||
_d<.java.awt.geom.Area, _a<.java.awt.geom.Area |
|
||||
_d<.javax.xml.stream.events.XMLEvent, _a<.javax.xml.stream.XMLEventWriter |
|
||||
_d<._E, _a<.java.util.ArrayList$ListItr |
|
||||
_d<.javax.sound.midi.MidiEvent, _a<.javax.sound.midi.Track |
|
||||
_d<.double, _a<.java.util.concurrent.atomic.DoubleAdder |
|
||||
_d<.java.awt.Rectangle, _a<.java.awt.Rectangle |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.content.MgmtData, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.content.RetrievalMethod, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.content.KeyName, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_d<.java.lang.String, _a<.java.awt.Choice |
|
||||
_d<.javax.management.relation.RoleUnresolved, _a<.javax.management.relation.RoleUnresolvedList |
|
||||
_d<.java.lang.String, _a<.com.sun.jndi.ldap.LdapName |
|
||||
_d<.sun.net.www.MimeEntry, _a<.sun.net.www.MimeTable |
|
||||
_d<._E, _a<.java.util.concurrent.BlockingQueue |
|
||||
_d<.javax.swing.JMenu, _a<.javax.swing.JMenuBar |
|
||||
_d<.sun.awt.X11.XAtom, _a<.sun.awt.X11.XAtomList |
|
||||
_d<.java.security.Permission, _a<.java.security.Policy$UnsupportedEmptyCollection |
|
||||
_d<._E, _a<.javax.imageio.spi.PartiallyOrderedSet |
|
||||
_d<._T, _a<.com.sun.jmx.remote.internal.ArrayQueue |
|
||||
_d<.long, _a<.sun.java2d.marlin.stats.StatLong |
|
||||
_d<.com.sun.media.sound.ModelPerformer, _a<.com.sun.media.sound.SimpleInstrument |
|
||||
_d<.java.awt.Component, _a<.sun.awt.X11.InfoWindow |
|
||||
_d<.java.lang.Object, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_d<._E, _a<.java.util.Collections$UnmodifiableList$1 |
|
||||
_d<.long, _a<.sun.java2d.marlin.stats.Histogram |
|
||||
_d<.javax.xml.datatype.Duration, _a<.com.sun.org.apache.xerces.internal.jaxp.datatype.XMLGregorianCalendarImpl |
|
||||
_d<.java.awt.MenuItem, _a<.java.awt.Menu |
|
||||
_d<.java.security.Permission, _a<.javax.management.MBeanServerPermissionCollection |
|
||||
_d<._E, _a<.java.util.List |
|
||||
_d<.javax.swing.tree.MutableTreeNode, _a<.javax.swing.tree.DefaultMutableTreeNode |
|
||||
_d<._E, _a<.javax.security.auth.Subject$SecureSet |
|
||||
_d<._E, _a<.java.util.concurrent.ConcurrentLinkedDeque |
|
||||
_d<.java.security.cert.X509Certificate, _a<.com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver |
|
||||
_d<.sun.security.util.math.IntegerModuloP, _a<.sun.security.util.math.intpoly.IntegerPolynomial$Element |
|
||||
_d<.java.lang.Object, _a<.javax.naming.directory.BasicAttribute |
|
||||
_d<.java.security.KeyStore, _a<.com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver |
|
||||
_d<.com.sun.media.sound.ModelInstrument, _a<.com.sun.media.sound.SimpleInstrument |
|
||||
_d<.java.awt.geom.Rectangle2D, _a<.java.awt.geom.Rectangle2D |
|
||||
_d<._E, _a<.java.util.concurrent.ConcurrentSkipListSet |
|
||||
_d<.javax.naming.RefAddr, _a<.javax.naming.Reference |
|
||||
_d<.java.awt.Point, _a<.java.awt.Rectangle |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.storage.StorageResolverSpi, _a<.com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.content.PGPData, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_d<.int, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_d<._E, _a<.java.util.concurrent.DelayQueue |
|
||||
_d<._E, _a<.java.util.concurrent.PriorityBlockingQueue |
|
||||
_d<.java.security.Permission, _a<.java.security.PermissionCollection |
|
||||
_d<._T_array, _a<.sun.swing.AccumulativeRunnable |
|
||||
_d<.java.lang.String, _a<.javax.swing.JPopupMenu |
|
||||
_d<.java.awt.TrayIcon, _a<.java.awt.SystemTray |
|
||||
_d<.javax.swing.JMenuItem, _a<.javax.swing.JMenu |
|
||||
_d<.long, _a<.sun.java2d.xr.XcbRequestCounter |
|
||||
_d<.java.lang.String, _a<.javax.naming.Name |
|
||||
_d<._E, _a<.java.util.Collections$AsLIFOQueue |
|
||||
_d<._E, _a<.java.util.ArrayList$SubList$1 |
|
||||
_d<.java.security.Permission, _a<.java.security.AllPermissionCollection |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.content.keyvalues.DSAKeyValue, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_d<.jdk.internal.org.objectweb.asm.tree.AbstractInsnNode, _a<.jdk.internal.org.objectweb.asm.tree.InsnList |
|
||||
_d<.long, _a<.java.util.stream.LongStream$Builder |
|
||||
_d<._K, _a<.java.util.concurrent.ConcurrentHashMap$KeySetView |
|
||||
_d<.java.security.Permission, _a<.java.net.SocketPermissionCollection |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.content.SPKIData, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_d<.javax.print.attribute.standard.JobStateReason, _a<.javax.print.attribute.standard.JobStateReasons |
|
||||
_d<._E, _a<.java.util.concurrent.ArrayBlockingQueue |
|
||||
_d<.javax.swing.Action, _a<.javax.swing.JPopupMenu |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.content.X509Data, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_d<.java.awt.PopupMenu, _a<.java.awt.Component |
|
||||
_d<.java.lang.Object, _a<.com.sun.jndi.ldap.LdapAttribute |
|
||||
_d<._E, _a<.java.util.LinkedList$ListItr |
|
||||
_d<.sun.security.util.math.IntegerModuloP, _a<.sun.security.util.math.IntegerModuloP |
|
||||
_d<._E, _a<.sun.awt.util.IdentityArrayList |
|
||||
_d<.java.security.Permission, _a<.javax.security.auth.kerberos.KrbDelegationPermissionCollection |
|
||||
_d<.java.lang.String, _a<.java.awt.Menu |
|
||||
_d<.java.lang.Object, _a<.javax.management.relation.RoleUnresolvedList |
|
||||
_d<.short, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_d<.float, _a<.java.awt.image.renderable.ParameterBlock |
|
||||
_d<._E, _a<.java.util.concurrent.CopyOnWriteArrayList |
|
||||
_d<.java.lang.Object, _a<.javax.print.attribute.standard.JobStateReasons |
|
||||
_d<.javax.xml.stream.XMLEventReader, _a<.com.sun.xml.internal.stream.writers.XMLEventWriterImpl |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509IssuerSerial, _a<.com.sun.org.apache.xml.internal.security.keys.content.X509Data |
|
||||
_d<._E, _a<.java.util.Queue |
|
||||
_d<.javax.print.attribute.Attribute, _a<.javax.print.attribute.PrintRequestAttributeSet |
|
||||
_d<.int, _a<.sun.java2d.marlin.stats.StatLong |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.content.DEREncodedKeyValue, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_d<.com.sun.org.apache.xml.internal.security.keys.content.KeyValue, _a<.com.sun.org.apache.xml.internal.security.keys.KeyInfo |
|
||||
_d<.java.lang.Object, _a<.javax.management.AttributeList |
|
||||
_d<.sun.security.x509.GeneralSubtree, _a<.sun.security.x509.GeneralSubtrees }
|
||||
@@ -39,7 +39,27 @@ public class UnifyTest {
|
||||
File resourcesDirectory = new File("src/test/data");
|
||||
var consFile = Files.readString(new File(resourcesDirectory, "OrTestAllClassesWithAddMethod.cons").toPath());
|
||||
System.out.println(ASPGenerator.generateASP(ConstraintParser.parse(consFile)));
|
||||
}
|
||||
}
|
||||
@Test
|
||||
public void sixOrConstraints() throws IOException {
|
||||
File resourcesDirectory = new File("src/test/data");
|
||||
var consFile = Files.readString(new File(resourcesDirectory, "OrTestAllClassesWith6AddMethods.cons").toPath());
|
||||
System.out.println(ASPGenerator.generateASP(ConstraintParser.parse(consFile)));
|
||||
}
|
||||
|
||||
@Test
|
||||
public void manyOrConstraints2() throws IOException {
|
||||
File resourcesDirectory = new File("src/test/data");
|
||||
var consFile = Files.readString(new File(resourcesDirectory, "OrTestAllClassesWithAddMethod2.cons").toPath());
|
||||
System.out.println(ASPGenerator.generateASP(ConstraintParser.parse(consFile)));
|
||||
}
|
||||
|
||||
@Test
|
||||
public void manyOrConstraintsConsecutiveCalls() throws IOException {
|
||||
File resourcesDirectory = new File("src/test/data");
|
||||
var consFile = Files.readString(new File(resourcesDirectory, "OrTestAllClassesWith3AddMethodsABCDCalls.cons").toPath());
|
||||
System.out.println(ASPGenerator.generateASP(ConstraintParser.parse(consFile)));
|
||||
}
|
||||
|
||||
@Test
|
||||
public void extendsRelationParserTest(){
|
||||
@@ -51,6 +71,18 @@ public class UnifyTest {
|
||||
System.out.println(ASPGenerator.generateExtendsRelations(ConstraintParser.parseExtendsRelations(input)));
|
||||
//TODO: Finish Extends Relation parser
|
||||
}
|
||||
|
||||
@Test
|
||||
public void paperExample(){
|
||||
String input = "Matrix < Vector<Vector<Integer>>," +
|
||||
"Vector<X> < List<X>," +
|
||||
"MyPair<X,Y> < Pair<X,X>," +
|
||||
"Pair<X,Y> < Object," +
|
||||
"List<X> < Object";
|
||||
//System.out.println(ASPGenerator.generateExtendsRelations(ConstraintParser.parseExtendsRelations(input)));
|
||||
String cons = "{List<Integer> <. _a | List<String> <. _a},\n List<_c> <. _b,\n _m <. _b,\n _m <. Matrix";
|
||||
System.out.println(ASPGenerator.generateASP(ConstraintParser.parse(cons)));
|
||||
}
|
||||
/*
|
||||
@Test
|
||||
public void orConsTest() throws IOException {
|
||||
|
||||
Reference in New Issue
Block a user