I need to check an string attribute length and I don't know what function I have to use, size() maybe?
Context Myclass inv:self.string_attribute->size() <7
I need to check an string attribute length and I don't know what function I have to use, size() maybe?
Context Myclass inv:self.string_attribute->size() <7
-> is for navigating from Collections.
. is for objects/values and an attribute is a value so:
...string_attribute.size()