[DEECo] [d3scomp/JDEECo] ee3ce5: Refactoring for Z3 role support

[GitHub]

  Branch: refs/heads/IntelligentEnsembles
  Home:   https://github.com/d3scomp/JDEECo
  Commit: ee3ce5f0a83540a6950fc06536dc7f66ab27a5af
      https://github.com/d3scomp/JDEECo/commit/ee3ce5f0a83540a6950fc06536dc7f66ab27a5af
  Author: Zbyněk Jiráček <jiracek at d3s.mff.cuni.cz>
  Date:   2016-03-01 (Tue, 01 Mar 2016)

  Changed paths:
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/Z3IntelligentEnsembleFactory.java
    M jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/IntelligentEnsemble.java
    M jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/pendolino.edl

  Log Message:
  -----------
  Refactoring for Z3 role support


  Commit: 51f4c34f490018fb9b83e37821d253414184a3e1
      https://github.com/d3scomp/JDEECo/commit/51f4c34f490018fb9b83e37821d253414184a3e1
  Author: Zbyněk Jiráček <jiracek at d3s.mff.cuni.cz>
  Date:   2016-03-03 (Thu, 03 Mar 2016)

  Changed paths:
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/Z3IntelligentEnsembleFactory.java
    M jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/IntelligentEnsemble.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/Rescuer.java
    M jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/RescuerComponent.java
    M jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/pendolino.edl

  Log Message:
  -----------
  Added support for multiple roles in Z3.


  Commit: 2779f34fbc28ec22b573499d6ad1720a1e1e9b55
      https://github.com/d3scomp/JDEECo/commit/2779f34fbc28ec22b573499d6ad1720a1e1e9b55
  Author: Zbyněk Jiráček <jiracek at d3s.mff.cuni.cz>
  Date:   2016-03-03 (Thu, 03 Mar 2016)

  Changed paths:
    M jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/AdditiveInverseImpl.java
    A jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/AdditiveOperatorImpl.java
    A jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/AliasDefinitionImpl.java
    M jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/BinaryOperatorImpl.java
    M jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/BoolLiteralImpl.java
    A jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/ChildDefinitionImpl.java
    A jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/DataContractDefinitionImpl.java
    A jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/EdlDocumentImpl.java
    A jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/EdlFactoryImpl.java
    A jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/EdlPackageImpl.java
    A jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/EnsembleDefinitionImpl.java
    A jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/ExchangeRuleImpl.java
    A jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/FieldDeclarationImpl.java
    M jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/FloatLiteralImpl.java
    M jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/FunctionCallImpl.java
    A jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/IdDefinitionImpl.java
    M jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/KnowledgeVariableImpl.java
    M jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/LogicalOperatorImpl.java
    A jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/MultiplicativeOperatorImpl.java
    M jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/NegationImpl.java
    M jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/NumericLiteralImpl.java
    M jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/RelationOperatorImpl.java
    A jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/RoleDefinitionImpl.java
    M jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/StringLiteralImpl.java
    A jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/TypeDefinitionImpl.java
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/DefaultFunctionRegistry.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/EDLRuntimeModule.java
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/IFunctionRegistry.java
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/functions/IConstraintFunction.java
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/functions/IFunction.java
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/functions/SetsEqual.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/generator/EDLGenerator.xtend
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/utils/CodeGeneratorVisitor.java
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/utils/EDLUtils.xtend
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/utils/ITypeResolutionContext.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/validation/EDLValidator.xtend

  Log Message:
  -----------
  Merge branch 'IntelligentEnsembles' of https://github.com/d3scomp/JDEECo.git into IntelligentEnsembles


Compare: https://github.com/d3scomp/JDEECo/compare/dcda4fda5554...2779f34fbc28