#!/usr/local/bin/perl
# Copyright (C) 1997 $BBgFb(B $BBs<B(B
#########################################
###   rule of replacement.
###
### 'fff1_'  --->  'R1= ,function:'
### '),fff2_' ---> ',R1,R2),function:'
### '),fff3_' ---> ',R2,R3),function:'
###   ....
#########################################

while(<>) {
	if (/fff/o) {
###		s/fff1_([^|]*)\|R=(.*)./R1=\2 ,function:\1./g;
		s/fff1_([^|]*)\|R=(.*)./R1=\2 ,function:check_clause(R1) ,function:\1./g;
		$k = 0; $flag = 0;
		for($i=1;$i<20;$i++) {
			$j=$i+1;
			$pattern='\),fff'.$j.'_';
			if (/$pattern/) {
				s/$pattern/,R$i,R$j\),function:/g;
			} elsif ($flag == 0) {
				$flag = 1;
				$k = $i;
			}
		}
		s/\).$/,R$k,R)./g;
	}
	print;
}
