import java.io.FileReader;
import java.io.IOException;

/**
 * 中間形式のテキスト形式ダンプ
 */

public class Main17 {
  public static void main(String[] args) {
    if( args.length<4 ) {
      System.err.println("Usage: java Main17 macro-file-name target-file-name target-method text-file-name");
      System.exit(2);
    }
    Pattern pat = new Pattern(args[0], args[1], args[2]);
    try {
      pat.dumpPattern(args[3]);
    } catch( Exception e ) {
      System.out.println(e);
    }
  }
}