Double value = realPattern.getValue(); ARealLiteralExpIR realLit = transAssistant.getInfo().getExpAssistant().consRealLiteral(value);
Double value = realPattern.getValue(); ARealLiteralExpIR realLit = transAssistant.getInfo().getExpAssistant().consRealLiteral(value);