* all
  - Move all directories to aadba directory.


git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@248 974160da-3573-0410-8cc1-8b9333dd3547

     * aadl-eclipse-dev/aadlba/trunk
       - update repositories organization


git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@249 974160da-3573-0410-8cc1-8b9333dd3547
* (AadlBaNameResolver.java):
   - Set checkings case insensitive.
* (AadlBaVisitors.java):
   - Set checkings case insensitive.
   - Add a new visitor.


git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@250 974160da-3573-0410-8cc1-8b9333dd3547
* (AadlBa.g):
   - Add some comments.


git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@251 974160da-3573-0410-8cc1-8b9333dd3547
* (utils/AadlBaUtils.java):
   - Add identifier checker (type and direction checking).
   - Add integer value checker skeleton.
   - Add a comparing identifiers lists method.


git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@252 974160da-3573-0410-8cc1-8b9333dd3547
* (src/fr/tpt/aadl/annex/behavior/analyzers/AadlBaLegalityRulesChecker.java):
   - Implement legality rule X.4 L12 .

* (src/fr/tpt/aadl/annex/behavior/tests/lr_X4_L12.aadl):
   - Add a legality rule X.4 L12 aadl test.


git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@253 974160da-3573-0410-8cc1-8b9333dd3547
* (src/fr/tpt/aadl/annex/behavior/utils/AadlBaUtils.java):
   - Add a comment.

* (src/fr/tpt/aadl/annex/behavior/analyzers/AadlBaLegalityRulesChecker.java,
   src/fr/tpt/aadl/annex/behavior/analyzers/AadlBaSemanticRulesChecker.java):
   - Add informations about rules.



git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@255 974160da-3573-0410-8cc1-8b9333dd3547

     * resources/Checking_And_Comments_Rules_AADL_BA_2_13-v3.txt:
       - add checking rules and comments (on behavior annex draft v2.13) file


git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@256 974160da-3573-0410-8cc1-8b9333dd3547
* (src/fr/tpt/aadl/annex/behavior/analyzers/AadlBaNameResolver.java,
   src/fr/tpt/aadl/annex/behavior/AadlBa.g):
   - Add missing for structure element name resolution.
   - Set a Identifier object to the For and ForAll object instead of a string concerning the for structure element name.

* (src/fr/tpt/aadl/annex/behavior/tests/aadlBaTest002.aadl):
   - Add for structure element names test.

* (model/aadlba.ecore,
   src/fr/tpt/aadl/annex/behavior/aadlba/*.java):
   - Update metamodel elements concerning the previous bug fix.



git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@257 974160da-3573-0410-8cc1-8b9333dd3547

     * fr.tpt.aadl.annex.behavior/aadlba_tests:
       - move all aadlba tests in aadlba_tests repository

     * fr.tpt.aadl.annex.behavior/src/fr/tpt/aadl/annex/behavior/tests:
       - aadlba tests are no longer in src directory


git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@258 974160da-3573-0410-8cc1-8b9333dd3547
* (AadlBaNameResolver.java):
   - Minor reformating.


git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@259 974160da-3573-0410-8cc1-8b9333dd3547
* (src/fr/tpt/aadl/annex/behavior/analyzers/AadlBaNameResolver.java):
   - Centralize public methods into one method/entry point (resolveNames).
   - Disable names rezolution if names uniqueness checking failed.
   - Add for/forall element variable uniqueness checking. Their uniqueness is check towards the BA's parent component names (features) and towards themselves (nested for/forall structures). TEMPORARY MEASURE : until AADL committee clarifies the for/forall element variable behavior towards BA's local variables (subtitution or reuse), this elements variables can't have the same names as those of BA's local variables.

* (src/fr/tpt/aadl/annex/behavior/analyzers/AadlBaResolver.java):
   - Update further AadlBaNameResolver entry point reorganisation.
   - Disable Semantic and Legality rules checking if names resolution has failed.

* (model/aadlba.ecore, 
   src/fr/tpt/aadl/annex/behavior/aadlba/WhileStatement.java
   src/fr/tpt/aadl/annex/behavior/aadlba/DoUntilStatement.java,
   src/fr/tpt/aadl/annex/behavior/aadlba/ForOrForAllStatement.java,
   src/fr/tpt/aadl/annex/behavior/aadlba/impl/ForOrForAllStatementImpl.java,
   src/fr/tpt/aadl/annex/behavior/aadlba/impl/WhileStatementImpl.java,
   src/fr/tpt/aadl/annex/behavior/aadlba/LoopStatement.java):
   - Factorize getBehaviorActions in LoopStatement interface.

* (model/aadlba.ecore, 
   src/fr/tpt/aadl/annex/behavior/aadlba/BehaviorAction.java,
   src/fr/tpt/aadl/annex/behavior/aadlba/impl/BehaviorActionImpl.java):
   - Concerning conditional statement type : add isLoop and isBehaviorActions flag.

* (src/fr/tpt/aadl/annex/behavior/aadlba/AadlBaPackage.java,
   src/fr/tpt/aadl/annex/behavior/aadlba/impl/AadlBaPackageImpl.java,
   src/fr/tpt/aadl/annex/behavior/aadlba/util/AadlBaSwitch.java,
   src/fr/tpt/aadl/annex/behavior/aadlba/util/AadlBaValidator.java,
   src/fr/tpt/aadl/annex/behavior/aadlba/util/AadlBaAdapterFactory.java):
   - Update metamodel further to the modifications.


* (src/fr/tpt/aadl/annex/behavior/AadlBa.g):
   - Update parser further to the metamodel modifications.
   - Fix some comments.



git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@260 974160da-3573-0410-8cc1-8b9333dd3547
* (AadlBaVisitors.java):
   - Add a BasicAction objects visitor : get a list of BasicActions objects contained in a given BehaviorActions object, recursively.


git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@261 974160da-3573-0410-8cc1-8b9333dd3547
* (src/fr/tpt/aadl/annex/behavior/analyzers/AadlBaLegalityRulesChecker.java):
  - Implement legality rule X.6.(L15). TEMPORARY MEASURE : until AADL committee clarifies the for/forall element variable behavior towards BA's local variables (subtitution or reuse), these elements variables substitute to any BA's local variables that have the same name.

* (aadlba_tests/aadlBaTest001.aadl,
   aadlba_tests/aadlBaTest002.aadl):
   - Add some tests concerning basic actions.

* (aadlba_tests/lr_X6_L15.aadl):
   - Add legality rule X.6.(L15) aadl model test.


git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@262 974160da-3573-0410-8cc1-8b9333dd3547
* (resources/Checking_And_Comments_Rules_AADL_BA_2_13-v3.txt):
   - Add comments about few duplicated rules.


git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@263 974160da-3573-0410-8cc1-8b9333dd3547
* (resources/Checking_And_Comments_Rules_AADL_BA_2_13-v3.txt):
   - Tags and comment duplicated and overlaped rules (corresponding to TRAC tickets)
   - Minor reformating.


git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@264 974160da-3573-0410-8cc1-8b9333dd3547
* (utils/AadlBaUtils.java):
   - Add some comments.


git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@265 974160da-3573-0410-8cc1-8b9333dd3547
* aadlba/trunk/fr.tpt.aadl.annex.behavior/META-INF/MANIFEST.MF:
  - fix edu.cmu.sei.osate.workspace bundle version dependency 
    2.0.0 instead of 2.0.1

git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@266 974160da-3573-0410-8cc1-8b9333dd3547
* (src/fr/tpt/aadl/annex/behavior/analyzers/AadlBaLegalityRulesChecker.java):
   - Implement legality rules X.6.(L16) and (L17).

* (src/fr/tpt/aadl/annex/behavior/utils/AadlBaUtils.java):
   - Add a DataComponentReferences comparator. This comparator doesn't support array index comparison.

* (aadlba_tests/lr_X6_L16_L17.aadl):
   - Add a AADL model test for legality rules X.6.(L16) and (L17).

* (resources/Checking_And_Comments_Rules_AADL_BA_2_13-v3.txt):
   - Minor update.



git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@267 974160da-3573-0410-8cc1-8b9333dd3547
* (src/fr/tpt/aadl/annex/behavior/analyzers/AadlBaLegalityRulesChecker.java):
   - Add some comments.


git-svn-id: https://eve.enst.fr/svn/aadl-eclipse-dev/aadlba/trunk/fr.tpt.aadl.annex.behavior@268 974160da-3573-0410-8cc1-8b9333dd3547