Hi Yuriy,
So, let's talk this through. šIf a variable is being type cast as something else, how would you model it? šA wrapping node that holds the cast? šI chose to inline it with the accessor itself as being simpler.
When a variable access is being negated, šyou would also wrap the accessor with a PJNegationNode, maybe?
And, as for the arrayIndexes, if the accessor is an accessor to a point in the array of objects, well, how do you model that?
How would you want the models for this java expression:
š š !super.(OtherType)booleanArray[1][8]
The nodes work for my purposes as-is - I can trace the flow of data through the program, which is my main intent. šThat said, I have no objection to it being modeled better/different, but I do want it modeled at least this well and with at least this much detail.
What is it that you want? Do you want to go back to the way it was? šor do you have a specific destination in mind?
-Chris