/******************************************************************************
* Copyright (c) 2000-2019  Ericsson AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
*   Gabor Szalai - initial implementation and initial documentation
******************************************************************************/
//
//  File:               TS29511_N5g_eir_EquipmentIdentityCheck.ttcn
//  Description:	      Type definitions for 3GPP TS29511
/////////////////////////////////////////////// 
module TS29511_N5g_eir_EquipmentIdentityCheck {


  external function f_enc_EirResponseData(in EirResponseData pdu) return octetstring 
  with { extension "prototype(convert) encode(JSON)" }

  external function f_dec_EirResponseData(in octetstring stream, out EirResponseData pdu) return integer 
  with { extension "prototype(backtrack) decode(JSON)" }

  external function f_enc_ProblemDetails_eir(in ProblemDetails_eir pdu) return octetstring 
  with { extension "prototype(convert) encode(JSON)" }

  external function f_dec_ProblemDetails_eir(in octetstring stream, out ProblemDetails_eir pdu) return integer 
  with { extension "prototype(backtrack) decode(JSON)" }


  type set EirResponseData {
    EquipmentStatus    status
  }

  type charstring Pei // (pattern "([0-9]{14})")

  type charstring Supi // (pattern "(imsi-[0-9]{5,15}|nai-.+)")

  type enumerated EquipmentStatus { WHITELISTED, BLACKLISTED, GREYLISTED}


  type set ProblemDetails_eir {
    charstring type_,
    charstring title optional,
    integer status optional,
    charstring detail optional,
    charstring instance optional
  } with {
    variant (type_) "name as 'type'"
  }


} with {
  encode "JSON"
}