diff options
| author | Elliott Baron <ebaron@fedoraproject.org> | 2009-11-08 16:03:56 -0500 |
|---|---|---|
| committer | Elliott Baron <ebaron@fedoraproject.org> | 2009-11-08 16:03:56 -0500 |
| commit | 07719f845f1e6045ed5c1553eafa9c632e53e8bf (patch) | |
| tree | c0953aa6712fbc1930e3297319e77e96e78e6009 /org.eclipse.cdt.codan.ui/plugin.xml | |
| parent | 25eebecd10f8bfa9810e73f4efdc5b0be4a305a2 (diff) | |
| download | codan-07719f845f1e6045ed5c1553eafa9c632e53e8bf.tar.gz codan-07719f845f1e6045ed5c1553eafa9c632e53e8bf.tar.xz codan-07719f845f1e6045ed5c1553eafa9c632e53e8bf.zip | |
Moved property simulation code to PropertySimulator class. Improved resolving errors to IASTNodes that caused them.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ESSimplifier.java: Added getImplications(ExecutionState), join truth assignments.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ESTruthTable.java: Added getExecutionState for a Minterm.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionState.java: Moved join into PropertSimulator.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/IPropertyFSM.java: Interface to formalize definition for FSM of property states.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/PropertySimulator.java: New file; extracted all common propsim functionality.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/QuineMcCluskeySimplifier.java: Added getImplications(Minterm<E>).
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java: Maintain set of IASTNodes that led to error transition.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/checkers/CloseOpenedFilesChecker.java: Moved most code to PropertySimulator.
Diffstat (limited to 'org.eclipse.cdt.codan.ui/plugin.xml')
0 files changed, 0 insertions, 0 deletions