ВУЗ:
Составители:
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
- …
- следующая ›
- последняя »
