Exemple #1
0
 /**
  * Pops a header from a message. Creates a new Header from the values contained by the message.
  *
  * @param message message that contains the info to build the header
  * @return a header builted from the values of contained by the message
  */
 public static DATAHeader pop(Message message) {
   DATAHeader header = new DATAHeader(-1, -1);
   header.delay = message.popLong();
   header.sn = message.popLong();
   header.id = message.popInt();
   return header;
 }
Exemple #2
0
 /**
  * Pops a header from a message. Creates a new Header from the values contained by the message.
  *
  * @param message message that contains the info to build the header
  * @return a header builted from the values of contained by the message
  */
 public static SEQHeader pop(Message message) {
   SEQHeader header = new SEQHeader();
   header.order = message.popLong();
   header.sn = message.popLong();
   header.id = message.popInt();
   return header;
 }
  private void handleSendEvent(SendEvent conf) {
    Message message = conf.getMessage();
    int id = message.popInt();

    System.out.println("[Message received: " + message.peekString() + "]");

    message.pushInt(id);

    DeliverEvent event = new DeliverEvent();
    event.setMessage(message);
    event.setDestProcess(processes.getOther());
    event.setSourceProcess(processes.getSelf());
    event.setChannel(conf.getChannel());
    event.setDir(Direction.DOWN);
    event.setSourceSession(this);

    try {
      event.init();
      event.go();
    } catch (AppiaEventException ex) {
      ex.printStackTrace();
    }
  }
 public void popMySelf(Message m) {
   number = m.popInt();
   message = (RainMessage) m.popObject();
 }