Searched refs:FullIndexWidth (Results 1 – 1 of 1) sorted by relevance
33 FullIndexWidth = IndexWidth + 4, enumerator904 OS.indent(FullIndexWidth + Indent); in EmitMatcher()954 OS.indent(FullIndexWidth + Indent + 4); in EmitMatcher()985 OS.indent(FullIndexWidth + Indent) in EmitMatcher()989 OS.indent(FullIndexWidth + Indent) in EmitMatcher()1013 OS.indent(FullIndexWidth + Indent); in EmitMatcher()1021 OS.indent(FullIndexWidth + Indent) in EmitMatcher()1025 OS.indent(FullIndexWidth + Indent) in EmitMatcher()