/******************************************************************************
 * 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 HN21072Test {

import from schemas_xmlsoap_org_wsdl all;

external function enc(in Binding_operationType b) return octetstring
with { extension "prototype(convert) encode(XER:XER_EXTENDED)" }

external function dec(in octetstring o) return Binding_operationType
with { extension "prototype(convert) decode(XER:XER_EXTENDED)" }

type component HN {}

testcase tc1() runs on HN
{
  var Binding_operationType b := {
    elem_list  := {
      "<h:html xmlns:h=""ah.t.m.l""/>",
      "<schema xmlns=""http://www.w3.org/2001/XMLSchema"" xmlns:xs=""http://www.w3.org/2001/XMLSchema"" xmlns:wsdl=""http://schemas.xmlsoap.org/wsdl/"" targetNamespace=""http://schemas.xmlsoap.org/wsdl/"" elementFormDefault=""qualified"">

  <!-- kell! -->
  <complexType name=""documented"" abstract=""true"">
    <sequence>
    </sequence>
  </complexType>

  <complexType name=""startWithExtensionsType"" abstract=""true"">
    <complexContent>
      <extension base=""wsdl:documented"">
        <sequence>
          <!-- this (record of) any is needed! -->
          <any namespace=""##other"" minOccurs=""0"" maxOccurs=""unbounded"" processContents=""lax""/>
        </sequence>
      </extension>
    </complexContent>
  </complexType>

  <!-- !! !! !! !! !! !! !! !! -->
  <complexType name=""binding_operationType"">
    <complexContent>
      <extension base=""wsdl:startWithExtensionsType"">
        <sequence>
          <element name=""fault"" minOccurs=""0"" maxOccurs=""unbounded"">
            <!-- This appears to be the critical part -->
            <complexType>
              <complexContent>
                <extension base=""wsdl:startWithExtensionsType"">
                </extension>
              </complexContent>
            </complexType>
          </element>
        </sequence>
      </extension>
    </complexContent>
  </complexType>

  <element name=""binding_operationType"" type=""wsdl:binding_operationType""/>
</schema>"
    },
    fault_list := { { {"<h:foo xmlns:h=""ah.t.m.l""/>"} } }
  }

  var octetstring res := enc(b);
  action(res);

  var Binding_operationType b2 := dec(res);
  if (b2 == b) { setverdict(pass); }
  else { setverdict(fail, match(b2, b)); }

  var octetstring encoded := enc(b2);
  if( encoded==res ) { setverdict(pass); }
  else { setverdict(fail, match(encoded, res)); }
}

control {
  execute(tc1());
}

}