import java.lang.*; import java.io.*; import java.util.*; WebScript = List(Service) *EOF*. // a web script consists of a list of services defined below Service : Url | TimeOut | Repeat | Alternative | Concurrent. Url = "url(" String ")". TimeOut = "timeout(" float "," Service ")". Repeat = "repeat(" Service ")". Alternative = "alternative("
Service "?" Service ")". Concurrent = "concurrent(" Service "|" Service ")". List(S) ~ {S}. // A List of something is a repetition of 0 or more of something. Main = .