test_class.file: bft-smart/src/test/java/bftsmart/tom/core/messages/TOMMessageTest.java
test_class.identifier: TOMMessageTest
test_case.body: @Test
  	public void testRExternal() {
  		fail("Not yet implemented");
  	}
test_case.class_method_signature: TOMMessageTest.testRExternal()
test_case.full_signature: @Test public void testRExternal()
test_case.identifier: testRExternal
test_case.invocations: fail
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void testRExternal()
focal_class.declarator: viewID
focal_class.modifier: private
focal_class.original_string: private int viewID;
focal_class.type: int
focal_class.var_name: viewID
focal_class.declarator: type
focal_class.modifier: private
focal_class.original_string: private TOMMessageType type;
focal_class.type: TOMMessageType
focal_class.var_name: type
focal_class.declarator: session
focal_class.modifier: private
focal_class.original_string: private int session;
focal_class.type: int
focal_class.var_name: session
focal_class.declarator: sequence
focal_class.modifier: private
focal_class.original_string: private int sequence;
focal_class.type: int
focal_class.var_name: sequence
focal_class.declarator: operationId
focal_class.modifier: private
focal_class.original_string: private int operationId;
focal_class.type: int
focal_class.var_name: operationId
focal_class.declarator: content = null
focal_class.modifier: private
focal_class.original_string: private byte[] content = null;
focal_class.type: byte[]
focal_class.var_name: content
focal_class.declarator: id
focal_class.modifier: private transient
focal_class.original_string: private transient int id;
focal_class.type: int
focal_class.var_name: id
focal_class.declarator: timestamp = 0
focal_class.modifier: public transient
focal_class.original_string: public transient long timestamp = 0;
focal_class.type: long
focal_class.var_name: timestamp
focal_class.declarator: seed = 0
focal_class.modifier: public transient
focal_class.original_string: public transient long seed = 0;
focal_class.type: long
focal_class.var_name: seed
focal_class.declarator: numOfNonces = 0
focal_class.modifier: public transient
focal_class.original_string: public transient int numOfNonces = 0;
focal_class.type: int
focal_class.var_name: numOfNonces
focal_class.declarator: destination = -1
focal_class.modifier: public transient
focal_class.original_string: public transient int destination = -1;
focal_class.type: int
focal_class.var_name: destination
focal_class.declarator: signed = false
focal_class.modifier: public transient
focal_class.original_string: public transient boolean signed = false;
focal_class.type: boolean
focal_class.var_name: signed
focal_class.declarator: receptionTime
focal_class.modifier: public transient
focal_class.original_string: public transient long receptionTime;
focal_class.type: long
focal_class.var_name: receptionTime
focal_class.declarator: timeout = false
focal_class.modifier: public transient
focal_class.original_string: public transient boolean timeout = false;
focal_class.type: boolean
focal_class.var_name: timeout
focal_class.declarator: recvFromClient = false
focal_class.modifier: public transient
focal_class.original_string: public transient boolean recvFromClient = false;
focal_class.type: boolean
focal_class.var_name: recvFromClient
focal_class.declarator: serializedMessage = null
focal_class.modifier: public transient
focal_class.original_string: public transient byte[] serializedMessage = null;
focal_class.type: byte[]
focal_class.var_name: serializedMessage
focal_class.declarator: serializedMessageSignature = null
focal_class.modifier: public transient
focal_class.original_string: public transient byte[] serializedMessageSignature = null;
focal_class.type: byte[]
focal_class.var_name: serializedMessageSignature
focal_class.declarator: serializedMessageMAC = null
focal_class.modifier: public transient
focal_class.original_string: public transient byte[] serializedMessageMAC = null;
focal_class.type: byte[]
focal_class.var_name: serializedMessageMAC
focal_class.declarator: consensusStartTime = 0
focal_class.modifier: public transient
focal_class.original_string: public transient long consensusStartTime = 0;
focal_class.type: long
focal_class.var_name: consensusStartTime
focal_class.declarator: proposeReceivedTime = 0
focal_class.modifier: public transient
focal_class.original_string: public transient long proposeReceivedTime = 0;
focal_class.type: long
focal_class.var_name: proposeReceivedTime
focal_class.declarator: writeSentTime = 0
focal_class.modifier: public transient
focal_class.original_string: public transient long writeSentTime = 0;
focal_class.type: long
focal_class.var_name: writeSentTime
focal_class.declarator: acceptSentTime = 0
focal_class.modifier: public transient
focal_class.original_string: public transient long acceptSentTime = 0;
focal_class.type: long
focal_class.var_name: acceptSentTime
focal_class.declarator: decisionTime = 0
focal_class.modifier: public transient
focal_class.original_string: public transient long decisionTime = 0;
focal_class.type: long
focal_class.var_name: decisionTime
focal_class.declarator: deliveryTime = 0
focal_class.modifier: public transient
focal_class.original_string: public transient long deliveryTime = 0;
focal_class.type: long
focal_class.var_name: deliveryTime
focal_class.declarator: executedTime = 0
focal_class.modifier: public transient
focal_class.original_string: public transient long executedTime = 0;
focal_class.type: long
focal_class.var_name: executedTime
focal_class.declarator: reply = null
focal_class.modifier: public transient
focal_class.original_string: public transient TOMMessage reply = null;
focal_class.type: TOMMessage
focal_class.var_name: reply
focal_class.declarator: alreadyProposed = false
focal_class.modifier: public transient
focal_class.original_string: public transient boolean alreadyProposed = false;
focal_class.type: boolean
focal_class.var_name: alreadyProposed
focal_class.declarator: replyServer = -1
focal_class.modifier: private
focal_class.original_string: private int replyServer = -1;
focal_class.type: int
focal_class.var_name: replyServer
focal_class.declarator: info = null
focal_class.modifier: private transient
focal_class.original_string: private transient DebugInfo info = null;
focal_class.type: DebugInfo
focal_class.var_name: info
focal_class.file: bft-smart/src/main/java/bftsmart/tom/core/messages/TOMMessage.java
focal_class.identifier: TOMMessage
focal_class.interfaces: implements Externalizable, Comparable, Cloneable
focal_class.class_method_signature: TOMMessage.TOMMessage()
focal_class.full_signature: public  TOMMessage()
focal_class.identifier: TOMMessage
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.signature:  TOMMessage()
focal_class.class_method_signature: TOMMessage.TOMMessage(int sender, int session, int sequence, byte[] content, int view, TOMMessageType type)
focal_class.full_signature: public  TOMMessage(int sender, int session, int sequence, byte[] content, int view, TOMMessageType type)
focal_class.identifier: TOMMessage
focal_class.modifiers: public
focal_class.parameters: (int sender, int session, int sequence, byte[] content, int view, TOMMessageType type)
focal_class.signature:  TOMMessage(int sender, int session, int sequence, byte[] content, int view, TOMMessageType type)
focal_class.class_method_signature: TOMMessage.TOMMessage(int sender, int session, int sequence, int operationId, byte[] content, int view,
  			TOMMessageType type)
focal_class.full_signature: public  TOMMessage(int sender, int session, int sequence, int operationId, byte[] content, int view,
  			TOMMessageType type)
focal_class.identifier: TOMMessage
focal_class.modifiers: public
focal_class.parameters: (int sender, int session, int sequence, int operationId, byte[] content, int view,
  			TOMMessageType type)
focal_class.signature:  TOMMessage(int sender, int session, int sequence, int operationId, byte[] content, int view,
  			TOMMessageType type)
focal_class.class_method_signature: TOMMessage.getDebugInfo()
focal_class.full_signature: public DebugInfo getDebugInfo()
focal_class.identifier: getDebugInfo
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: DebugInfo
focal_class.signature: DebugInfo getDebugInfo()
focal_class.class_method_signature: TOMMessage.setDebugInfo(DebugInfo info)
focal_class.full_signature: public void setDebugInfo(DebugInfo info)
focal_class.identifier: setDebugInfo
focal_class.modifiers: public
focal_class.parameters: (DebugInfo info)
focal_class.return: void
focal_class.signature: void setDebugInfo(DebugInfo info)
focal_class.class_method_signature: TOMMessage.getSession()
focal_class.full_signature: public int getSession()
focal_class.identifier: getSession
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: int
focal_class.signature: int getSession()
focal_class.class_method_signature: TOMMessage.getSequence()
focal_class.full_signature: public int getSequence()
focal_class.identifier: getSequence
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: int
focal_class.signature: int getSequence()
focal_class.class_method_signature: TOMMessage.getOperationId()
focal_class.full_signature: public int getOperationId()
focal_class.identifier: getOperationId
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: int
focal_class.signature: int getOperationId()
focal_class.class_method_signature: TOMMessage.getViewID()
focal_class.full_signature: public int getViewID()
focal_class.identifier: getViewID
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: int
focal_class.signature: int getViewID()
focal_class.class_method_signature: TOMMessage.getReqType()
focal_class.full_signature: public TOMMessageType getReqType()
focal_class.identifier: getReqType
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: TOMMessageType
focal_class.signature: TOMMessageType getReqType()
focal_class.class_method_signature: TOMMessage.getId()
focal_class.full_signature: public int getId()
focal_class.identifier: getId
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: int
focal_class.signature: int getId()
focal_class.class_method_signature: TOMMessage.getContent()
focal_class.full_signature: public byte[] getContent()
focal_class.identifier: getContent
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: byte[]
focal_class.signature: byte[] getContent()
focal_class.class_method_signature: TOMMessage.equals(Object o)
focal_class.full_signature: @Override public boolean equals(Object o)
focal_class.identifier: equals
focal_class.modifiers: @Override public
focal_class.parameters: (Object o)
focal_class.return: boolean
focal_class.signature: boolean equals(Object o)
focal_class.class_method_signature: TOMMessage.hashCode()
focal_class.full_signature: @Override public int hashCode()
focal_class.identifier: hashCode
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: int
focal_class.signature: int hashCode()
focal_class.class_method_signature: TOMMessage.toString()
focal_class.full_signature: @Override public String toString()
focal_class.identifier: toString
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String toString()
focal_class.class_method_signature: TOMMessage.wExternal(DataOutput out)
focal_class.full_signature: public void wExternal(DataOutput out)
focal_class.identifier: wExternal
focal_class.modifiers: public
focal_class.parameters: (DataOutput out)
focal_class.return: void
focal_class.signature: void wExternal(DataOutput out)
focal_class.class_method_signature: TOMMessage.rExternal(DataInput in)
focal_class.full_signature: public void rExternal(DataInput in)
focal_class.identifier: rExternal
focal_class.modifiers: public
focal_class.parameters: (DataInput in)
focal_class.return: void
focal_class.signature: void rExternal(DataInput in)
focal_class.class_method_signature: TOMMessage.buildId()
focal_class.full_signature: private void buildId()
focal_class.identifier: buildId
focal_class.modifiers: private
focal_class.parameters: ()
focal_class.return: void
focal_class.signature: void buildId()
focal_class.class_method_signature: TOMMessage.getSenderFromId(int id)
focal_class.full_signature: public static int getSenderFromId(int id)
focal_class.identifier: getSenderFromId
focal_class.modifiers: public static
focal_class.parameters: (int id)
focal_class.return: int
focal_class.signature: int getSenderFromId(int id)
focal_class.class_method_signature: TOMMessage.messageToBytes(TOMMessage m)
focal_class.full_signature: public static byte[] messageToBytes(TOMMessage m)
focal_class.identifier: messageToBytes
focal_class.modifiers: public static
focal_class.parameters: (TOMMessage m)
focal_class.return: byte[]
focal_class.signature: byte[] messageToBytes(TOMMessage m)
focal_class.class_method_signature: TOMMessage.bytesToMessage(byte[] b)
focal_class.full_signature: public static TOMMessage bytesToMessage(byte[] b)
focal_class.identifier: bytesToMessage
focal_class.modifiers: public static
focal_class.parameters: (byte[] b)
focal_class.return: TOMMessage
focal_class.signature: TOMMessage bytesToMessage(byte[] b)
focal_class.class_method_signature: TOMMessage.compareTo(Object o)
focal_class.full_signature: @Override public int compareTo(Object o)
focal_class.identifier: compareTo
focal_class.modifiers: @Override public
focal_class.parameters: (Object o)
focal_class.return: int
focal_class.signature: int compareTo(Object o)
focal_class.class_method_signature: TOMMessage.clone()
focal_class.full_signature: public Object clone()
focal_class.identifier: clone
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: Object
focal_class.signature: Object clone()
focal_class.class_method_signature: TOMMessage.getReplyServer()
focal_class.full_signature: public int getReplyServer()
focal_class.identifier: getReplyServer
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: int
focal_class.signature: int getReplyServer()
focal_class.class_method_signature: TOMMessage.setReplyServer(int replyServer)
focal_class.full_signature: public void setReplyServer(int replyServer)
focal_class.identifier: setReplyServer
focal_class.modifiers: public
focal_class.parameters: (int replyServer)
focal_class.return: void
focal_class.signature: void setReplyServer(int replyServer)
focal_class.superclass: extends SystemMessage
focal_method.body: public void rExternal(DataInput in) throws IOException, ClassNotFoundException {
  		sender = in.readInt();
  		viewID = in.readInt();
  		type = TOMMessageType.fromInt(in.readInt());
  		session = in.readInt();
  		sequence = in.readInt();
  		operationId = in.readInt();
  		replyServer = in.readInt();
  
  		int toRead = in.readInt();
  		if (toRead != -1) {
  			content = new byte[toRead];
  			in.readFully(content);
  		}
  
  		buildId();
  	}
focal_method.class_method_signature: TOMMessage.rExternal(DataInput in)
focal_method.full_signature: public void rExternal(DataInput in)
focal_method.identifier: rExternal
focal_method.invocations: readInt readInt fromInt readInt readInt readInt readInt readInt readInt readFully buildId
focal_method.modifiers: public
focal_method.parameters: (DataInput in)
focal_method.return: void
focal_method.signature: void rExternal(DataInput in)