SuccessChanges

Summary

  1. Correct annotation parse to be tight and warn about missing brackets (commit: 119c936) (details)
  2. Add isBracketed flag to annotations (commit: 99fc3db) (details)
  3. Use "$" in format to control @OnFail location printing (commit: be49527) (details)
Commit 119c93681414f27ac7e34f71fc052ecd6d33bc47 by nick.battle
Correct annotation parse to be tight and warn about missing brackets
(commit: 119c936)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ExpressionReader.java (diff)
Commit 99fc3db45e571bc841a8967c2b40683dba24f574 by nick.battle
Add isBracketed flag to annotations
(commit: 99fc3db)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ExpressionReader.java (diff)
The file was modifiedcore/annotations/provided/src/main/java/org/overture/annotations/provided/NoPOGAnnotation.java (diff)
The file was modifiedcore/annotations/provided/src/main/java/org/overture/annotations/provided/OnFailAnnotation.java (diff)
The file was modifiedcore/ast/src/main/java/org/overture/ast/annotations/Annotation.java (diff)
Commit be4952758b157ff544994f2c9b5d9f5e437086dc by nick.battle
Use "$" in format to control @OnFail location printing
(commit: be49527)
The file was modifiedcore/annotations/provided/src/main/java/org/overture/annotations/provided/OnFailAnnotation.java (diff)