Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Type constraints. |
| 3 | */ |
| 4 | #ifndef ASN1_PARSER_CONSTRAINT_H |
| 5 | #define ASN1_PARSER_CONSTRAINT_H |
| 6 | |
| 7 | typedef struct asn1p_constraint_s { |
| 8 | |
| 9 | enum asn1p_constraint_type_e { |
| 10 | ACT_INVALID, /* for assertions */ |
| 11 | /* |
| 12 | * Constraint elements. |
| 13 | */ |
Lev Walkin | ff7dd14 | 2005-03-20 12:58:00 +0000 | [diff] [blame] | 14 | ACT_EL_TYPE, /* T (contained subtype) */ |
| 15 | ACT_EL_VALUE, /* 123, "A", (elementary value) */ |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 16 | ACT_EL_RANGE, /* 1..2 (elementary range) */ |
| 17 | ACT_EL_LLRANGE, /* 1<..2 (elementary range) */ |
| 18 | ACT_EL_RLRANGE, /* 1..<2 (elementary range) */ |
| 19 | ACT_EL_ULRANGE, /* 1<..<2 (elementary range) */ |
| 20 | ACT_EL_EXT, /* ... (extensibility mark) */ |
| 21 | /* |
| 22 | * Constraint types. |
| 23 | */ |
| 24 | ACT_CT_SIZE, /* SIZE constraint type */ |
| 25 | ACT_CT_FROM, /* FROM constraint type */ |
| 26 | ACT_CT_WCOMP, /* WITH COMPONENT */ |
| 27 | ACT_CT_WCOMPS, /* WITH COMPONENTS */ |
Lev Walkin | 1893ddf | 2005-03-20 14:28:32 +0000 | [diff] [blame] | 28 | ACT_CT_CTDBY, /* CONSTRAINED BY */ |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 29 | /* |
| 30 | * Arrays of constraints. |
| 31 | */ |
| 32 | ACT_CA_SET, /* A set of constraints: (c1)(c2) */ |
| 33 | ACT_CA_CRC, /* Comp. relation c-t: ({a})({@b}) */ |
| 34 | ACT_CA_CSV, /* Comma-separated constraints array */ |
| 35 | ACT_CA_UNI, /* UNION (|) */ |
| 36 | ACT_CA_INT, /* INTERSECTION (^) */ |
| 37 | ACT_CA_EXC, /* EXCEPT */ |
Lev Walkin | 1e448d3 | 2005-03-24 14:26:38 +0000 | [diff] [blame] | 38 | ACT_CA_AEX, /* ALL EXCEPT */ |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 39 | } type; |
| 40 | |
| 41 | enum asn1p_constr_pres_e { |
| 42 | ACPRES_DEFAULT, |
| 43 | ACPRES_PRESENT, |
| 44 | ACPRES_ABSENT, |
| 45 | ACPRES_OPTIONAL, |
| 46 | } presence; |
| 47 | |
| 48 | /* |
Lev Walkin | ff7dd14 | 2005-03-20 12:58:00 +0000 | [diff] [blame] | 49 | * Separate types and values. |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 50 | */ |
Lev Walkin | ff7dd14 | 2005-03-20 12:58:00 +0000 | [diff] [blame] | 51 | asn1p_value_t *containedSubtype; |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 52 | asn1p_value_t *value; |
| 53 | asn1p_value_t *range_start; |
| 54 | asn1p_value_t *range_stop; |
| 55 | |
| 56 | /* |
| 57 | * A collection of constraint elements. |
| 58 | */ |
| 59 | struct asn1p_constraint_s **elements; |
Lev Walkin | e972d93 | 2004-09-05 10:40:28 +0000 | [diff] [blame] | 60 | unsigned int el_count; /* Number of meaningful elements */ |
| 61 | unsigned int el_size; /* Size of the allocated (elements) */ |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 62 | |
| 63 | int _lineno; /* Position in a source file */ |
| 64 | } asn1p_constraint_t; |
| 65 | |
Lev Walkin | f59d075 | 2004-08-18 04:59:12 +0000 | [diff] [blame] | 66 | /* Human-readable constraint type description */ |
| 67 | char *asn1p_constraint_type2str(enum asn1p_constraint_type_e); |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 68 | |
| 69 | /* |
| 70 | * Constructors and a recursive destructor. |
| 71 | */ |
| 72 | asn1p_constraint_t *asn1p_constraint_new(int _lineno); |
| 73 | void asn1p_constraint_free(asn1p_constraint_t *); |
| 74 | |
| 75 | /* |
| 76 | * Clone the constraint and all its children. |
| 77 | */ |
| 78 | asn1p_constraint_t *asn1p_constraint_clone(asn1p_constraint_t *source_to_clone); |
| 79 | |
| 80 | /* |
| 81 | * Insert additional element into the element array of a (to) constraint. |
| 82 | */ |
| 83 | int asn1p_constraint_insert(asn1p_constraint_t *into, asn1p_constraint_t *what); |
| 84 | |
| 85 | #endif /* ASN1_PARSER_CONSTRAINT_H */ |