@Override public Boolean caseAUnionType(AUnionType type, Object other) throws AnalysisException { other = deBracket((PType) other); PTypeSet types = new PTypeSet(type.getTypes(), af); if (other instanceof AUnionType) { AUnionType uother = (AUnionType) other; for (PType t : uother.getTypes()) { if (!types.contains(t)) { return false; } } return true; } return types.contains(other); }
if (contains(st)) ASeq1SeqType s1t = AstFactory.newASeq1SeqType(st.getLocation(), st.getSeqof()); if (contains(s1t)) ASetSetType st = AstFactory.newASetSetType(s1t.getLocation(), s1t.getSetof()); if (contains(st)) ASet1SetType s1t = AstFactory.newASet1SetType(st.getLocation(), st.getSetof()); if (contains(s1t)) if (!(opt.getType() instanceof AUnknownType) && contains(opt.getType()))