public STypeIR handleMapType(SMapTypeBase node, IRInfo question, boolean isInjective) throws AnalysisException { PType from = node.getFrom(); PType to = node.getTo(); boolean empty = node.getEmpty(); STypeIR fromCg = from.apply(question.getTypeVisitor(), question); STypeIR toCg = to.apply(question.getTypeVisitor(), question); AMapMapTypeIR mapType = new AMapMapTypeIR(); mapType.setFrom(fromCg); mapType.setTo(toCg); mapType.setEmpty(empty); mapType.setInjective(isInjective); return mapType; }