100101102103104105106107
return lev.size(); } List<alias> makeStarAlias(Token t) { List<alias> result = new ArrayList<alias>(); result.add(new alias(t, "*", null)); return result; }