diff options
author | Elliott Baron <ebaron@fedoraproject.org> | 2009-12-14 23:22:52 -0500 |
---|---|---|
committer | Elliott Baron <ebaron@fedoraproject.org> | 2009-12-14 23:22:52 -0500 |
commit | 14807e0d157e64a50ebd8df4e6f3b2897081296f (patch) | |
tree | 229eebdedfb64f0895c7ac5ef228cfd73b3f0625 /org.eclipse.cdt.codan.core/src/org | |
parent | 9105d65872772119884cf9816ee3f8b4dae9004c (diff) | |
download | codan-14807e0d157e64a50ebd8df4e6f3b2897081296f.tar.gz codan-14807e0d157e64a50ebd8df4e6f3b2897081296f.tar.xz codan-14807e0d157e64a50ebd8df4e6f3b2897081296f.zip |
Create abstract checker to use Property Simulation. Clean up code.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ConditionalVisitor.java: Added copyright notice.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/PropertySimulator.java: Commented out groupPSA.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/TruthAssignment.java: Added copyright notice.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/VariableAssignmentVisitor.java: Likewise.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/checkers/AbstractOpenCloseChecker.java: Extracted most code.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/checkers/AbstractPropSimChecker.java: New file.
Diffstat (limited to 'org.eclipse.cdt.codan.core/src/org')
0 files changed, 0 insertions, 0 deletions