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
Copyright © 2021 Jogjafile Inc.
->
is for navigating from Collections..
is for objects/values and an attribute is a value so: