(@ import java.lang.*;
   import java.io.*;
   import java.util.*;
@)

WebScript = List(Service).

Service :
	  Url     |
          TimeOut |
          Limit   |
          Repeat  |
          Stall   |
          Fail	  |
	  Post    |
	  Get     |
	  Execution.


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

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

Limit = "limit(" 
        <start_time> Real 
	","
        <rate> Real
	","
        <service> Service
        ")".

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

Stall = "stall".

Fail = "fail".


Execution = "("
           <service1> Service
           <op> ExecutionOp
           <service2> Service
           ")".

ExecutionOp : SequenceOp |
              ConcurrentOp.


SequenceOp = "?".

ConcurrentOp = "|".



Post = "post("
       <cgi> String
	","
       <data> List(Condition)
       ")".

Get = "get("
      <cgi> String
      ","
      <data> List(Condition)
      ")".

Condition = <id> Ident
	    "="
	    <content> String.

List(s) ~ {s}.

Real = <value> float.

   

RunServiceVisitor = .

StopServiceVisitor = .
     
Main = .