diff options
Diffstat (limited to 'org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java')
-rw-r--r-- | org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java b/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java new file mode 100644 index 0000000..0907ce5 --- /dev/null +++ b/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java @@ -0,0 +1,40 @@ +/******************************************************************************* + * 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.Collections; +import java.util.Set; + +public class SymbolicState { + private Set<PropertyState> propertyStates; + private ExecutionState executionState; + + public SymbolicState(Set<PropertyState> propertyStates, ExecutionState executionState) { + this.propertyStates = propertyStates; + this.executionState = executionState; + } + + public ExecutionState getExecutionState() { + return executionState; + } + + public void setExecutionState(ExecutionState es) { + executionState = es; + } + + public Set<PropertyState> getPropertyStates() { + return Collections.unmodifiableSet(propertyStates); + } + + public void setPropertyStates(Set<PropertyState> ps) { + propertyStates = ps; + } +} |