[DEECo] [d3scomp/JDEECo] 337425: Added Sum aggregation implementation to Constraint...

[GitHub]

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

  Changed paths:
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/ConstraintParser.java

  Log Message:
  -----------
  Added Sum aggregation implementation to ConstraintParser. Should now be capable of using the sum expression in fitness function and constraints.


  Commit: b09a7249684b49ed68081bfe2cc3b5e33d9c6d4a
      https://github.com/d3scomp/JDEECo/commit/b09a7249684b49ed68081bfe2cc3b5e33d9c6d4a
  Author: Buckey <aertheas at gmail.com>
  Date:   2016-06-07 (Tue, 07 Jun 2016)

  Changed paths:
    M jdeeco-edl-tests/src/cz/cuni/mff/d3s/jdeeco/edl/EDLReader.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/generator/EDLGenerator.xtend
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/utils/ITypeResolutionContext.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/utils/SimpleTypeResolutionContext.java
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/validation/EDLStandaloneValidator.xtend
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/validation/EDLValidator.xtend
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/validation/EdlValidationException.java
    M jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/IntelligentEnsemblesTest.java
    M jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/StandaloneEnsemblesTest.java

  Log Message:
  -----------
  Added validation to EDLReader, resulting in documents loaded in Z3 ensemble factory to be validated beforehand, avoiding errors such as using nonexistent fields.


Compare: https://github.com/d3scomp/JDEECo/compare/609127d2477a...b09a7249684b