-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathbolum4.tex
105 lines (104 loc) · 4.42 KB
/
bolum4.tex
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
\documentclass[22pt]{article}
\usepackage[turkish]{babel}
\usepackage[utf8]{inputenc}
\usepackage{multicol}
\usepackage{listings}
\usepackage[cm]{fullpage}
\setlength{\columnsep}{3cm}
\begin{document}
\textbf{4 Dönüşümler}\\
\\
Dönüşüm özelliklerinin esas C kodu formu vardır, ilk sütunda sildiğiniz satırların açıklamasını "-" ile birlikte, eklediğiniz satırların açıklamasını "+" ile birlikte kullanmalısınız. Bu dönüşüm özelliklerinde, nokta kullanabilirsiniz. “...”, üç nokta rasgele dizi işlev bağımsız değişkenleri veya yönergeler içindeki bir denetim akış yolunu tarif ediyor. Dolayısıyla üç nokta ("...") üç noktadan sonra eşleşen bazı modellerle üç noktadan önce eşleşen bazı modeller arasındaki kısa yoldur. Noktalar, eşleşen dizisi içinde bir yerde ortaya çıkmaz, bir model gösteren bir when madde ile modifiye edilebilir."when any","..." kısa yolu ile eşleştiğinde anılan kısıtlamaları kaldırır. Son olarak bir dönüşüm formu deseni, bir ayırım belirtebilirsiniz. ( pat 1 | . . . | pat n ) (| , or) sütununda 0 ya da \ öncesinde.SMPL kod aslında gramer değildir, dilbilgisi dönüşümü için sunuluyor,aslında programcı tarafından yazılmış olabilir. Ancak bunun yerine oluşan bu dilim dilbilgisi "-" açıklamalı ve açıklama içermeyen kodu veya "+" açıklamalı kodu ve açıklama içermeyen kodudur. Örneğin,ayrıştırma amacıyla, aşağıdaki dönüştürmede gösterilen model, iki model halinde bölünür ve her biri ayrı olarak çözümlenir :
\begin{lstlisting}
1 proc_info_func(...) {
2 <...
3 - hostno
4 + hostptr->host_no
5 ...>
6 }
\end{lstlisting}
\begin{multicols}{2}
\begin{lstlisting}
1 proc_info_func(...) {
2 <...
3 - hostno
4 ...>
5 }
\end{lstlisting}
\columnbreak
\begin{lstlisting}
1 proc_info_func(...) {
2 <...
3 + hostptr->host_no
4 ...>
5 }
\end{lstlisting}
\end{multicols}
Her iki dilim de doğru ayrıştırma gerektiren kural sözdizimsel olarak geçerli C koduna uygun olmasını sağlar ve sözdizimsel olarak geçerli C kodu üretir.Oluşturulan ayrıştırma ağaçları daha sonra, sonraki uygun ve dönüştürme işleminde kullanım için birleştirilir. Aşağıdaki bir dönüşümün eksi ya da artı dilim için dilbilgisi:
\begin{lstlisting}
transformation ::= include +
|OPTDOTSEQ(top, when)
include ::= #include include_string
top ::= expr
| decl_stmt +
| fundecl
when ::= when != when_code
| when = rule_elem_stmt
| when COMMA_LIST(any_strict)
| when true != expr
| when false != expr
when_code ::= OPTDOTSEQ(decl_stmt + , when)
| OPTDOTSEQ(expr, when)
rule_elem_stmt ::= one_decl
| expr;
| return [expr];
| break;
| continue;
| \(rule_elem_stmt (\| rule_elem_stmt) + \)
any_strict ::= any
| strict
| forall
| exists
OPTDOTSEQ(grammar_ds, when_ds) ::=
[... (when_ds) *] grammar_ds(...(when_ds)* grammar_ds)* [...(when_ds) *]
\end{lstlisting}
\null
Belki bir satırı açıklamak için eleman olarak {-,+,*} setini veya ? tekil elemanları ya da her biri kullanılabilir."?" Verilen desen en az bir eşleme temsil eder,yani desenin bir eşleşmesi isteğe bağlıdır. * anlamsal eşleşme için kullanılır, yani bir desen * birlikte açıklamalı parçaları vurgular,ancak eşleşen kod herhangi bir değişiklik yapmaz.* "-" ve "+" ile karıştırılmamalıdır.Bu açıklamaların kullanımında bazı kısıtlamalar vardır.\\
\\
• Nokta yani "..." bir çizgi işaretli + üzerinde oluşamaz.\\
• İç içe noktalar, yani, nokta içine "<" ve ">", hatta herhangi bir işaretleme ile gerçekleşemez.\\
Bir ayırmanın her elemanı bir deyim, bir tanımlayıcı veya beyan gibi uygun bir terim olmalı.Bu nedenle, aşağıda sol tarafta kuralı sözdizimsel doğru SMPL kuralı değildir.Bunun yerine sağ taraftakini kullanabilirsiniz.
\begin{multicols}{2}
\begin{lstlisting}
1 @@
2 type T;
3 T b;
4 @@
5
6 (
7 writeb(...,
8 |
9 readb(...,
10 )
11 -(T)
12 b)
\end{lstlisting}
\columnbreak
\begin{lstlisting}
1 @@
2 type T;
3 T b;
4 @@
5
6 (
7 read
8 |
9 write
10 )
11 (...,
12 -(T)
13 b)
\end{lstlisting}
\end{multicols}
Bazı terimlerde sadece + kod görünür.Bu yorum ,ifdefs ve attributes (\_\_attribute\_\_((...))) içerir.
\end{document}