Lines Matching defs:TXT
78 #define TXT(S) ctx->dump_printf( ctx, "%s", S )
108 TXT( "]." );
127 TXT( "]." );
155 TXT( "]." );
174 TXT( "]." );
215 TXT( " {" );
234 TXT( ", " );
236 TXT( "}" );
246 TXT( "DCL " );
253 TXT("[]");
265 TXT("..");
275 TXT( ", LOCAL" );
278 TXT( ", " );
289 TXT(", ");
292 TXT(", WR");
294 TXT(", RAW");
298 TXT(", ");
300 TXT(", ");
307 TXT(", ");
309 TXT(", ");
311 TXT(", ");
320 TXT( ", " );
325 TXT( ", CENTROID" );
329 TXT(", CYLWRAP_");
346 TXT( ", INVARIANT" );
354 TXT(" {");
378 TXT( " " );
379 TXT( range_indent );
384 TXT(" }");
411 TXT( "PROPERTY " );
415 TXT(" ");
434 TXT( ", " );
458 TXT( "IMM " );
492 TXT( ": " );
496 TXT( " " );
505 TXT( "PRED[" );
520 TXT( ") " );
523 TXT( info->mnemonic );
529 TXT( "_SAT" );
532 TXT( "_SATNV" );
583 TXT( ", " );
586 TXT( ", " );
604 TXT( " :" );