diff options
author | Andrei Karas <akaras@inbox.ru> | 2015-07-01 18:19:12 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2015-07-01 18:19:12 +0300 |
commit | 1f8411373577372f1b4c969a7f1c87f8f8354107 (patch) | |
tree | ee8ce6e69e63e6d1e8a10333be240ced9508b89d /src/analysis/collections.h | |
parent | a9b1e1d3e82cf93af5e4f485b7c05cb932ed092c (diff) | |
download | paranucker-1f8411373577372f1b4c969a7f1c87f8f8354107.tar.gz paranucker-1f8411373577372f1b4c969a7f1c87f8f8354107.tar.bz2 paranucker-1f8411373577372f1b4c969a7f1c87f8f8354107.tar.xz paranucker-1f8411373577372f1b4c969a7f1c87f8f8354107.zip |
Move collection manipulation functions into separate file.
Diffstat (limited to 'src/analysis/collections.h')
-rw-r--r-- | src/analysis/collections.h | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/src/analysis/collections.h b/src/analysis/collections.h new file mode 100644 index 0000000..d8cdb9e --- /dev/null +++ b/src/analysis/collections.h @@ -0,0 +1,60 @@ +/* + * Copyright (C) 2015 Andrei Karas + * + * This file is part of Paranoid null checker. + * + * This program is free software; you can redistribute it and/or modify + * it under the terms of the GNU General Public License as published by + * the Free Software Foundation; either version 3 of the License, or + * any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program. If not, see <http://www.gnu.org/licenses/>. + */ + +#ifndef ANALYSIS_COLLECTIONS_H +#define ANALYSIS_COLLECTIONS_H + +#include "includes.h" + +#include <set> +#include <string> + +struct Node; +struct WalkItem; + +namespace Analysis +{ + void addNeedCheckNullVars(WalkItem &wi, + WalkItem &wo); + + void addNullVar(WalkItem &wi, + const std::string &var); + + void addLinkedVar(WalkItem &wi, + std::string parent, + const std::string &var); + + void removeNeedCheckNullVar(WalkItem &wi, std::string str); + + void removeNeedCheckNullVarsSetAll(WalkItem &wi, + std::set<std::string> &vars); + + void removeNeedCheckNullVarsSet(WalkItem &wi, + std::set<std::string> &vars); + + void mergeNullChecked(WalkItem &wi1, WalkItem &wi2); + + void mergeNonNullChecked(WalkItem &wi1, WalkItem &wi2); + + void intersectNullChecked(WalkItem &wi, WalkItem &wi1, WalkItem &wi2); + + void intersectNonNullChecked(WalkItem &wi, WalkItem &wi1, WalkItem &wi2); +} + +#endif // ANALYSIS_COLLECTIONS_H |