Package it.unito.di.logic.commit

Examples of it.unito.di.logic.commit.Commitment

11
12
13
14
15
16
17
18
19
public class TypeInitiator extends Type {

  public TypeInitiator() throws MissingOperandException, WrongOperandsNumberException {
   
    super(new Commitment[]
        {new Commitment(CNPArtifact.INITIATOR_ROLE, CNPArtifact.PARTICIPANT_ROLE, "propose", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("accept"), new Fact("reject")))
        });
  }
View Full Code Here
11
12
13
14
15
16
17
18
19
public class TypeOneParticipant extends Type {

  public TypeOneParticipant() throws MissingOperandException, WrongOperandsNumberException {
 
    super(new Commitment[]{
        new Commitment(CNPArtifact.PARTICIPANT_ROLE, CNPArtifact.INITIATOR_ROLE, "accept", new CompositeExpression(
              LogicalOperatorType.OR, new Fact("done"), new Fact("failure")))
    });
  }
View Full Code Here
TOP

Related Classes of it.unito.di.logic.commit.Commitment

  • it.unito.di.artifact.examples.cnp.CNPArtifact
  • it.unito.di.artifact.examples.cnp.InitiatorRequirements
  • it.unito.di.artifact.examples.cnp.ParticipantRequirements
  • it.unito.di.artifact.examples.cnp.TypeInitiator
  • it.unito.di.artifact.examples.cnp.TypeOneParticipant
  • it.unito.di.artifact.examples.cnpBackup.CNPArtifact
  • it.unito.di.artifact.examples.cnpCommits.CNPArtifact
  • it.unito.di.artifact.examples.cnpCommits.CNPArtifactTimer
  • it.unito.di.artifact.examples.cnpCommits.CNPArtifactTimerMaxPart
  • it.unito.di.artifact.examples.cnpCommits.InitiatorAgent$InitiatorBehaviour
    • Copyright © 2018 www.massapicom. 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.