diff options
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; + } + +} |