Member predicate VariableWithFields::getElement
Gets the element that this variable with fields reads, if any.
For example, the string value of c
for the variable with fields a.b[c]
.
Gets the element that this variable with fields reads, if any.
For example, the string value of c
for the variable with fields a.b[c]
.