844845846847848849850851852853854855
return var; } private String translate(SemanticType type) { Sort sort = getSort(type); // Generate some initialisation statements for the sort and relevant functions block.append(sort.generateInitialisers()); return sort.toString(); }