Searched refs:FullIndexWidth (Results 1 – 1 of 1) sorted by relevance
29 FullIndexWidth = IndexWidth + 4, enumerator766 OS.indent(FullIndexWidth + Indent); in EmitMatcher()785 OS.indent(FullIndexWidth + Indent+4); in EmitMatcher()816 OS.indent(FullIndexWidth + Indent) << "// Src: " in EmitMatcher()819 OS.indent(FullIndexWidth + Indent) << "// Dst: " in EmitMatcher()843 OS.indent(FullIndexWidth + Indent); in EmitMatcher()851 OS.indent(FullIndexWidth + Indent) << " // Src: " in EmitMatcher()854 OS.indent(FullIndexWidth + Indent) << " // Dst: " in EmitMatcher()