/*******************************************************************************
* Copyright (c) 2006, 2010 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.IASTEqualsInitializer;
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)((IASTEqualsInitializer)declarator1.getInitializer()).getInitializerClause();
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)((IASTEqualsInitializer)declarator2.getInitializer()).getInitializerClause();
assertEquals(IASTLiteralExpression.lk_string_literal, expr2.getKind());
assertEquals("\"its still good\"", expr2.toString());
}
}