1 files changed, 0 insertions, 157 deletions
diff --git a/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/CloseOpenedFilesChecker.java b/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/CloseOpenedFilesChecker.java
deleted file mode 100644
index 8acdc81..0000000
--- a/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/CloseOpenedFilesChecker.java
+++ /dev/null
@@ -1,157 +0,0 @@
-/*******************************************************************************
- * Copyright (c) 2009 Elliott Baron
- * 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:
- *    Elliott Baron - initial API and implementation
- *******************************************************************************/
-package org.eclipse.cdt.codan.extension;
-
-import java.io.File;
-import java.net.URI;
-import java.text.MessageFormat;
-import java.util.ArrayList;
-import java.util.List;
-
-import org.eclipse.cdt.codan.core.model.AbstractIndexAstChecker;
-import org.eclipse.cdt.core.dom.ast.ASTVisitor;
-import org.eclipse.cdt.core.dom.ast.IASTBinaryExpression;
-import org.eclipse.cdt.core.dom.ast.IASTDeclarator;
-import org.eclipse.cdt.core.dom.ast.IASTExpression;
-import org.eclipse.cdt.core.dom.ast.IASTFunctionCallExpression;
-import org.eclipse.cdt.core.dom.ast.IASTIdExpression;
-import org.eclipse.cdt.core.dom.ast.IASTInitializerExpression;
-import org.eclipse.cdt.core.dom.ast.IASTName;
-import org.eclipse.cdt.core.dom.ast.IASTNode;
-import org.eclipse.cdt.core.dom.ast.IASTStatement;
-import org.eclipse.cdt.core.dom.ast.IASTTranslationUnit;
-import org.eclipse.cdt.core.dom.ast.IBinding;
-import org.eclipse.core.resources.IProject;
-import org.eclipse.core.resources.IResource;
-import org.eclipse.core.resources.IWorkspaceRoot;
-import org.eclipse.core.resources.ResourcesPlugin;
-import org.eclipse.ptp.pldt.mpi.analysis.cdt.graphs.GraphCreator;
-import org.eclipse.ptp.pldt.mpi.analysis.cdt.graphs.IBlock;
-import org.eclipse.ptp.pldt.mpi.analysis.cdt.graphs.ICallGraph;
-import org.eclipse.ptp.pldt.mpi.analysis.cdt.graphs.ICallGraphNode;
-import org.eclipse.ptp.pldt.mpi.analysis.cdt.graphs.IControlFlowGraph;
-import org.eclipse.ptp.pldt.mpi.analysis.cdt.graphs.impl.ControlFlowGraph;
-
-public class CloseOpenedFilesChecker extends AbstractIndexAstChecker {
-	private static final String ERR_ID = Activator.PLUGIN_ID + ".CloseOpenedFilesProblem";
-
-	public void processAst(IASTTranslationUnit ast) {
-		// traverse the AST using the visitor pattern
-		CloseOpenedFilesVisitor visitor = new CloseOpenedFilesVisitor();
-		
-		GraphCreator creator = new GraphCreator();
-		
-		// Retrieve resource corresponding to this translation unit
-		String path = ast.getFilePath();
-		URI fileURI = new File(path).toURI();
-		IWorkspaceRoot wsRoot = ResourcesPlugin.getWorkspace().getRoot();
-		IResource[] resources = wsRoot.findFilesForLocationURI(fileURI);
-		if (resources != null && resources.length > 0) {
-			IProject proj = resources[0].getProject();
-			
-			// Create call graph for project
-			ICallGraph cg = creator.createCallGraph(proj);
-			creator.computeCallGraph(cg);
-			
-			// Create control flow graph
-			ICallGraphNode cgRoot = cg.topEntry();
-			IASTStatement fnBody = cgRoot.getFuncDef().getBody();
-			IControlFlowGraph cfg = new ControlFlowGraph(fnBody);
-			cfg.buildCFG();
-			cfg.print();
-			
-			ast.accept(visitor);			
-		}		
-	}
-
-
-	private void reportProblem(IASTName closeFD) {
-		String message = MessageFormat.format("File descriptor \"{0}\" has not been opened", closeFD.toString());
-		reportProblem(ERR_ID, closeFD, message);
-	}
-
-	
-	class CloseOpenedFilesVisitor extends ASTVisitor {
-		
-		public static final String OPEN = "open";
-		public static final String CLOSE = "close";
-		
-		private List<IASTName> openedFDs;
-
-		public CloseOpenedFilesVisitor() {
-			openedFDs = new ArrayList<IASTName>();
-			shouldVisitExpressions = true;
-		}
-		
-		@Override
-		public int visit(IASTExpression expression) {
-			if (expression instanceof IASTFunctionCallExpression) {
-				IASTFunctionCallExpression callExpression = (IASTFunctionCallExpression) expression;
-				IASTExpression funcName = callExpression.getFunctionNameExpression();
-				if (funcName instanceof IASTIdExpression) {
-					IASTName name = ((IASTIdExpression) funcName).getName();
-					String simpleName = String.valueOf(name.getSimpleID());
-					if (simpleName.equals(OPEN)) {
-						IASTNode parent = callExpression.getParent();
-						// Handle initialization in declaration
-						if (parent instanceof IASTInitializerExpression) {
-							parent = parent.getParent();
-							if (parent instanceof IASTDeclarator) {
-								openedFDs.add(((IASTDeclarator) parent).getName());
-							}
-						}
-						// Assignment after declaration
-						else if (parent instanceof IASTBinaryExpression) {
-							IASTExpression op2 = ((IASTBinaryExpression) parent).getOperand2();
-							int operator = ((IASTBinaryExpression) parent).getOperator();
-							if (callExpression.equals(op2) && operator == IASTBinaryExpression.op_assign) { 
-								IASTExpression op1 = ((IASTBinaryExpression) parent).getOperand1();
-								if (op1 instanceof IASTIdExpression) {
-									openedFDs.add(((IASTIdExpression) op1).getName());
-								}
-							}
-						}
-					}
-					else if (simpleName.equals(CLOSE)) {
-						IASTExpression paramExpression = callExpression.getParameterExpression();
-						if (paramExpression instanceof IASTIdExpression) {
-							IASTName fd = ((IASTIdExpression) paramExpression).getName();
-							// Add only if no matching opened FD
-							boolean match = false;
-							for (int i = 0; !match && i < openedFDs.size(); i++) {
-								IASTName opened = openedFDs.get(i);
-								match = matchingFileDescriptors(fd, opened);
-							}
-							
-							if (!match) {
-								reportProblem(fd);
-							}
-						}
-					}
-				}
-				
-				return PROCESS_SKIP;
-			}
-			else {
-				return PROCESS_CONTINUE;
-			}
-		}
-		
-		private boolean matchingFileDescriptors(IASTName closeFD, IASTName openFD) {
-			// FIXME elaborate
-			IBinding closeBinding = closeFD.getBinding();
-			IBinding openBinding = openFD.getBinding();
-			
-			return openBinding != null && closeBinding != null && openBinding.equals(closeBinding);
-		}
-	}
-
-}