|
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 |