/* 
 This is a cd file to describe collaborations. The same grammar is
 used both for core and the surface syntax; the main difference is
 that core is restricted; some productions are not allowed, other
 optional ones are required.
*/

import edu.neu.ccs.demeter.dj.*;
import java.util.*; 
import java.io.*; 

public AC 			= List(Collaboration) *EOF*.
public Collaboration		= "collaboration" 
				  <name> CollabName [IsACollab] ";"
				  Structure AdapterDef.
				   
public IsACollab		= "extends" CollabName.
public Structure 		= <imports> Imports 
				   <participants> List(ParticipantDef) *l . 
public IsA			= "extends" ParticipantName.
public Impls			= "implements" <internames> CommaList(ParticipantName).
public HasA			= JavaType VarName ";".

public Imports			= List(Import).
public Import 			= "import" LongImportName ";" *l.
public LongImportName		= LongName. 


public ParticipantDef  		= 
				  ParticipantOrInterface <name> ParticipantName 
				  [IsA]	[Impls] *l. 

public ParticipantOrInterface	: IsParticipant | IsInterface.
public IsParticipant		= "participant".
public IsInterface		= "interface".

public AdapterDef 		= <adapters> List(AdapterItem). // order is IMPORTANT
public AdapterItem		= "attach" [ <collabs> CommaList(CollabRef)]
				  AttachmentSpecList.
public CollabRef 		: ResharedCollab | SharedCollab |  NormalCollab common CollabName.
 public ResharedCollab		= "reshared" .
 public SharedCollab 		= "shared"  .
 public NormalCollab 		= "normal".

public AttachmentSpecList	= "{" List(Attachment) "}". 

public Attachment 		=  "{" ShortName ":" + *l <defs> List(CompositeParticipantDef) - *l "}".



public CompositeParticipantDef	= <lhs> PartSpec "+="  [<rhs> CommaList(PartSpec)] <with> With *l.
public With 			= "with" <maps> BracedList(Entry).

Entry 				: Export | Around.
Around				= "around" <nameSpace> ShortName ":"
				  <l> NameSpec "do" <r> NameSpec .

        
public Export 			= "export" <lmem> NameSpec ["as" <rmem> NameSpec] .
List(S)                         ~ { S}.
CommaList(S)                    ~ S {"," *s S}.
BracedList(P)                   ~ "{" + *l {  P  } - *l "}".

public PartSpec                 = <var> LongName.
public ShortName                = <name> Ident.
public LongName                 ~ ShortName { "." ShortName}.
public VarName                  = ShortName.
public JavaType                 = <type> LongName <array> List(ArraySpec).
public ArraySpec                = "[" "]".
public NameSpec                 = ShortName.
public CollabName               = LongName.
public ParticipantName          = ShortName.

Main = .