[Jenkins]Jenkins

SuccessChanges

Summary

  1. Make thread operations public and check access, fixes #765 (commit: 77e66ac) (details)
  2. Use correct error location for ambiguity errors, fixes #767 (commit: 6206481) (details)
Commit 77e66ac8080e36977e5e54cbbfd329e265acbec3 by nick.battle
Make thread operations public and check access, fixes #765
 (commit: 77e66ac)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AExplicitOperationDefinitionAssistantTC.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java
The file was modifiedcore/ast/src/main/java/org/overture/ast/factory/AstFactory.java
Commit 62064812412ce24eaa2072420aa77ab0aa0d57fe by nick.battle
Use correct error location for ambiguity errors, fixes #767
 (commit: 6206481)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/SClassDefinitionAssistantTC.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/NameFinder.java