[DEECo] [d3scomp/JDEECo] fcb1af: JPF support

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: fcb1af21efb629bd23b5e6fffee7380cf36ae581
      https://github.com/d3scomp/JDEECo/commit/fcb1af21efb629bd23b5e6fffee7380cf36ae581
  Author: Michal Kit <kit at d3s.mff.cuni.cz>
  Date:   2012-08-08 (Wed, 08 Aug 2012)

  Changed paths:
    M .classpath
    M .settings/sf.eclipse.javacc.prefs
    A deecoSerializedObjects.bin
    A demo/cz/cuni/mff/d3s/deeco/demo/cloud/LocalLauncherCloudJPF.java
    M demo/cz/cuni/mff/d3s/deeco/demo/cloud/LocalLauncherCloudNoJPF.java
    A demo/cz/cuni/mff/d3s/deeco/demo/cloud/TSLauncherCloudNoJPF.java
    R demo/cz/cuni/mff/d3s/deeco/demo/cloud/TupleSpaceLauncherCloudNoJPF.java
    R demo/cz/cuni/mff/d3s/deeco/demo/convoy/LocalLauncherConvoy.java
    A demo/cz/cuni/mff/d3s/deeco/demo/convoy/LocalLauncherConvoyJPF.java
    A demo/cz/cuni/mff/d3s/deeco/demo/convoy/LocalLauncherConvoyNoJPF.java
    A demo/cz/cuni/mff/d3s/deeco/demo/convoy/TSLauncherConvoyNoJPF.java
    R demo/cz/cuni/mff/d3s/deeco/demo/convoy/TupleSpaceLauncherConvoyNoJPF.java
    R demo/cz/cuni/mff/d3s/deeco/demo/parkinglotbooking/Launcher.java
    A demo/cz/cuni/mff/d3s/deeco/demo/parkinglotbooking/TSParkingLotLauncherNoJPF.java
    A jpfTestCloud.jpf
    A lib/bcel-5.2.jar
    A site.properties
    M src/cz/cuni/mff/d3s/deeco/annotations/DEECoStrongLocking.java
    M src/cz/cuni/mff/d3s/deeco/annotations/DEECoWeakLocking.java
    M src/cz/cuni/mff/d3s/deeco/invokable/InputParametersHelper.java
    M src/cz/cuni/mff/d3s/deeco/invokable/Membership.java
    M src/cz/cuni/mff/d3s/deeco/invokable/OutputParametersHelper.java
    M src/cz/cuni/mff/d3s/deeco/invokable/Parameter.java
    M src/cz/cuni/mff/d3s/deeco/invokable/ParameterType.java
    M src/cz/cuni/mff/d3s/deeco/invokable/ParameterizedMethod.java
    M src/cz/cuni/mff/d3s/deeco/invokable/SchedulableComponentProcess.java
    M src/cz/cuni/mff/d3s/deeco/invokable/SchedulableEnsembleProcess.java
    M src/cz/cuni/mff/d3s/deeco/invokable/SchedulableProcess.java
    M src/cz/cuni/mff/d3s/deeco/knowledge/ConstantKeys.java
    M src/cz/cuni/mff/d3s/deeco/knowledge/KnowledgeAccessor.java
    M src/cz/cuni/mff/d3s/deeco/knowledge/OutWrapper.java
    M src/cz/cuni/mff/d3s/deeco/path/grammar/KnowledgePath.java
    M src/cz/cuni/mff/d3s/deeco/path/grammar/PNode.java
    A src/cz/cuni/mff/d3s/deeco/processor/ClassProcessor.java
    M src/cz/cuni/mff/d3s/deeco/processor/ComponentParser.java
    M src/cz/cuni/mff/d3s/deeco/processor/EnsembleParser.java
    A src/cz/cuni/mff/d3s/deeco/processor/FileExtensionFilter.java
    A src/cz/cuni/mff/d3s/deeco/processor/MethodDescription.java
    A src/cz/cuni/mff/d3s/deeco/processor/ParsedObjectReader.java
    A src/cz/cuni/mff/d3s/deeco/processor/ParsedObjectWriter.java
    M src/cz/cuni/mff/d3s/deeco/processor/ParserHelper.java
    A src/cz/cuni/mff/d3s/deeco/processor/SchedulableComponentProcessWrapper.java
    A src/cz/cuni/mff/d3s/deeco/processor/SchedulableEnsembleProcessWrapper.java
    A src/cz/cuni/mff/d3s/deeco/processor/SchedulableProcessWrapper.java
    A src/cz/cuni/mff/d3s/deeco/runtime/JPFLauncher.java
    A src/cz/cuni/mff/d3s/deeco/runtime/Launcher.java
    M src/cz/cuni/mff/d3s/deeco/runtime/NoJPFLauncher.java
    M src/cz/cuni/mff/d3s/deeco/scheduling/ProcessSchedule.java

  Log Message:
  -----------
  JPF support

Signed-off-by: Michal Kit <kit at d3s.mff.cuni.cz>


  Commit: f7703df8e6dca584f75d2b6df7d2683d90df35d1
      https://github.com/d3scomp/JDEECo/commit/f7703df8e6dca584f75d2b6df7d2683d90df35d1
  Author: Michal Kit <kit at d3s.mff.cuni.cz>
  Date:   2012-08-08 (Wed, 08 Aug 2012)

  Changed paths:
    M build.xml
    R deecoSerializedObjects.bin
    M demo/cz/cuni/mff/d3s/deeco/demo/cloud/LocalLauncherCloudJPF.java
    A jpf-conf-eclipse/jpfTestCloud.jpf
    A jpf-conf-eclipse/site.properties
    R jpfTestCloud.jpf
    R site.properties
    M src/cz/cuni/mff/d3s/deeco/processor/ClassProcessor.java
    M src/cz/cuni/mff/d3s/deeco/processor/ParsedObjectReader.java

  Log Message:
  -----------
  JPF compliance + build.xml adjustments

Signed-off-by: Michal Kit <kit at d3s.mff.cuni.cz>


Compare: https://github.com/d3scomp/JDEECo/compare/e93edcaebc82...f7703df8e6dc