Value class Attributes: intvalue integer value tokvalue token value floatvalue float value movedvalue uninit containerSize container size bufferSize buffer size lifetimeScope Local/Argument/Su
| 830 | self.used = (element.get('used') == '1') |
| 831 | |
| 832 | class Value: |
| 833 | """ |
| 834 | Value class |
| 835 | |
| 836 | Attributes: |
| 837 | intvalue integer value |
| 838 | tokvalue token value |
| 839 | floatvalue float value |
| 840 | movedvalue |
| 841 | uninit |
| 842 | containerSize container size |
| 843 | bufferSize buffer size |
| 844 | lifetimeScope Local/Argument/SubFunction/ThisPointer/ThisValue |
| 845 | lifetimeKind Object/SubObject/Lambda/Iterator/Address |
| 846 | symbolicDelta |
| 847 | condition condition where this Value comes from |
| 848 | bound Upper/Lower/Point |
| 849 | valueKind known/possible/impossible/inconclusive |
| 850 | path 0/1/2/3/.. |
| 851 | """ |
| 852 | #token.cpp/token::printValueFlow |
| 853 | |
| 854 | intvalue = None |
| 855 | tokvalue = None |
| 856 | floatvalue = None |
| 857 | containerSize = None |
| 858 | condition = None |
| 859 | valueKind = None |
| 860 | |
| 861 | def isKnown(self): |
| 862 | return self.valueKind and self.valueKind == 'known' |
| 863 | |
| 864 | def isPossible(self): |
| 865 | return self.valueKind and self.valueKind == 'possible' |
| 866 | |
| 867 | def isImpossible(self): |
| 868 | return self.valueKind and self.valueKind == 'impossible' |
| 869 | |
| 870 | def isInconclusive(self): |
| 871 | return self.valueKind and self.valueKind == 'inconclusive' |
| 872 | |
| 873 | def __init__(self, element): |
| 874 | self.intvalue = element.get('intvalue') |
| 875 | if self.intvalue: |
| 876 | self.intvalue = int(self.intvalue) |
| 877 | self._tokvalueId = element.get('tokvalue') |
| 878 | self.floatvalue = element.get('floatvalue') |
| 879 | self.movedvalue = element.get('movedvalue') |
| 880 | self.uninit = element.get('uninit') |
| 881 | self.bufferSize = element.get('buffer-size') |
| 882 | self.containerSize = element.get('container-size') |
| 883 | self.iteratorStart = element.get('iterator-start') |
| 884 | self.iteratorEnd = element.get('iterator-end') |
| 885 | self._lifetimeId = element.get('lifetime') |
| 886 | self.lifetimeScope = element.get('lifetime-scope') |
| 887 | self.lifetimeKind = element.get('lifetime-kind') |
| 888 | self._symbolicId = element.get('symbolic') |
| 889 | self.symbolicDelta = element.get('symbolic-delta') |