New Solaris Makefile.personal added

[deliverable/titan.core.git] / regression_test / ttcn2json / three.ttcn

/******************************************************************************
 * Copyright (c) 2000-2014 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
 ******************************************************************************/

module three {

  import from one all;
  import from two all;
  import from Zero language "ASN.1" all;

  type union Thing {
    boolean b,
    integer i,
    charstring cs,
    record { integer num } rec
  } with {
    variant "JSON : as value";
    variant(i) "JSON : name as int";
    variant(cs) "JSON : name as str";
  }

  type record of Thing Stuff;

  type set Barrels {
    integer numBarrels,
    record {
      enumerated { Small, Medium, Large } size,
      boolean filled
    } barrelType
  }

  type set of record { integer num } Nums
  with { variant([-].num) "JSON: name as number" }

  type record Numz {
    Nums nums
  }

  type record of Rec Rex;

  external function f_enc_ints(in Ints eents, out octetstring octus)
    with { extension "prototype(fast) encode(JSON) printing(pretty)" }

  external function f_enc_bigset(in Big_Set x) return octetstring
    with { extension "prototype(convert) encode(JSON)" }

  external function f_dec_bigset(in octetstring os) return Big_Set
    with { extension "prototype(convert) decode(JSON)" } 

} with {
  encode "JSON"
}