public void getConstStrings(List<String> result) { result.add("intset"); for (Exp e : exps) e.getConstStrings(result); }