diff options
author | Elliott Baron <ebaron@fedoraproject.org> | 2009-10-05 20:48:19 -0400 |
---|---|---|
committer | Elliott Baron <ebaron@fedoraproject.org> | 2009-10-05 20:48:19 -0400 |
commit | 18360ea0c9cd1fce259ba7cf6824b48736334c4f (patch) | |
tree | 127e36727f77f520bc8d443595c91d639bf57dea /org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionState.java | |
parent | e35f5131df28786841f5e09d9982b912bd3469d0 (diff) | |
download | codan-18360ea0c9cd1fce259ba7cf6824b48736334c4f.tar.gz codan-18360ea0c9cd1fce259ba7cf6824b48736334c4f.tar.xz codan-18360ea0c9cd1fce259ba7cf6824b48736334c4f.zip |
Initial implementation of intra-procedural property simulation.
* org.eclipse.cdt.codan.extension/plugin.xml: Moved checker to new package.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/CloseOpenedFilesChecker.java: Moved.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionState.java: New file.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/PropertyState.java: New file.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java: New file.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/checkers/FunctionNameParser.java: New file.
* org.eclipse.ptp.pldt.mpi.analysis.cdt/src/org/eclipse/ptp/pldt/mpi/analysis/cdt/graphs/IBlock.java: Added edge support.
* org.eclipse.ptp.pldt.mpi.analysis.cdt/src/org/eclipse/ptp/pldt/mpi/analysis/cdt/graphs/IControlFlowEdge.java: Store CFG edges.
* org.eclipse.ptp.pldt.mpi.analysis.cdt/src/org/eclipse/ptp/pldt/mpi/analysis/cdt/graphs/IControlFlowGraph.java: Added getEdges.
* org.eclipse.ptp.pldt.mpi.analysis.cdt/src/org/eclipse/ptp/pldt/mpi/analysis/cdt/graphs/impl/Block.java: Store CFG edges.
* org.eclipse.ptp.pldt.mpi.analysis.cdt/src/org/eclipse/ptp/pldt/mpi/analysis/cdt/graphs/impl/ControlFlowEdge.java: New file.
* org.eclipse.ptp.pldt.mpi.analysis.cdt/src/org/eclipse/ptp/pldt/mpi/analysis/cdt/graphs/impl/ControlFlowGraph.java: Compute CFG edges.
Diffstat (limited to 'org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionState.java')
-rw-r--r-- | org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionState.java | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionState.java b/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionState.java new file mode 100644 index 0000000..ffefec7 --- /dev/null +++ b/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionState.java @@ -0,0 +1,61 @@ +/******************************************************************************* + * 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.util.ArrayList; +import java.util.List; + +import org.eclipse.cdt.core.dom.ast.IASTNode; + +public class ExecutionState { + private List<IASTNode> nodes; + private boolean top; + private boolean bottom; + + public ExecutionState() { + nodes = new ArrayList<IASTNode>(); + } + + public void addClause(IASTNode node) { + setTop(false); + setBottom(false); + nodes.add(node); + } + + public void removeClause(IASTNode node) { + nodes.remove(node); + if (nodes.size() == 0) { + setTop(true); + setBottom(false); + } + } + + public IASTNode[] getClauses() { + return nodes.toArray(new IASTNode[nodes.size()]); + } + + public boolean isTop() { + return top; + } + + public boolean isBottom() { + return bottom; + } + + public void setTop(boolean top) { + this.top = top; + } + + public void setBottom(boolean bottom) { + this.bottom = bottom; + } + +} |