Titan



subset


The keyword is only used in conjunction with template definition. It denotes the matching mechanism where the incoming field may contain only elements defined in the value list of subset, and may contain less. It is applicable to fields set of types only.


Related keyword:


subset(value_list)


Example 1

type set of integer MySetOfType (0 .. 10);

template MySetOfType MyTemplate1 := subset (1, 2, 3);

matches any sequence of integers which contains zero or one occurrences of the numbers 1, 2 and 3 in any order and position

Example 2

template MySetOfType MyTemplate2 := subset (1, 2, ?);

matches any sequence of integers which contains zero or one occurrences of the numbers 1, 2 and a valid integer value (i.e. between 0 and 10, inclusive) in any order and position

Example 3

type record of integer RoI;

type set of integer SoI;

template RoI t_RoI1 := {1, 2, ?};

template SoI t_SoI1 := subset(all from t_RoI1);

Results in subset(1, 2, ?).


BNF definition of subset