import java.util.*;
import java.io.*;


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

XMLDoc		= "<?xml"
		  "version" "=" <version> String
		  [ "encoding" "=" <encoding> String ]
		   "?>"
		  "<container"
		  [ "xsi" "=" <schemaInstanceURL> String ]
		  [ "schemaLocation" "=" <schemaLoc> String ]
		  [ "noNamespaceSchemaLocation" "=" <schemaLocNoNS> String ]
		  <container> Exp "</container>".

Exp		= ">"
		  "<expression" <expression> E "</expression>".

E		: lookahead {{3}} S | lookahead {{3}} C.

XMLpositiveInteger = <value> int.

S		= "type" "=" "S"
		  ">"
		  [ "<depth>" <depth> XMLpositiveInteger "</depth>" ]
		  "<value>" <value> int "</value>".

C		= "type" "=" "C"
		  ">"
		  [ "<depth>" <depth> XMLpositiveInteger "</depth>" ]
		  "<op>" <op> Op "</op>"
		  "<arg1" <arg1> Exp "</arg1>"
		  "<args" <args> Exp "</args>".

Op		= <value> String.


Main		= .
Preprocessor	= .

visitor ValidateVisitor = .

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