dsl/xtend/src/robots/missions/TaskDSL.xtext

   1 grammar robots.missions.TaskDSL with org.eclipse.xtext.common.Terminals
   2
   3 generate taskDSL "http://www.missions.robots/TaskDSL"
   4
   5 Robot:
   6         'Acceleration' acc=INT
   7         'Speed' spd=INT
   8         behaviour+=Behaviour+
   9         mission+=Mission+;
  10
  11 Mission:
  12         'Mission' name=ID 'using' behaviours+=[Behaviour]+ 'and stops when' se=StoppingExpression;
  13
  14 StoppingExpression:
  15         '(' op=Operator s+=StoppingExpression s+=StoppingExpression+ ')' |
  16         'not ' negscond=StoppingCondition |
  17         scond=StoppingCondition;
  18
  19 StoppingCondition:
  20         'Collected at least' colors+=Color+ |
  21         'Touched on' touch=LeftRight |
  22         'Light on' light=LeftRight |
  23         'No object in sight on ' dist=BackFront |
  24         'Color is' color=Color;
  25
  26 Behaviour: 'Behaviour' name=ID
  27         'take control:' tc=StoppingExpression?
  28         'action:' actions+=Action+;
  29
  30 Action:
  31         whichMotor=LeftRight 'motor' dir=Direction ('with speed' spd=INT 'acceleration' acc=INT)? |
  32         'measure' measureWhat=RockLake |
  33         'wait' time=Time;
  34
  35 Time: time=INT 'ms' | {Time} 'forever';
  36
  37 RockLake: d=RockLakeE;
  38 enum RockLakeE: ROCK='rock' | LAKE='lake';
  39 Direction: d=DirectionE;
  40 enum DirectionE: BACKWARDS = 'backward' | FORWARDS = 'forward';
  41 Operator: d=OperatorE;
  42 enum OperatorE: AND = 'and' | OR = 'or';
  43 BackFront: d=BackFrontE;
  44 enum BackFrontE: BACK = 'back' | FRONT = 'front';
  45 Comparison: d=ComparisonE;
  46 enum ComparisonE: GE='>' | LE='<';
  47 LeftRight: d=LeftRightE;
  48 enum LeftRightE: LEFT='left' | RIGHT='right';
  49 Color: d=ColorE;
  50 enum ColorE:
  51         RED='Red' | GREEN='Green' | BLUE='Blue' | YELLOW='Yellow' |
  52         MAGENTA='Magenta'| ORANGE='Orange'|     WHITE='White' | BLACK='Black' |
  53         PINK='Pink' | GRAY='Gray' | LIGHTGRAY='LightGray' |
  54         DARKGRAY='DarkGray' | CYAN='Cyan' | BROWN='Brown';