public static APatternTypePair newAPatternTypePair(PPattern pattern, PType type) { APatternTypePair result = new APatternTypePair(); result.setResolved(false); result.setPattern(pattern); result.setType(type); return result; }
public void typeResolve(APatternTypePair result, IQuestionAnswer<TypeCheckInfo, PType> rootVisitor, TypeCheckInfo question) { if (result.getResolved()) { return; } else { result.setResolved(true); } result.setType(af.createPTypeAssistant().typeResolve(result.getType(), null, rootVisitor, question)); }