package edu.neu.ccs.demeter.tools.ridler;
import java.util.*;
import java.io.*;

*public* RIDL = Decls *EOF* .

Decls ~{PortalOrFileMarker}.

PortalOrFileMarker : Portal | FileMarker.
FileMarker = "filename: " FileName.
// We should never see an extends in the input!
Portal = "portal" ClassName [<subclasses> Extends] [PortalBody].
Extends = "subclasses" <parent> ClassName.
PortalBody = "{" MethodList "}".

MethodList ~ {Method}.
Method = <msig> MethodSignature Args ";". 
Args ~ { Arg}.

Arg = ObjectName ":" TransferMode.
ObjectName : ParamName | ReturnName.
ParamName = ParmName.
ReturnName = "return".

TransferMode =  Mode.
Mode : GlobalRef | Copy | NotPassed.
GlobalRef = "gref".
Copy : FullCopy | TravCopy.
FullCopy = "copy". //  [ lookahead (@ 2 @) TraversalName]. 
TravCopy = "copy:" TraversalName.
NotPassed = "notpassed".

TraversalName = Ident.
// Now some visitors et all

JavaStrings =  <type> JavaType.

*noparse*
PrintSigV = *extends* PrintVisitor.
PrintIntV =  *extends* PrintSigV. 
*parse*


Options ~ {Option} *EOF*.
Option : Outputdir | FileName.
Outputdir = "-outputdir" <dir> Word.
FileName = BaseName ExtName.
ExtName : RidlFile | CDFile.
RidlFile = ".ridl".
CDFile = ".cd".

BaseName = Periodlist(Ident).


// All the below is a kludge. Get rid of it


List(S) ~ {*s S}.
Commalist(S) ~ S {"," *s S}.
Periodlist(S) ~ S {"." *s S}.

ClassName               = Periodlist(Ident).
JavaType                = <type> Ident.
ParmName                = <name> Ident 
  {public String toString() (@ return name.toString(); @)
   public boolean equals(Object o) 
     (@ return (o instanceof ParmName) && (((ParmName) o).get_name().equals(this.get_name()));  @)
  }.

MethodName              = <name> Ident 
  {public String toString() (@ return name.toString(); @)}.

MethodSignature		= <keywords> List(MethodKeyword)
			  <returntype> JavaType <name> MethodName
			  Paramlist. 
Paramlist               = "(" [ <parms> Commalist(MethodParm) ]  ")".
MethodKeyword		: PublicMethod 
                        | ProtectedMethod 
			| PrivateMethod
                        | StaticMethod
			| FinalMethod 
			| AbstractMethod.
PublicMethod		= "public".
ProtectedMethod		= "protected".
PrivateMethod		= "private".
FinalMethod		= "final".
StaticMethod		= "static".
AbstractMethod		= "abstract".
MethodParm		= <type> JavaType 
                          <array1> List(ArraySpec)
			  <name> ParmName 
			  <array2> List(ArraySpec).
			  
ArraySpec		= "[" "]".