| /////////////////////////////////////////////////////////////////////////////// |
| // |
| // Copyright (c) 2000-2016 Ericsson Telecom AB |
| // |
| // All rights reserved. This program and the accompanying materials |
| // are made available under the terms of the Eclipse Public License v1.0 |
| // which accompanies this distribution, and is available at |
| // http://www.eclipse.org/legal/epl-v10.html |
| /////////////////////////////////////////////////////////////////////////////// |
| // |
| // File: Facility_Types.ttcn |
| // Description: Layer 3 protocol for ISDN |
| // |
| // References: 13/155 17-CRT 288 01 Uen Rev. C |
| // DSS1 LAYER 3 PROTOCOL SPECIFICATION, MESSAGES AND |
| // INFORMATION ELEMENTS FOR BOTH BASIC CALL AND SUPPLEMENTARY |
| // SERVICE CONTROL, ISDN-E |
| // Rev: <RnXnn> |
| // Prodnr: CNL 113 435 |
| // Updated: 2007-07-17 |
| // Contact: http://ttcn.ericsson.se |
| // |
| |
| module Facility_Types |
| { |
| |
| //========================================================================= |
| // Import Part |
| //========================================================================= |
| import from Facility_IE_Defs all; |
| import from General_Types all; |
| |
| //========================================================================= |
| // External functions |
| //========================================================================= |
| external function enc_Facility_IE ( in Facility_IE pdu ) return octetstring |
| with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; |
| external function dec_Facility_IE ( in octetstring stream ) return Facility_IE |
| with { extension "prototype(convert) decode(BER:BER_ACCEPT_ALL)" }; |
| |
| external function enc_Facility_IE_fast(in Facility_IE pdu, out octetstring stream) |
| with { extension "prototype(fast) encode(BER:BER_ENCODE_DER)" }; |
| |
| external function dec_Facility_IE_backtrack(in octetstring stream,out Facility_IE pdu) return integer |
| with { extension "prototype(backtrack) decode(BER:BER_ACCEPT_ALL)" }; |
| |
| }//module |