Создание программного модуля, производящего анализ текста программы на языке Pascal

@_Axel_ · Регистрация: 08.12.2009

Студворк — интернет-сервис помощи студентам

Подскажите пожалуста, как лучше проверить что переменным типа Char в программе присваиваются только символьные значения.

Функция VAL работает криво, и не удобно для данного случая!!

условие задачи:
Проверить следующие условия:
– переменным типа Char в программе присваиваются только символьные значения – либо символьная константа, либо результат символьной функции (стандартные, а также указанные в программе пользовательские функции), либо результат операции (имеющей однозначно символьный результат)
Оператор цикла WHILE
Проверить следующие условия:
– после WHILE стоит условие (или несколько условий, разделенных операторами and и or);
– в конструкции не пропущено слово DO.

Текст проаммы на Pascal вводится в блок MEMO.Анализ производится по нажатию кнопки:

Delphi
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
procedure TForm1.Button2Click(Sender: TObject);
var
 s1,s,op,ot,r,id,zn,id_type,vyraz:string;
 i,j,n,z,cod, zn_int,zn_l,zn_ls,P1,vyraz_l,i1,c1:integer;
  zn_real: real;
 b, id_yes,pr,f1,beg_yes:boolean;
begin
b:=false;
pr:=false;
j:=0;
for i:=0 to (memo1.Lines.Count-1) do
 begin
  s:=memo1.Lines[i];
  s1:='Line ';
  if i<10 then s1:=s1+'00'+IntToStr(i)+':  '+s
  else
  if i<100 then s1:=s1+'0'+IntToStr(i)+':  '+s
  else
   s1:=s1+IntToStr(i)+':  '+s;
 
  memo1.Lines[i]:=s1;
  if (pos ('begin',s)<>0) then
    begin
    beg_yes:=true
     b:= false;
     pr:=true;
    end;
     if (b=true) and (s<>'') then
      begin
       n:=pos(':',s);
     op:=copy (s,1,n-1);
     ot:= copy (s,n+1,(length(s) -(n+1)));
   while ot[1]=' ' do
   delete(ot,1,1);
   while pos(',',op)<>0 do
    begin
      n:= pos (',',op);
      r:= copy (op,1,n-1);
      delete(op,1,n);
      DelSpace(r);
      j:=j+1;
      rec1[j].name:=r;
      rec1[j].types:=ot;
    end;
    if op<>'' then
     begin
     DelSpace(op);
      j:=j+1;
      rec1[j].name:=op;
      rec1[j].types:=ot;
     end;
end;
 
  if (pos (':=',s)<>0) and (pr=true) and (s<>'')  then
  begin
   n:=pos (':=',s);
   id:= copy (s,1,n-2);
   while pos (' ', id)<>0 do
     delete(id,1,pos(' ', id));
   zn:= copy (s,n+3,length(s)-n-3);
   id_yes:=false;
  for z:=1 to j do
    if id = rec1[z].name then
      begin
      id_yes:=true;
      id_type:=rec1[z].types;
      end;
  if id_yes=false then memo2.Lines.Add('Ñòðîêà '+IntToStr(i)+': Îïåðàíä â ëåâîé ÷àñòè - íå èäåíòèôèêàòîð');
     if id_yes=true then
      begin
       if pos(' ',zn)=0 then
        begin
         if id_type='integer' then
          begin
          Val(zn,zn_int,cod);
          if cod<>0 then
            memo2.Lines.Add('Ñòðîêà '+IntToStr(i)+': Íåñîîòâåñòâèå òèïîâ');
          end;  
 
         if id_type='real' then
         begin
          val(zn,zn_real,cod);
          if cod<>0 then
           memo2.Lines.Add('Ñòðîêà '+IntToStr(i)+': Íåñîîòâåñòâèå òèïîâ');
           end;
         //àíàëèç char
          if id_type='char' then
          begin
           zn_l:=length(zn);
           if not ((zn_l=3) and (zn[1]='''') and (zn[3]='''')) then
           memo2.Lines.Add('Ñòðîêà '+IntToStr(i)+': Ïåðåìåííîé òèïà CHAR ïðèñâîåíî íåâåðíîå çíà÷åíèå');
          // P1:=pos ('=',zn);
           //vyraz:=copy (zn,(P1+1),(length(zn)-(P1+1)));
           //vyraz_l:=length (vyraz);
           //if (vyraz_l>2) then
           //val(vyraz,i1,c1);
           //if (c1<>0) then memo2.Lines.Add('Ñòðîêà '+IntToStr(i)+':ïðèñâîåíî íå òî ');
           end;
 
           if id_type='string' then
            begin
             zn_ls:=length(zn);
             if not((zn[1]='''') and (zn[zn_ls]='''')) then
             memo2.Lines.Add('Ñòðîêà '+IntToStr(i)+': Íåñîîòâåñòâèå òèïîâ');
            end;
              if id_type='boolean' then
               if (zn<>'true') and (zn<>'false') then
              memo2.Lines.Add('Ñòðîêà '+IntToStr(i)+': Íåñîîòâåñòâèå òèïîâ');
 
           
 
 
 
 
         end;
     if beg_yes=true then
      begin
 
      end;
  end;
  if pos('var',s)<>0 then
  begin
  b:=true;
  beg_yes:=false;
  end;
 
  end;{for}
 
 
if Memo2.Text='' then Memo2.Lines.Add('Îøèáîê íåò');
end;

Зарание благодарен)))

@_Axel_ · 19.12.2009, 10:59 **[ТС]**

Доброго времени суток!!
И так без разглогольствования...
суть задания:
Создание программного модуля, производящего анализ текста про-граммы на языке Pascal. В ходе анализа должны быть осуществлены сле-дующие операции:
– создана таблица идентификаторов программы (переменные главной программы, процедуры и функции);
– создана таблица лексем главной программы;
Проверить следующие условия:
– правильность объявления функции;
– правильность передачи параметров при вызове функции (тип и количество параметров указаны верно);
– правильность присвоения результата функции (результат должен быть присвоен переменной, тип которой совпадает с типом функции).

Процедура анализа:

Delphi
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
procedure TForm1.Button2Click(Sender: TObject);
var
 s1,s,op,ot,r,id,zn,id_type,Per1,Fn_n1:string;
 i,j,n,z,cod, zn_int,zn_l,zn_ls,Ls_wh,pos1,L_j,f,f1,f2,q:integer;
 n_f,k_f,f_t:integer;
 imfn,fnt:string;
  zn_real: real;
 b, id_yes,pr,wh_yes:boolean;
begin
b:=false;
pr:=false;
j:=0;
for i:=0 to (memo1.Lines.Count-1) do
 begin
  s:=memo1.Lines[i];
  s1:='Line ';
  if i<10 then s1:=s1+'00'+IntToStr(i)+':  '+s
  else
  if i<100 then s1:=s1+'0'+IntToStr(i)+':  '+s
  else
   s1:=s1+IntToStr(i)+':  '+s;
 
  memo1.Lines[i]:=s1;
  if (pos ('begin',s)<>0) then
    begin
     b:= false;
     pr:=true;
     wh_yes:=true;
    end;
     if (b=true) and (s<>'') then
      begin
       n:=pos(':',s);
     op:=copy (s,1,n-1);
     ot:= copy (s,n+1,(length(s) -(n+1)));
   while ot[1]=' ' do
   delete(ot,1,1);
   while pos(',',op)<>0 do
    begin
      n:= pos (',',op);
      r:= copy (op,1,n-1);
      delete(op,1,n);
      DelSpace(r);
      j:=j+1;
      l_j:=j;
      rec1[j].name:=r;
      rec1[j].types:=ot;
    end;
    if op<>'' then
     begin
     DelSpace(op);
      j:=j+1;
      rec1[j].name:=op;
      rec1[j].types:=ot;
     end;
     //провепка правильности обьявления функции
    if (pos ('function',s)<>0) then
    begin
     n_f:= pos ('function',s);
     k_f:= pos ('(',s);
     imfn := copy (s,n_f+9,k_f-1-(n_f+9));
     f_t:= pos ('):',s);
     fnt:= copy (s,f_t+2,length(s1)-(f_t+2));
     if fnt='' then
       memo2.Lines.Add('Строка '+IntToStr(i)+': Не указан тип функции');
     DelSpace(imfn);
     rec2_fn[j].name:=imfn;
     rec2_fn[j].types:=fnt;
    end;
 
 
     end;
 
  if (pos (':=',s)<>0) and (pr=true) and (s<>'')  then
  begin
   n:=pos (':=',s);
   id:= copy (s,1,n-2);
   while pos (' ', id)<>0 do
     delete(id,1,pos(' ', id));
   zn:= copy (s,n+3,length(s)-n-3);
   id_yes:=false;
  for z:=1 to j do
    if id = rec1[z].name then
      begin
      id_yes:=true;
      id_type:=rec1[z].types;
      end;
  if id_yes=false then memo2.Lines.Add('Строка '+IntToStr(i)+': Операнд в левой части - не идентификатор');
     if id_yes=true then
      begin
       if pos(' ',zn)=0 then
        begin
         if id_type='integer' then
          begin
          Val(zn,zn_int,cod);
          if cod<>0 then
            memo2.Lines.Add('Строка '+IntToStr(i)+': Несоотвествие типов');
          end;
 
         if id_type='real' then
         begin
          val(zn,zn_real,cod);
          if cod<>0 then
           memo2.Lines.Add('Строка '+IntToStr(i)+': Несоотвествие типов');
           end;
          if id_type='char' then
          begin
           zn_l:=length(zn);
           if not ((zn_l=3) and (zn[1]='''') and (zn[3]='''')) then
            memo2.Lines.Add('Строка '+IntToStr(i)+': Несоотвествие типов');
           end;
           if id_type='string' then
            begin
             zn_ls:=length(zn);
             if not((zn[1]='''') and (zn[zn_ls]='''')) then
             memo2.Lines.Add('Строка '+IntToStr(i)+': Несоотвествие типов');
            end;
              if id_type='boolean' then
               if (zn<>'true') and (zn<>'false') then
              memo2.Lines.Add('Строка '+IntToStr(i)+': Несоотвествие типов');
 
 
 
 
             end;
          //!!!!!!!!проверка function
          for q := 1 to L_j do
            begin
          If (pos(rec2_fn[q].name ,s)<>0) and (s<>'') and (wh_yes=true) then
             begin
              Ls_wh:=length(s);
             pos1:= pos (':=',s);
             Per1:=copy (s,1,(Ls_wh-pos1));
             Fn_n1:=copy (s,(pos('function',s)+1),pos ('(',s1));     //!!!!!
              ///////////////////
             for f := 1 to L_j do
               begin
                 if (per1=rec1[f].name)  then
                  f1:=f
                  else
                   memo2.Lines.Add('Строка '+IntToStr(i)+': Неизвестная переменная');
                end;
                for f := 1 to L_j  do
                begin
                  if (Fn_n1=rec2_fn[f1].name) then
                   f2:=f
                   else
                    memo2.Lines.Add('Строка '+IntToStr(i)+': Неизвестная функция');
                  end;
               if not (rec1[f1].types=rec2_fn[f2].types) then
                memo2.Lines.Add('Строка '+IntToStr(i)+': Несоотвествие типов');
 
             end;
             end;
 
         //end;
      end;
  end;
  if pos('var',s)<>0 then
  begin
  b:=true;
  wh_yes:=false;
  end;
 
  end;{for}

Без помощи не разобраться..
почему-то не работает блок \\проверки function

зарание благодарен!!

Новые блоги и статьи Все статьи Все блоги /
Валидация и контроль данных табличной части документа перед записью Maks 22.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа, разработанного в КА2. Задача: контроль и валидация данных табличной части документа перед записью с учетом регламента компании. . .	Отчёт о затраченных материалах за определенный период с макетом печатной формы Maks 21.04.2026 Отчёт из решения ниже размещён в конфигурации КА2. Задача: разработка отчёта по затраченным материалам за определённый период, с возможностью вывода печатной формы отчёта с шапкой и подвалом. В. . .	Отчёт о спецтехнике находящейся в ремонте Maks 20.04.2026 Отчёт из решения ниже размещен в конфигурации КА2. Задача: отобразить спецтехнику, которая на данный момент находится в ремонте. Есть нетиповой документ "Заявка на ремонт спецтехники" который. . .	Памятка для бота и "визитка" для читателей "Semantic Universe Layer (Слой семантической вселенной)" Hrethgir 19.04.2026 Сгенерировано для краткого описания по случаю сборки и компиляции скелета серверного приложения. И пусть после этого скажут, что статьи сгенерированные AI - туфта и не интересно. И это не реклама -. . .
Запрет удаления строк ТЧ документа при определённом условии Maks 19.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "Аккумуляторы", разработанного в конфигурации КА2. У данного документа есть ТЧ, в которой в зависимости от прав доступа. . .	Модель заражения группы наркоманов alhaos 17.04.2026 Условия задачи сформулированы тут Суть: - Группа наркоманов из 10 человек. - Только один инфицирован ВИЧ. - Колются одной иглой. - Колются раз в день. - Колются последовательно через. . .	Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .

Опции темы