void (ParamType param) { myDepth++; if (maxDepthExceeded()) { add(styled("...", PyHighlighter.PY_DOT)); return; } if (param.name != null) { add(styled(param.name, PyHighlighter.PY_PARAMETER)); } if (param.type != null) { if (param.name != null) { add(styled(": ", PyHighlighter.PY_OPERATION_SIGN)); } param.type.accept(this); } myDepth--; }