import java.lang.*;
import java.io.*;
import java.util.*;
WebScript =			<service_list> Service_List  *EOF* .

Service :			Url
			| TimeOut
			| Repeat
			| Alternative
			| Concurrent			.

Url =			"url(" <url> String ")" extends Service.

TimeOut =			"timeout(" <timeout> float "," <service> Service ")" extends Service.

Repeat =			"repeat(" <service> Service ")" extends Service.

Alternative =			"alternative(" <main> Service "?" <alternate> Service ")" extends Service.

Concurrent =			"concurrent(" <service1> Service "|" <service2> Service ")" extends Service.

Main =			.

notparsed visitor PrintVisitor =			<indent> int <needSpace> boolean extends UniversalVisitor.

notparsed visitor CopyVisitor =			<copy> derived Object extends UniversalVisitor.

notparsed visitor SubgraphVisitor =			<is_equal> boolean init (@ true @) extends UniversalVisitor.

notparsed visitor EqualVisitor =			<is_equal> boolean init (@ true @) extends UniversalVisitor.

notparsed visitor DisplayVisitor =			<indent> int extends UniversalVisitor.

notparsed visitor TraceVisitor =			<indent> int extends UniversalVisitor.

notparsed visitor UniversalVisitor :						.
			
			Service_List =			[ <first> Nonempty_Service_List].
			
			Nonempty_Service_List =			<it> Service [ <next> Nonempty_Service_List].