Skip to content
Snippets Groups Projects
Select Git revision
  • 39f1effb6cc5bafb0c43e01300af868b51d96555
  • dev default protected
  • main protected
  • feature/ros-java-integration
4 results

Errors.relast

Blame
    • Errors.relast 647 B 
    A ::= B C D ;

// read definitions
B ::= /<ErrorNTA:String>/ <ErrorTypeOfFirstMapping:String> <ErrorTypeOfLastMapping:String> <DoubledValue:int> <ErrorTypeMismatch:String> ;

// write definitions
C ::= <ErrorNotNTA:String> /<ErrorTypeOfFirstMapping:String>/ /<ErrorTypeOfLastMapping1:String>/ /<ErrorTypeOfLastMapping2:List<String>>/ /<ErrorTypeMismatch:String>/ /<DoubledValue:int>/ ;

// dependency definitions
D ::= <SourceNonExistingTarget>
      /<TargetNonExistingSource>/
      <SourceNoWriteDef> /<TargetNoWriteDef>/
      <SourceSameAsListNode> /<TargetSameAsListNode>/
      <SourceDoubledValue> /<TargetDoubledValue>/
      MyList:D* ;