ВУЗ:
Составители:
195
П р о д о л ж е н и е
прил. split( f_1ine, f__object, f_value);
add_prem :=curr_prem;
new(new_prem);
WITH new_prem^ DO
BEGIN
objects:=f_object;
value :=f_value;
next=:NIL;
END;
IF (curr_prem=NIL) THEN add_prem:=new_prem ELSE
BEGIN
WHILE (curr__prem^.next<>NIL) DO
curr_prem:=curr_prem .next;
curr_prem^.next :=new_prem
END
END
//будет добавлять соответствующее заключение
FUNCTION add_con(curr_con:con_ptr;f_line:line_string):con__ptr;
VAR temp,new_con :con_ptr;
f_object, f_value: word_string; BEGIN
split(f_line, f_object, f_value);
add_con :=curr_con; new(new_con);
WITH new_con^ DO
BEGIN
objects :=f_object;
value:=f_value;
cert:=get_cf ( f_line);
next:=NIL
END;
IF (curr_con=NIL) THEN add_con:=new_con ELSE BEGIN
WHILE (curr_con^.next<>NIL) DO curr_con:=curr_con^.next; curr_con^.next :=new_con;
END
END;
Продолжение прил. split( f_1ine, f__object, f_value); add_prem :=curr_prem; new(new_prem); WITH new_prem^ DO BEGIN objects:=f_object; value :=f_value; next=:NIL; END; IF (curr_prem=NIL) THEN add_prem:=new_prem ELSE BEGIN WHILE (curr__prem^.next<>NIL) DO curr_prem:=curr_prem .next; curr_prem^.next :=new_prem END END //будет добавлять соответствующее заключение FUNCTION add_con(curr_con:con_ptr;f_line:line_string):con__ptr; VAR temp,new_con :con_ptr; f_object, f_value: word_string; BEGIN split(f_line, f_object, f_value); add_con :=curr_con; new(new_con); WITH new_con^ DO BEGIN objects :=f_object; value:=f_value; cert:=get_cf ( f_line); next:=NIL END; IF (curr_con=NIL) THEN add_con:=new_con ELSE BEGIN WHILE (curr_con^.next<>NIL) DO curr_con:=curr_con^.next; curr_con^.next :=new_con; END END; 195
Страницы
- « первая
- ‹ предыдущая
- …
- 193
- 194
- 195
- 196
- 197
- …
- следующая ›
- последняя »