Examples of PaStepStub

Examples of q_impress.pmi.lib.decorators.marte.PaStepDecorator.PaStepStub

135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
        }
      }
    }
   
    ActionDecorator nodeDec;
    PaStepStub paStepStub;
    try {
      nodeDec = (ActionDecorator) translator.getDecoratorsFactory().getDecorator(node);
      paStepStub = nodeDec.getPaStepStub();
      if (paStepStub == null) throw new TranslationException(this, "Unable to generate property for node \"" + node.getQualifiedName() + "\" : no PaStep stereotype associated.");
    } catch (InvalidContextException e) {
      throw new TranslationException(this, "Unable to generate property for node \"" + node.getQualifiedName() + "\"", e);
    } catch (ClassNotFoundException e) {
      throw new TranslationException(this, "Unable to generate property for node \"" + node.getQualifiedName() + "\"", e);
    }
   
   
    String comment = "Reliability value computed from " + nodeName;
    String rule = chosenProp;
    if (paStepStub.getRep() > 1) {
      for (int i = 0; i < paStepStub.getRep(); i++) {
        printComment(comment + " after " + Integer.toString(i) + " attempts.");
       
        rule = chosenProp;
        rule += " { " + nodeTranslator.getStateVariable() + " = " + Integer.toString(state + i) ;
        rule += extraPredicates + " }";
View Full Code Here

Examples of q_impress.pmi.lib.decorators.marte.PaStepDecorator.PaStepStub

282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
    }
   
    double outProb = 1d;
    double negProb = 0d;
   
    PaStepStub stub = actionDec.getPaStepStub();
    if (stub == null) {
      throw new TranslationException(this, "Unable to visit node \"" + node.getQualifiedName() + "\" : no PaStep stereotype associated.");
    }
   
    outProb = stub.getProb();
    negProb = 1d - outProb;
   
    if (stub.getRep() > 1) { // the execution may be retried
      // reserve needed state numbers
      int thisNodeStateNumber = getStateNumber(node);
      int firstStateNumber = reserveStateNumbers(stub.getRep() - 1);
      int lastStateNumber = firstStateNumber + stub.getRep() - 2;
     
      // create the transition for the first n-1 re-trials
      this.openGuard();
      this.createGuardCondition(stateVarName + " >= " + thisNodeStateNumber);
      this.addGuardCondition(stateVarName + " < " + (lastStateNumber));
View Full Code Here

Examples of q_impress.pmi.lib.decorators.marte.PaStepDecorator.PaStepStub

46
47
48
49
50
51
52
53
54
55
56
57
58
   * Gets the artifact that implements this action.
   * @return the artifact if found, otherwise null.
   */
  public Artifact getImplementingArtifact() {
    if (implementingArtifact == null) {
      PaStepStub paStepStub = getPaStepStub();
      if (paStepStub.getHost() != null) {
        implementingArtifact = paStepStub.getHost();
      }
    }
   
    return implementingArtifact;
  }
View Full Code Here

Examples of q_impress.pmi.lib.decorators.marte.PaStepDecorator.PaStepStub

26
27
28
29
30
31
32
33
  /**
   * Gets the probability of taking this edge.
   * @return the probability.
   */
  public double getProbability() {
    PaStepStub stub = getPaStepStub();
    return stub.getProb();
  }
View Full Code Here

Examples of q_impress.pmi.lib.decorators.marte.PaStepDecorator.PaStepStub

140
141
142
143
144
145
146
147
148
149
150
151
152
153
   
    // compute loads
    for (Action action : path) {
      try {
        ActionDecorator actionDec = (ActionDecorator) decFactory.getDecorator(action);
        PaStepStub paStub = actionDec.getPaStepStub();
       
        // parse load string
        String hostDemandRep = paStub.getHostDemand();
        if (hostDemandRep == null) hostDemandRep = "";
        Map<RESOURCE_TYPE,Double> demands = LoadInfo.parseDemandString(hostDemandRep);
       
        Artifact artifact = actionDec.getImplementingArtifact();
        if (artifact != null) { // update loads
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.