::::::::::::::
basket.xsd
::::::::::::::
<xsd:schema xmlns:xsd="http://www.w3.org/2000/10/XMLSchema">

<xsd:element name="basket" type="basketType"/>

<xsd:complexType name="basketType">
 <xsd:sequence>
  <xsd:element name="content" type="fruit" minOccurs="0" maxOccurs="unbounded"/>
 </xsd:sequence>
</xsd:complexType>

<xsd:complexType name="fruit" abstract="true">
 <xsd:sequence>
  <xsd:element name="weight" type="xsd:positiveInteger"/>
 </xsd:sequence>
</xsd:complexType>

<xsd:complexType name="apple">
 <xsd:complexContent>
  <xsd:extension base="fruit">

   <xsd:sequence>
    <xsd:element name="type" type="xsd:string"/>
   </xsd:sequence>

   <xsd:attribute name="color" type="xsd:string"/>

  </xsd:extension>
 </xsd:complexContent>
</xsd:complexType>

<xsd:complexType name="orange">
 <xsd:complexContent>
  <xsd:extension base="fruit">
   <xsd:sequence>
    <xsd:element name="state" type="xsd:string"/>
   </xsd:sequence>
  </xsd:extension>
 </xsd:complexContent>
</xsd:complexType>

</xsd:schema>


::::::::::::::
basket/X2J.cd
::::::::::::::
import java.util.*;
import java.io.*;
import edu.neu.ccs.demeter.dj.*;


// *************************************************************************
// The following section has been generated automatically by the XML to Java
// conversion application.
// *************************************************************************

XMLDoc		= "<?xml version" "=" <version> String "?>"
		  "<basket" <basket> basketType "</basket>".

basketType	= ">"
		  List(contentListUnit).

contentListUnit	= "<content" <content> fruit "</content>".

fruit		: apple | orange.

XMLpositiveInteger = <value> int.

apple		= [ "color" "=" <color> String ]
		  ">"
		  "<weight>" <weight> XMLpositiveInteger "</weight>"
		  "<type>" <type> String "</type>".

orange		= ">"
		  "<weight>" <weight> XMLpositiveInteger "</weight>"
		  "<state>" <state> String "</state>".


Main		= .
Preprocessor	= .

List(S)		~ {S}.

ValidateVisitor	= extends Visitor.

// *************************************************************************
// End of automatically generated section.
// *************************************************************************


::::::::::::::
basket/X2Jdoc.beh
::::::::::::::
XMLDoc {

    public static XMLDoc XMLparse(String in) throws Exception
    {{
        XMLDoc doc = parse(Preprocessor.process(in));
        doc.validate();
        return doc;
    }}
    public static XMLDoc XMLParse(InputStream in) throws Exception
    {{
        return XMLparse(Preprocessor.process(readContent(in)));
    }}
    public static XMLDoc XMLParse(Reader in) throws Exception
    {{
        return XMLparse(Preprocessor.process(readContent(in)));
    }}

    private static String readContent(Reader in) throws Exception
    {{
        BufferedReader r = new BufferedReader(in);
        String text = "";
        try {
            while (true)
            {
                String line = r.readLine();
                if (line == null) break;
                if (!text.equals("")) text = text + "\n";
                text = text + line;
            }
            r.close();
            return text;
        }
        catch (IOException e) {
            throw new Exception("Error in reading input");
        }
    }}

    private static String readContent(InputStream in) throws Exception
    {{
        String text = "";
        try {
            byte buf[] = new byte[1000];
            while (true)
            {
                int size = in.read(buf);
                if (size <= 0) break;
                String line = new String(buf, 0, size);
                if (!text.equals("")) text = text + "\n";
                text = text + line;
            }
            in.close();
            return text;
        }
        catch (IOException e) {
            throw new Exception("Error in reading input");
        }
    }}


    public void validate() throws Exception bypassing -> *,tail,* to * (ValidateVisitor);

}  // end of class XMLDoc


::::::::::::::
basket/X2Jvalidate.beh
::::::::::::::
ValidateVisitor {

    public void start() {{
    }}

    public void before(XMLpositiveInteger host) throws Exception {{
        if (host.get_value() < 1)
            throw new Exception ("Value of element 'value' is < 1.");
    }}

}  // end of class ValidateVisitor