SuccessChanges

Summary

  1. First cut of annotation processing (details)
  2. Complete first cut of annotations. (details)
  3. Some annotation corrections. (details)
  4. Tidy up shared PO annotation code (details)
Commit 31deb2b0ceb710ac07ff5be65f9362ac0ed5489d by nick.battle
First cut of annotation processing
The file was addedcore/interpreter/src/main/java/org/overture/interpreter/annotations/INAnnotation.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/eval/StatementEvaluator.java (diff)
The file was modifiedcore/ast/src/main/java/org/overture/ast/factory/AstFactory.java (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/StatementReader.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)
The file was addedcore/ast/src/main/java/org/overture/ast/annotations/Annotation.java
The file was modifiedcore/ast/src/main/resources/overtureII.astv2 (diff)
The file was modifiedcore/ast/src/main/java/org/overture/ast/intf/lex/ILexCommentList.java (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java (diff)
The file was addedcore/typechecker/src/main/java/org/overture/typechecker/annotations/TCAnnotation.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerStmVisitor.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/eval/UnaryExpressionEvaluator.java (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/DefinitionReader.java (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ExpressionReader.java (diff)
Commit f62428668834e725144841e6705cc43c951c8e7b by nick.battle
Complete first cut of annotations.
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/eval/StatementEvaluator.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerStmVisitor.java (diff)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2 (diff)
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/annotations/INAnnotation.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamStmVisitor.java (diff)
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamVisitor.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java (diff)
The file was addedcore/pog/src/main/java/org/overture/pog/annotations/POAnnotation.java
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamExpVisitor.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckVisitor.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/eval/UnaryExpressionEvaluator.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
The file was modifiedcore/ast/src/main/java/org/overture/ast/util/modules/CombinedDefaultModule.java (diff)
Commit 47c41417f001c81234155af02f1fb6e5c654ed43 by nick.battle
Some annotation corrections.
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ClassReader.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/ModuleTypeChecker.java (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ModuleReader.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckVisitor.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/annotations/INAnnotation.java (diff)
The file was modifiedcore/ast/src/main/java/org/overture/ast/annotations/Annotation.java (diff)
Commit 2cdfd63ac11cb9089833b47c73a54bc60eb3f710 by nick.battle
Tidy up shared PO annotation code
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamStmVisitor.java (diff)
The file was addedcore/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java (diff)
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamExpVisitor.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckVisitor.java (diff)