public CHRQuery translate(TranslationContext context, CHRQueryTranslationMode mode) {
ArrayList<CHRLiteral> literals = new ArrayList<CHRLiteral>();
translate(context, mode, literals);
- return new CHRQuery(literals.toArray(new CHRLiteral[literals.size()]));
+ return new CHRQuery(location, literals.toArray(new CHRLiteral[literals.size()]));
}
protected abstract void translate(TranslationContext context, CHRQueryTranslationMode mode, ArrayList<CHRLiteral> literals);