/**
* The keyReleased event ensures that the caret-position is updated for both peers, when the
* user moves the caret with the arrow-keys.
*/
public void keyReleased(KeyEvent e) {
int left = e.VK_LEFT;
int right = e.VK_RIGHT;
int up = e.VK_UP;
int down = e.VK_DOWN;
int home = e.VK_HOME;
int end = e.VK_END;
int A = e.VK_A;
int kc = e.getKeyCode();
if (kc == left
|| kc == right
|| kc == up
|| kc == down
|| kc == home
|| kc == end
|| (kc == A && e.isControlDown())) {
if (dec == null) return;
lc.increment();
TextEvent cu = new CaretUpdate(area1.getCaretPosition(), lc.getTimeStamp());
dec.sendObjectToAllPeers(cu);
er.getEventHistoryLock().lock();
er.getEventHistory().add(cu);
er.getEventHistoryLock().unlock();
}
}
public void mouseReleased(MouseEvent e) {
if (e.getButton() == e.BUTTON1 && connected) {
if (dec == null) return;
lc.increment();
TextEvent cu = new CaretUpdate(area1.getCaretPosition(), lc.getTimeStamp());
dec.sendObjectToAllPeers(cu);
er.getEventHistoryLock().lock();
er.getEventHistory().add(cu);
er.getEventHistoryLock().unlock();
}
}
public void actionPerformed(ActionEvent e) {
saveOld();
area1.setText("");
resetArea2();
try {
clientSocket = new Socket(ipaddress.getText(), Integer.parseInt(portNumber.getText()));
Random r = new Random();
serverport = 10000 + r.nextInt(8999); // random port :D
serverSocket = new ServerSocket(serverport);
active = true;
editor.setTitleToListen();
connected = true;
ObjectOutputStream output = new ObjectOutputStream(clientSocket.getOutputStream());
ObjectInputStream input = new ObjectInputStream(clientSocket.getInputStream());
output.writeObject(new JoinNetworkRequest(serverport));
ConnectionData data = getConnectionData(clientSocket, input);
lc = new LamportClock(data.getId());
lc.setMaxTime(data.getTs());
dec = new DocumentEventCapturer(lc, editor);
er = new EventReplayer(editor, dec, lc);
ert = new Thread(er);
ert.start();
Peer peer =
new Peer(
editor,
er,
data.getHostId(),
clientSocket,
output,
input,
lc,
clientSocket.getInetAddress().getHostAddress(),
data.getPort());
dec.addPeer(peer);
Thread thread = new Thread(peer);
thread.start();
er.setAcknowledgements(data.getAcknowledgements());
er.setEventHistory(data.getEventHistory());
er.setCarets(data.getCarets());
er.addCaretPos(lc.getID(), 0);
for (PeerWrapper p : data.getPeers()) {
Socket socket;
try {
socket = connectToPeer(p.getIP(), p.getPort());
ObjectOutputStream outputStream = new ObjectOutputStream(socket.getOutputStream());
ObjectInputStream inputStream = new ObjectInputStream(socket.getInputStream());
outputStream.writeObject(
new NewPeerDataRequest(lc.getID(), serverSocket.getLocalPort(), 0));
Peer newPeer =
new Peer(
editor,
er,
p.getId(),
socket,
outputStream,
inputStream,
lc,
p.getIP(),
p.getPort());
dec.addPeer(newPeer);
Thread t = new Thread(newPeer);
t.start();
} catch (IOException ex) {
continue;
}
}
Thread t1 =
new Thread(
new Runnable() {
@Override
public void run() {
waitForConnection();
}
});
t1.start();
area1.setText(data.getTextField());
area1.setCaretPosition(0);
setDocumentFilter(dec);
dec.sendObjectToAllPeers(new UnlockRequest(lc.getTimeStamp()));
changed = false;
Connect.setEnabled(false);
Disconnect.setEnabled(true);
Listen.setEnabled(false);
Save.setEnabled(false);
SaveAs.setEnabled(false);
} catch (NumberFormatException | IOException e1) {
setTitle("Unable to connect");
}
}
/**
* waitForConnection waits for incomming connections. There are two cases. If we receive a
* JoinNetworkRequest it means that a new peer tries to get into the network. We lock the entire
* system, and sends a ConnectionData object to the new peer, from which he can connect to every
* other peer. We add this new peer to our data.
*
* <p>If we receive a NewPeerDataRequest, it means that a new peer has received ConnectionData
* from another peer in the network, and he is now trying to connect to everyone, including me. We
* then update our data with the new peer.
*/
private void waitForConnection() {
while (active) {
Socket client = waitForConnectionFromClient();
if (client != null) {
try {
ObjectOutputStream output = new ObjectOutputStream(client.getOutputStream());
ObjectInputStream input = new ObjectInputStream(client.getInputStream());
Object o = input.readObject();
if (o instanceof JoinNetworkRequest) {
JoinNetworkRequest request = (JoinNetworkRequest) o;
dec.sendObjectToAllPeers(new LockRequest(lc.getTimeStamp()));
waitForAllToLock();
setLocked(true);
Thread.sleep(500);
int id = getNewId();
Peer p =
new Peer(
editor,
er,
id,
client,
output,
input,
lc,
client.getInetAddress().getHostAddress(),
request.getPort());
ConnectionData cd =
new ConnectionData(
er.getEventHistory(),
er.getAcknowledgements(),
er.getCarets(),
id,
area1.getText(),
lc.getTimeStamp(),
lc.getID(),
dec.getPeers(),
serverSocket.getLocalPort());
p.writeObjectToStream(cd);
dec.addPeer(p);
Thread t = new Thread(p);
t.start();
er.addCaretPos(id, 0);
} else if (o instanceof NewPeerDataRequest) {
NewPeerDataRequest request = (NewPeerDataRequest) o;
Peer newPeer =
new Peer(
editor,
er,
request.getId(),
client,
output,
input,
lc,
client.getInetAddress().getHostAddress(),
request.getPort());
dec.addPeer(newPeer);
er.addCaretPos(request.getId(), request.getCaretPos());
newPeer.writeObjectToStream(new NewPeerDataAcknowledgement(lc.getTimeStamp()));
Thread t = new Thread(newPeer);
t.start();
}
} catch (IOException | ClassNotFoundException | InterruptedException e) {
e.printStackTrace();
}
}
}
}