分享一个ST语言的flex文件

realw

实现ST语言总要学编译原理，但是学编译原理总也绕不开flex与bison，最近正好正在做类似的事情。

先从flex开始吧，分享一个ST语言的flex文件。

1. %option nodefault yylineno noyywrap case-insensitive reentrant
   
2. %option bison-bridge bison-locations nounput
   
3. %option outfile="st.yy.c" header-file="st.yy.h"
   
4.     /* make isatty() useless,avoiding including <unistd.h> */
   
5. %option never-interactive nounistd
   
6. 
   
7. %{
   
8. 
   
9. #include <string.h>
   
10. #include <stdio.h>
    
11. #include <stdlib.h>
    
12. #include <ctype.h>
    
13. 
    
14. #define STLEXERROR do{ return STLEX_ERROR; }while(0)
    
15. 
    
16. #define YY_USER_ACTION { yylloc->first_line=yylloc->last_line;\
    
17.                           yylloc->first_column=yylloc->last_column;\
    
18.                           yylloc->last_column+=strlen(yytext);  }
    
19. 
    
20. static int comment(struct PlcCContext *context,struct PlcSrcLocation *loc,yyscan_t scanner);
    
21. %}
    
22. 
    
23. DIGIT   ([0-9])
    
24. NODIGIT ([_a-z])
    
25. INTEGER ({DIGIT}+)
    
26. BINARY  ("2#"[01]+)
    
27. OCTAL   ("8#"[0-7]+)
    
28. HEX     ("16#"[0-9a-f]+)
    
29. EXP     ([Ee][-+]?[0-9]+)
    
30. 
    
31. %array
    
32. 
    
33. 
    
34. %%
    
35.     /* comment */
    
36. "(*"        {
    
37.                 if( comment(context,yylloc,yyscanner)!=0 ){
    
38.                     STLEXERROR;
    
39.                 }
    
40.              }
    
41. 
    
42.             /* keyword */
    
43. 
    
44.     /* data type */
    
45. BOOL#            {}
    
46. REAL#            {}
    
47. SINT#            {}
    
48. INT#             {}
    
49. DINT#            {}
    
50. USINT#           {}
    
51. UINT#            {}
    
52. UDINT#           {}
    
53. 
    
54. BOOL |
    
55. REAL |
    
56. SINT |
    
57. INT  |
    
58. DINT |
    
59. USINT |
    
60. UINT |
    
61. UDINT |
    
62. LINT |           
    
63. ULINT |         
    
64. LREAL |         
    
65. CHAR  |         
    
66. WCHAR |         
    
67. BYTE  |         
    
68. WORD  |         
    
69. DWORD |         
    
70. LWORD |         
    
71. TIME  |         
    
72. LTIME |         
    
73. DATE  |         
    
74. LDATE |         
    
75. TIME_OF_DAY |   
    
76. TOD         |   
    
77. LTIME_OF_DAY |   
    
78. LTOD         |   
    
79. DATE_AND_TIME |  
    
80. DT            |  
    
81. LDATE_AND_TIME  |
    
82. LDT             |
    
83. STRING          |
    
84. WSTRING {
    
85.         }
    
86. 
    
87.         /* literal constants */
    
88. {INTEGER}   {
    
89.             }
    
90. 
    
91. {BINARY}    {
    
92.     }
    
93. 
    
94. {HEX}       {
    
95.     }
    
96. 
    
97. {OCTAL}     {
    
98.     }
    
99. 
    
100.         /* float literal constants */
     
101. {DIGIT}*\.{DIGIT}+{EXP}? |
     
102. {DIGIT}+\.{DIGIT}*{EXP}? |
     
103. {DIGIT}+{EXP}  {
     
104.             }
     
105. 
     
106.     /* unsupported type */
     
107. ANY         |
     
108. ANY_DERIVED |
     
109. ANY_ELEMENTARY |
     
110. ANY_MAGNITUDE  |
     
111. ANY_NUM     |
     
112. ANY_REAL    |
     
113. ANY_INT     |
     
114. ANY_UNSIGNED |
     
115. ANY_SIGNED  |
     
116. ANY_DURATION |
     
117. ANY_BIT     |
     
118. ANY_CHARS   |
     
119. ANY_STRING  |
     
120. ANY_CHAR    |
     
121. ANY_DATE    {
     
122.             }
     
123. 
     
124.     /* supported keyword */
     
125. TRUE            { return LITERAL_VALUE; }
     
126. FALSE           { return LITERAL_VALUE; }
     
127. IF              { return IF; }
     
128. THEN            { return THEN; }
     
129. ELSIF           { return ELSIF; }
     
130. ELSE            { return ELSE; }
     
131. END_IF          { return END_IF; }
     
132. NOT             { return NOT; }
     
133. MOD             { return MOD; }
     
134. AND             { return AND; }
     
135. XOR             { return XOR; }
     
136. OR              { return OR; }
     
137. RETURN          { return RETURN; }
     
138. GOTO            { return GOTO; }
     
139. 
     
140.     /* unsupported keyword */
     
141. VAR     |
     
142. END_VAR |
     
143. REPEAT  |
     
144. UNTIL           |
     
145. END_REPEAT     |
     
146. WHILE          |
     
147. END_WHILE      |
     
148. FOR |
     
149. TO  |
     
150. BY  |
     
151. DO  |
     
152. END_FOR |
     
153. CASE    |
     
154. OF      |
     
155. END_CASE    |
     
156. EXIT   |
     
157. ACTION |
     
158. END_ACTION |
     
159. ARRAY |
     
160. AT |
     
161. CONFIGURATION |
     
162. END_CONFIGURATION |
     
163. CONSTANT  |
     
164. EN |
     
165. ENO |
     
166. F_EDGE |
     
167. FUNCTION |
     
168. END_FUNCTION |
     
169. FUNCTION_BLOCK |
     
170. END_FUNCTION_BLOCK |
     
171. INITIAL_STEP |
     
172. END_STEP |
     
173. PROGRAM |
     
174. WITH |
     
175. END_PROGRAM |
     
176. R_EDGE |
     
177. READ_ONLY |
     
178. READ_WRITE |
     
179. RESOURCE |
     
180. ON |
     
181. END_RESOURCE |
     
182. RETAIN |
     
183. NON_RETAIN |
     
184. STEP |
     
185. STRUCT |
     
186. END_STRUCT |
     
187. TASK |
     
188. TRANSITION |
     
189. FROM |
     
190. END_TRANSITION |
     
191. VAR_INPUT |
     
192. VAR_OUTPUT |
     
193. VAR_IN_OUT |
     
194. VAR_TEMP |
     
195. VAR_EXTERNAL |
     
196. VAR_ACCESS |
     
197. VAR_CONFIG  {
     
198.             }
     
199. 
     
200. 
     
201.         /* delimiter & operator */
     
202. "+" |
     
203. "-" |
     
204. "." |
     
205. "'" |
     
206. ":" |
     
207. "("  |
     
208. ")"  |
     
209. "["  |
     
210. "]"  |
     
211. ","  |
     
212. ";"   |
     
213. "*"   |
     
214. "/"   |
     
215. "&"   |
     
216. "!"   |
     
217. "="   |
     
218. "<"   |
     
219. ">"   |
     
220. "%"   { return yytext[0]; }
     
221. 
     
222. ":="  { return ASSIGN; }
     
223. "**"  { return EXP_OP; }
     
224. "<="  { return LE_OP; }
     
225. ">="  { return GE_OP; }
     
226. "<>"  { return NE_OP; }
     
227. 
     
228.         /* unsupported delimiter & operator */
     
229. "=>" |
     
230. ".."    {
     
231.         }
     
232. 
     
233. [ \t\r]  {  /*do nothing*/  }
     
234. 
     
235. <*>\n      {
     
236.         }
     
237. 
     
238.         /* identifiers */
     
239. @?({DIGIT}|{NODIGIT})+       {
     
240.         }
     
241. 
     
242. 
     
243.         /* end of file*/
     
244. <<EOF>> {
     
245.         return 0;
     
246.         }
     
247. 
     
248.         /* lex error */
     
249. <*>.    {
     
250.         }
     
251. 
     
252. %%
     
253. 
     
254. static int comment(struct PlcCContext *context,struct PlcSrcLocation *loc,yyscan_t scanner){
     
255.     int c;
     
256.     while(1){
     
257.         c = input(scanner);
     
258.         loc->last_column++;
     
259.         if( c == '*' ){
     
260.             c = input(scanner);
     
261.             loc->last_column++;
     
262.             if( c==')' ){
     
263.                 return 0;
     
264.             }
     
265.         }
     
266.         else if( c=='\n' ){
     
267.             loc->last_line++;
     
268.             loc->last_column=1;
     
269.         }
     
270. 
     
271.         if( c==EOF ){
     
272.             return -1;
     
273.         }
     
274.     }
     
275. 
     
276.     return -1;
     
277. }
     

复制代码

有疑问欢迎拍。
有问题欢迎问。

zzsczz

st标准参照哪家的 ？  siemens 的 scl  还是  iec标准的

realw

参照如下：

zzsczz

realw 发表于 2016-3-17 20:11
参照如下：

下面没有了么？

realw

参照见附件。

另外标识符以可选的 @开头 是自定义的。留作未来保留标识符使用。

realw

zzsczz 发表于 2016-3-17 20:12
下面没有了么？

看了论坛上好多开源的东西，边看做了一点点东西，最后最深的感觉是flex与bison是工具，
先会用，编译原理的功底需要边做边体会。

启动时最难的部分其实是61131-3。

• 61131 软件模型
• 61131 类型系统
• 针对控制器开发人员二次开发的扩展接口设计
• 5种语言以及图形编程
  

zzsczz

realw 发表于 2016-3-17 20:58
看了论坛上好多开源的东西，边看做了一点点东西，最后最深的感觉是flex与bison是工具，
先会用，编译原理 ...

学习一下么 怎么都可以啦。
  

词法分析器后端是 C 语言 还是 特定机器？

realw

zzsczz 发表于 2016-3-17 21:33
学习一下么 怎么都可以啦。
  

所有语言统一编译成为ST语言，
ST语言编译成自定义中间语言，
自定义中间语言解释执行。

liurangzhou

#在这里快速回复#曾经做过一个简单的，实现st到c++转换

zzsczz

realw 发表于 2016-3-17 21:38
所有语言统一编译成为ST语言，
ST语言编译成自定义中间语言，
自定义中间语言解释执行。 ...

工作量不小。

还有条路也可以看一下 ，西门子 的 step7,   西门子称之为 SCL （ IEC对应的为ST ，稍有不同）  编译成MC7,  对应 汇编SOURCE为  STL（IEC对应为IL ，不大相同）

官方 和第三方实现都有，开源的虚拟机实现也有。     按照 MC7格式 设计虚拟机即可，前面的有现成的， 现成产品 比 规范 要  现实  ； IEC标准适合 运动控制用。

realw

zzsczz 发表于 2016-3-17 22:14
工作量不小。

还有条路也可以看一下 ，西门子 的 step7,   西门子称之为 SCL （ IEC对应的为ST ，稍有不 ...

不太熟悉STEP7以及西门子的方案，抽空整理一些资料慢慢看。

bison的文件也写完了，IEC也看了有一段时间了，现在改方案代价有点大。

等bison我测试过以后，可以放上来。

realw

不知道 flex 与 西门子的词法有什么区别没有。

zzsczz

realw 发表于 2016-3-17 22:54
不知道 flex 与 西门子的词法有什么区别没有。

细节区别有的  。

可参考：
http://www.plctalk.net/qanda/archive/index.php/t-68958.html        ；


不过 比较规范 和 产品的 区别 很扯。  STEP7 的 SCL 是控制系统中 部署数量最大的 ST实现 ，至于符不符合规范  ...西门子 就是规范。


西门子scl 帮助文件  s7sclapb.chm  有描述  SCL 文法。


http://pan.baidu.com/s/1skzvyjV    中有 s7sclapb.chm   ；

官方文档在
https://support.industry.siemens ... s7-300-400?lc=en-WW


鬼子们讨论部分结果有一条 是    s7sclapb.chm 中 关于 SCL 文法 用 图形 描述，可等价转化为EBNF   （类似传统PASCAL），用  ANTLR  处理方便些。

相对于整IEC   的ST ,  玩SCL 的 资料、资源和市场要多些  ， 只用关系 执行MC7的虚拟机设计即可，ST到 IL的编译器 可以直接用STEP7，MC7代码格式可参考VIPA的文档

realw

多谢提供资料。

gpfrank

牛人，拜读，学习！也再搞IEC61131-3

realw

gpfrank 发表于 2016-3-20 15:21
牛人，拜读，学习！也再搞IEC61131-3

做什么呢？

gpfrank

realw 发表于 2016-3-21 21:25
做什么呢？

机器自动化系统。

realw

gpfrank 发表于 2016-3-21 22:01
机器自动化系统。

用的C还是Java C#？

realw

realw 发表于 2016-3-22 11:40
用的C还是Java C#？

那你接触过 KW 和 codesys么？

gpfrank

realw 发表于 2016-3-22 12:39
那你接触过 KW 和 codesys么？

只参加过KW的宣讲。还有看过施耐德和贝福的CODESYS。但是具体的都没有接触过。
你都接触过吗？

realw

gpfrank 发表于 2016-3-24 08:13
只参加过KW的宣讲。还有看过施耐德和贝福的CODESYS。但是具体的都没有接触过。
你都接触过吗？  ...

KW 比较熟练了，但是CODESYS了解不多，不太清楚他的架构。 KW的资料我手头倒是不少。

ddcour

研究PLC好资料，留名