search

SciSpike / yaktor-issues

Issues-only repository for issue management of all Yaktor repositories
0 stars 1 forks source link

[CLOSED] Add validations #59

Closed matthewadams closed 7 years ago

matthewadams commented 7 years ago

Issue by matthewadams Wednesday Sep 28, 2016 at 14:30 GMT Originally opened as https://github.com/SciSpike/yaktor-dsl-xtext/issues/18

Add the following validations:

  1. Warning if Transition.sends.refType != Transition.privatelyReceives.refType && Transition.requiresExecution == false
  2. Warning if Transition.sends.refType != Agent.type && Transition.mapping == null "Why aren't you specifying a mapping???"
  3. Error if Transition t => t.publiclyReceives.refType == null && t.agent.projection != t.publiclyReceives.agent.projection "There is no incoming type to base a mapping on", then change code so that scope provider for a Transition's mapping only provides list of t.publiclyReceives.refType's fields