diff options
| author | Elliott Baron <ebaron@fedoraproject.org> | 2009-10-12 20:37:13 -0400 |
|---|---|---|
| committer | Elliott Baron <ebaron@fedoraproject.org> | 2009-10-12 20:37:13 -0400 |
| commit | 306422deda74c5a120771f42e70422f77efcd640 (patch) | |
| tree | 6ad062db01d908c314d8824b3afeb8567c4c68da /org.eclipse.cdt.codan.extension/plugin.xml | |
| parent | 18360ea0c9cd1fce259ba7cf6824b48736334c4f (diff) | |
| download | codan-306422deda74c5a120771f42e70422f77efcd640.tar.gz codan-306422deda74c5a120771f42e70422f77efcd640.tar.xz codan-306422deda74c5a120771f42e70422f77efcd640.zip | |
Transition for branching complete; execution state made of CNF clauses of variable assignments & branch conditions; errors reported.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionState.java: Use Clause class.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionStateClause.java: New file.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/PropertyState.java: Take optional name arg.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java: New copy method.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/VariableAssignmentVisitor.java: New file.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/checkers/CloseOpenedFilesChecker.java: See commit message.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/checkers/FunctionNameParser.java: Use IASTNode.
Diffstat (limited to 'org.eclipse.cdt.codan.extension/plugin.xml')
0 files changed, 0 insertions, 0 deletions