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

Input = Component Attachment.
Component = 
  "component" <name> ComponentName
  "class" "graph" <classGraph> MyClassGraph
  "provides" <provides> Provided
  "expects" <expects> PList(Normal)
  ["constraints" <constraints> PList(Constraint)]
  "classes" <local> PList(ClassName).
Attachment = 
  "attachment" <superImpose> CList(ComponentName) 
  "on" <target> ComponentName.

ComponentName = Ident.
ClassGraphName = Ident.
ClassName = Ident.

Provided = <fms>  PList(FunctionMember).
MyClassGraph = <classGraphName> ClassGraphName.
FunctionMember : Normal | Aspectual.
Normal = "normal".
Aspectual = "aspectual".
Member = "member".
Constraint = .

PList(S) ~ "{" S {";" S} "}".
CList(S) ~ "(" S {"," S} ")".
Main = .