Searched refs:FullIndexWidth (Results 1 – 1 of 1) sorted by relevance
33 FullIndexWidth = IndexWidth + 4, enumerator956 OS.indent(FullIndexWidth + Indent); in EmitMatcher()1006 OS.indent(FullIndexWidth + Indent + 4); in EmitMatcher()1041 OS.indent(FullIndexWidth + Indent) in EmitMatcher()1045 OS.indent(FullIndexWidth + Indent) in EmitMatcher()1070 OS.indent(FullIndexWidth + Indent); in EmitMatcher()1078 OS.indent(FullIndexWidth + Indent) in EmitMatcher()1082 OS.indent(FullIndexWidth + Indent) in EmitMatcher()