2.1.4.3.9 Claim-new

  1. Successful processing of this step MUST create one or more claims.

  2. If no matching n-tuples are presented to this processing step, the contained assignments MUST have only Literals and MUST NOT have any IDENTIFIER references. In this case, only one claim is generated.

  3. If matching n-tuples are presented, this processing step MUST create one claim per matching n-tuple, using Literals and/or IDENTIFIER references to the matching n-tuple.

  4. Assignments to TYPE, VALUE, and VALUE-TYPE MUST be interpreted as assignments to TYPE, VALUE and VALUE-TYPE, respectively, of each of the newly created Claims; see section 2.1.2.

  5. If the Expr on the right side of the ASSIGN is a Literal, it MUST be interpreted based on the type on the left side of ASSIGN. When the left side of the Expr is not STRING-TYPE, the Literal MUST be converted in accordance with the rules specified in [ISO/IEC-9899] section 7.20.1.4. If the right side of the Assign is not a Literal, type conversion MUST NOT be performed.

  6. Each newly created claim MUST adhere to the definition in section 2.1.2; else it MUST be considered invalid.

  7. If any type mismatches or errors in type conversions are encountered by ASSIGN, or if an invalid claim is generated, processing MUST stop, and a processing error MUST be indicated.