TYPE version_type = code_type; WHERE wr1: LENGTH(SELF) <= version_len; wr2: EXISTS(VALUE(SELF)) AND ('INTEGER' IN TYPEOF(VALUE(SELF))) AND (VALUE(SELF) >= 0); END_TYPE; -- version_type |
Usersbasic_semantic_unit.versionsupplier_bsu.version |
public interface EVersion_type |