return vf.constructor(Factory.Symbol_CharClass, ranges);
}
if (name.equals("single")) {
org.rascalmpl.ast.DecimalIntegerLiteral.Lexical arg1 = (org.rascalmpl.ast.DecimalIntegerLiteral.Lexical) x.getArguments().get(0).getLiteral().getIntegerLiteral().getDecimal();
IInteger num = vf.integer(java.lang.Integer.parseInt(arg1.getString()));
return vf.constructor(Factory.CharRange_Single, num);
}
if (name.equals("range")) {
org.rascalmpl.ast.DecimalIntegerLiteral.Lexical arg1 = (org.rascalmpl.ast.DecimalIntegerLiteral.Lexical) x.getArguments().get(0).getLiteral().getIntegerLiteral().getDecimal();
IInteger num1 = vf.integer(java.lang.Integer.parseInt(arg1.getString()));
org.rascalmpl.ast.DecimalIntegerLiteral.Lexical arg2 = (org.rascalmpl.ast.DecimalIntegerLiteral.Lexical) x.getArguments().get(1).getLiteral().getIntegerLiteral().getDecimal();
IInteger num2 = vf.integer(java.lang.Integer.parseInt(arg2.getString()));
return vf.constructor(Factory.CharRange_Range, num1, num2);
}
throw new ImplementationError("Non-IUPTR AST expression: " + name + ", " + x);
}