Package it.unito.di.logic.expression

Examples of it.unito.di.logic.expression.CompositeExpression

69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
    initiator.start();
  }
 
  private static void testExpressionTree() throws MissingOperandException, WrongOperandsNumberException, CartagoException {
   
    CompositeExpression le1 =
        CompositeExpression.and(new Fact("pippo", new Fact("pippoInside")),
            CompositeExpression.or(new Fact("ripippo"),
              CompositeExpression.not(new Fact("ripippo")))
            );
   
    logger.info(le1.toString());   
    logger.error("pippo");
       
  }
View Full Code Here
12
13
14
15
16
17
18
19
20
public class InitiatorRequirements extends Type {
 
  public InitiatorRequirements() throws MissingOperandException, WrongOperandsNumberException {
    super(new Commitment[]{
      new Commitment(CNPArtifactTimerMaxPart.INITIATOR_ROLE, CNPArtifactTimerMaxPart.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 TypeInitiator extends Type {

  public TypeInitiator() throws MissingOperandException, WrongOperandsNumberException {
   
    super(new Commitment[]
        {new Commitment(CNPArtifactTimerMaxPart.INITIATOR_ROLE, CNPArtifactTimerMaxPart.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(CNPArtifactTimerMaxPart.PARTICIPANT_ROLE, CNPArtifactTimerMaxPart.INITIATOR_ROLE, "accept", new CompositeExpression(
              LogicalOperatorType.OR, new Fact("done"), new Fact("failure")))
    });
  }
View Full Code Here
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
//    receiverAgent3.start();
  }
 
  private static void testExpressionTree() throws MissingOperandException, WrongOperandsNumberException, CartagoException {
   
    CompositeExpression le1 =
        CompositeExpression.and(new Fact("pippo", new Fact("pippoInside")),
            CompositeExpression.or(new Fact("ripippo"),
              CompositeExpression.not(new Fact("ripippo")))
            );
   
    logger.info(le1.toString());   
    logger.error("pippo");
       
  }
View Full Code Here
10
11
12
13
14
15
16
17
18
19
public class ParticipantRequirements extends Type {
 
  public ParticipantRequirements() 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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
    initiator.start();
  }
 
  private static void testExpressionTree() throws MissingOperandException, WrongOperandsNumberException, CartagoException {
   
    CompositeExpression le1 =
        CompositeExpression.and(new Fact("pippo", new Fact("pippoInside")),
            CompositeExpression.or(new Fact("ripippo"),
              CompositeExpression.not(new Fact("ripippo")))
            );
   
    logger.info(le1.toString());   
    logger.error("pippo");
       
  }
View Full Code Here
60
61
62
63
64
65
66
67
68
69
70
      // poiche siamo in un ambiente distribuito. Quindi ci vanno meccanismi di matching sullo stato sociale:
      // la release ad es. viene fatta creando un nuovo commitment, quello che si vuole porre in stato released.
     
      // togliere new commitment e mettere i singoli paramtri di costruzione
     
      createCommitment(new Commitment(initiator, dest, "propose", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("accept"), new Fact("reject"))));
      assertFact(new Fact("cfp", initiator, task));
      logger.trace("OPERATION PERFORMED: CFP by "+initiator);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
View Full Code Here
103
104
105
106
107
108
109
110
111
112
113
     reject.setRoleReceiver(dest);
     reject.setPerformative(ACLMessage.REJECT_PROPOSAL);
    send(reject);
   
    try {
      releaseCommitment(new Commitment(proposal.getRoleId(), initiator, "accept", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("done"), new Fact("failure"))));
      logger.trace("OPERATION PERFORMED: REJECT by "+initiator);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
      e.printStackTrace();
View Full Code Here
127
128
129
130
131
132
133
134
135
136
137
     proposal.setRoleReceiver(initiator);
     proposal.setPerformative(ACLMessage.PROPOSE);
    send(proposal);
   
    try {
      createCommitment(new Commitment(participant, new RoleId(INITIATOR_ROLE, RoleId.GENERIC_ROLE), "accept", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("done"), new Fact("failure"))));
      assertFact(new Fact("propose", participant, prop));
      logger.trace("OPERATION PERFORMED: PROPOSE by "+participant);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
View Full Code Here
TOP

Related Classes of it.unito.di.logic.expression.CompositeExpression

  • 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.