private static void parameters(Tree.TypeParameterList tpl, StyledString label) { if (tpl != null && !tpl.getTypeParameterDeclarations().isEmpty()) { label.append("<"); int len = tpl.getTypeParameterDeclarations().size(), i = 0; for (Tree.TypeParameterDeclaration p : tpl.getTypeParameterDeclarations()) { label.append(name(p.getIdentifier()), TYPE_STYLER); if (++i < len) label.append(", "); } label.append(">"); } }
@Override public void visit(Tree.SpecifierStatement that) { if (that.getRefinement()) { Tree.Term lhs = that.getBaseMemberExpression(); if (lhs instanceof Tree.ParameterizedExpression) { Tree.ParameterizedExpression pe = (Tree.ParameterizedExpression) lhs; for (Tree.ParameterList pl : pe.getParameterLists()) { if (pl != null) { pl.visit(this); } } Tree.TypeParameterList tpl = pe.getTypeParameterList(); if (tpl != null) { tpl.visit(this); } } // the LHS will be treated as a refinement by // FindRefinementsVisitor so ignore it here super.visit(that.getSpecifierExpression()); } else { super.visit(that); } }