[DEECo] [d3scomp/JDEECo] c100d7: Major refactoring overhaul of the validation and e...

[GitHub]

  Branch: refs/heads/IntelligentEnsembles
  Home:   https://github.com/d3scomp/JDEECo
  Commit: c100d7607b3f2ee6e70ae496ff37fd6d0c036f3e
      https://github.com/d3scomp/JDEECo/commit/c100d7607b3f2ee6e70ae496ff37fd6d0c036f3e
  Author: Buckey <aertheas at gmail.com>
  Date:   2016-06-10 (Fri, 10 Jun 2016)

  Changed paths:
    R jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/DefaultFunctionRegistry.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/EDLRuntimeModule.java
    R jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/IFunctionRegistry.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/functions/Abs.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/functions/Count.java
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/functions/DefaultFunctionRegistry.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/functions/IFunction.java
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/functions/IFunctionRegistry.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/functions/OneOf.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/functions/SetsEqual.java
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/generator/CodeGeneratorVisitor.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/generator/EDLGenerator.xtend
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/typing/DefaultTypeInformationProvider.xtend
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/typing/IDataTypeContext.java
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/typing/ITypeInformationProvider.java
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/typing/SimpleDataTypeContext.java
    R jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/utils/CodeGeneratorVisitor.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/utils/EDLUtils.xtend
    R jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/utils/ITypeResolutionContext.java
    R jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/utils/SimpleTypeResolutionContext.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/validation/EDLValidator.xtend
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/validation/IErrorReportingService.java
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/validation/NullErrorReportingService.java
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/ConstraintParser.java
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/DataContainer.java
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/DataContractInstancesContainer.java
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/FilteredKnowledgeContainer.java
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/Z3IntelligentEnsembleFactory.java

  Log Message:
  -----------
  Major refactoring overhaul of the validation and error reporting infrastructure. Split the two ITypeResolutionContext responsibilities into IDataTypeContext and IErrorReportingService, introduced ITypeInformationProvider extending IDataTypeContext and encapsulating all type information needs.