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
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
|
/*******************************************************************************
* Copyright (c) 2006, 2009 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.cdt.core.lrparser.tests;
import junit.framework.TestCase;
import junit.framework.TestSuite;
import org.eclipse.cdt.core.dom.ast.IASTArrayDeclarator;
import org.eclipse.cdt.core.dom.ast.IASTArrayModifier;
import org.eclipse.cdt.core.dom.ast.IASTArraySubscriptExpression;
import org.eclipse.cdt.core.dom.ast.IASTBinaryExpression;
import org.eclipse.cdt.core.dom.ast.IASTCompoundStatement;
import org.eclipse.cdt.core.dom.ast.IASTDeclarationStatement;
import org.eclipse.cdt.core.dom.ast.IASTDeclarator;
import org.eclipse.cdt.core.dom.ast.IASTExpressionList;
import org.eclipse.cdt.core.dom.ast.IASTExpressionStatement;
import org.eclipse.cdt.core.dom.ast.IASTFunctionCallExpression;
import org.eclipse.cdt.core.dom.ast.IASTFunctionDefinition;
import org.eclipse.cdt.core.dom.ast.IASTInitializerExpression;
import org.eclipse.cdt.core.dom.ast.IASTLiteralExpression;
import org.eclipse.cdt.core.dom.ast.IASTPreprocessorMacroDefinition;
import org.eclipse.cdt.core.dom.ast.IASTPreprocessorStatement;
import org.eclipse.cdt.core.dom.ast.IASTSimpleDeclaration;
import org.eclipse.cdt.core.dom.ast.IASTStatement;
import org.eclipse.cdt.core.dom.ast.IASTTranslationUnit;
import org.eclipse.cdt.core.dom.ast.IASTUnaryExpression;
import org.eclipse.cdt.core.dom.lrparser.gnu.GCCLanguage;
import org.eclipse.cdt.core.model.ILanguage;
/**
* TODO these tests can be moved into the core
*/
@SuppressWarnings("nls")
public class LRDigraphTrigraphTests extends TestCase {
public static TestSuite suite() {
return new TestSuite(LRDigraphTrigraphTests.class);
}
public LRDigraphTrigraphTests() { }
public LRDigraphTrigraphTests(String name) { super(name); }
protected IASTTranslationUnit parse(String code) {
ParseHelper.Options options = new ParseHelper.Options();
options.setCheckSyntaxProblems(true);
options.setCheckPreprocessorProblems(true);
return ParseHelper.parse(code, getCLanguage(), options);
}
protected ILanguage getCLanguage() {
return GCCLanguage.getDefault();
}
public void testTrigraphSequences() {
String code =
"??=define SIZE ??/ \n" + // trigraph used as backslash to ignore newline
"99 \n" +
"int main(void)??< \n" +
" int arr??(SIZE??); \n" +
" arr??(4??) = '0' - (??-0 ??' 1 ??! 2); \n" +
" printf(\"%c??/n\", arr??(4??)); \n" +
"??> \n";
IASTTranslationUnit tu = parse(code);
assertNotNull(tu);
IASTPreprocessorStatement[] defines = tu.getAllPreprocessorStatements();
assertEquals(1, defines.length);
IASTPreprocessorMacroDefinition macro = (IASTPreprocessorMacroDefinition)defines[0];
assertEquals("SIZE", macro.getName().toString());
//assertEquals("99", macro.getExpansion());
IASTFunctionDefinition main = (IASTFunctionDefinition)tu.getDeclarations()[0];
IASTCompoundStatement body = (IASTCompoundStatement) main.getBody();
IASTStatement[] statements = body.getStatements();
assertEquals(3, statements.length);
// int arr??(SIZE??);
IASTSimpleDeclaration arr = (IASTSimpleDeclaration)((IASTDeclarationStatement)statements[0]).getDeclaration();
IASTArrayDeclarator arr_decl = (IASTArrayDeclarator)arr.getDeclarators()[0];
IASTArrayModifier modifier = arr_decl.getArrayModifiers()[0];
IASTLiteralExpression lit = (IASTLiteralExpression)modifier.getConstantExpression();
assertEquals(IASTLiteralExpression.lk_integer_constant, lit.getKind());
// arr??(4??) = '0' - (??-0 ??' 1 ??! 2);
IASTBinaryExpression expr = (IASTBinaryExpression)((IASTExpressionStatement)statements[1]).getExpression();
assertEquals(IASTBinaryExpression.op_assign, expr.getOperator());
IASTArraySubscriptExpression arr_op = (IASTArraySubscriptExpression)expr.getOperand1();
assertEquals("4", ((IASTLiteralExpression)arr_op.getSubscriptExpression()).toString());
IASTBinaryExpression cond = (IASTBinaryExpression)((IASTUnaryExpression)((IASTBinaryExpression)expr.getOperand2()).getOperand2()).getOperand();
assertEquals(IASTBinaryExpression.op_binaryOr, cond.getOperator());
IASTBinaryExpression cond2 = (IASTBinaryExpression)cond.getOperand1();
assertEquals(IASTBinaryExpression.op_binaryXor, cond2.getOperator());
IASTUnaryExpression not = (IASTUnaryExpression)cond2.getOperand1();
assertEquals(IASTUnaryExpression.op_tilde, not.getOperator());
// printf(\"%c??/n\", arr??(4??));
IASTFunctionCallExpression expr2 = (IASTFunctionCallExpression)((IASTExpressionStatement)statements[2]).getExpression();
IASTExpressionList params = (IASTExpressionList) expr2.getParameterExpression();
IASTArraySubscriptExpression arr_op2 = (IASTArraySubscriptExpression)params.getExpressions()[1];
assertEquals("4", ((IASTLiteralExpression)arr_op2.getSubscriptExpression()).toString());
}
public void testTrigraphEscapeSequences() {
// a ??/ trigraph should act just like a backslash in a string literal
String code =
"int main(void)??< \n" +
" char str[] = \"??/\"??/n\"; \n" +
" char c = '??/u0000'; \n" +
"??> \n";
parse(code); // will throw an exception if there are parse errors
}
public void testDigraphSequences() {
String code =
"%:define join(a, b) a %:%: b \n" +
"int main() <% \n" +
" int arr<:5:>; \n" +
"%> \n";
IASTTranslationUnit tu = parse(code); // will throw an exception if there are parse errors
IASTFunctionDefinition main = (IASTFunctionDefinition)tu.getDeclarations()[0];
IASTCompoundStatement body = (IASTCompoundStatement) main.getBody();
IASTStatement[] statements = body.getStatements();
assertEquals(1, statements.length);
IASTSimpleDeclaration arr = (IASTSimpleDeclaration)((IASTDeclarationStatement)statements[0]).getDeclaration();
IASTArrayDeclarator arr_decl = (IASTArrayDeclarator)arr.getDeclarators()[0];
IASTArrayModifier modifier = arr_decl.getArrayModifiers()[0];
IASTLiteralExpression lit = (IASTLiteralExpression)modifier.getConstantExpression();
assertEquals("5", lit.toString());
}
public void testTrigraphAndDigraphSequecesInPreprocessorDirectives() {
String code =
"%:define join1(a, b) a %:%: b \n" +
"%:define str1(a) %: a \n" +
"??=define join2(a, b) a ??=??= b \n" +
"??=define str2(a) ??= a \n" +
"int main() <% \n" +
" int join1(x, y) = str1(its all good); \n" +
" int join2(a, b) = str2(its still good); \n" +
"%> \n";
IASTTranslationUnit tu = parse(code); // will throw an exception if there are parse errors
IASTFunctionDefinition main = (IASTFunctionDefinition)tu.getDeclarations()[0];
IASTCompoundStatement body = (IASTCompoundStatement) main.getBody();
IASTStatement[] statements = body.getStatements();
assertEquals(2, statements.length);
IASTSimpleDeclaration decl1 = (IASTSimpleDeclaration)((IASTDeclarationStatement)statements[0]).getDeclaration();
IASTDeclarator declarator1 = decl1.getDeclarators()[0];
assertEquals("xy", declarator1.getName().toString());
IASTLiteralExpression expr1 = (IASTLiteralExpression)((IASTInitializerExpression)declarator1.getInitializer()).getExpression();
assertEquals(IASTLiteralExpression.lk_string_literal, expr1.getKind());
assertEquals("\"its all good\"", expr1.toString());
IASTSimpleDeclaration decl2 = (IASTSimpleDeclaration)((IASTDeclarationStatement)statements[1]).getDeclaration();
IASTDeclarator declarator2 = decl2.getDeclarators()[0];
assertEquals("ab", declarator2.getName().toString());
IASTLiteralExpression expr2 = (IASTLiteralExpression)((IASTInitializerExpression)declarator2.getInitializer()).getExpression();
assertEquals(IASTLiteralExpression.lk_string_literal, expr2.getKind());
assertEquals("\"its still good\"", expr2.toString());
}
}
|
