RgaSOperation.java

package jbenchmarker.rgaTreeSplit;

import crdt.Operation;
import jbenchmarker.core.SequenceOperation;
import jbenchmarker.core.SequenceOperation.OpType;
import java.util.List;



public class RgaSOperation<T> implements Operation {

	private OpType type;
	private List<T> content;
	
	private RgaSS3Vector s3vpos;
	private RgaSS3Vector s3vtms;
	
	private int offset1;
	private int offset2;
	
	private int pos;
	private int length;



	
	/*
	 *		Constructors
	 */

	public RgaSOperation(OpType type, List<T> c, RgaSS3Vector s3vpos, RgaSS3Vector s3vtms, int off1, int off2, int pos, int length) {
		this.type = type;
		this.content = c;
		this.s3vtms = s3vtms;
		this.s3vpos = s3vpos;
		this.offset1 = off1;
		this.offset2 = off2;
		this.pos=pos;
		this.length=length;
	}

	public RgaSOperation(List<T> c, RgaSS3Vector s3vpos, RgaSS3Vector s3vtms, int off1, int pos ) {
		this(OpType.insert, c, s3vpos, s3vtms, off1, 0,pos, 0);
	}

	public RgaSOperation(RgaSS3Vector s3vpos, int off1, int off2, int pos, int length) {
		this(OpType.delete, null, s3vpos, s3vpos, off1, off2, pos, length);
	}

	@Override
	public Operation clone() {
		return new RgaSOperation(type, content, s3vpos == null ? s3vpos : s3vpos.clone(),
				s3vtms == null ? s3vtms : s3vtms.clone(), offset1, offset2, pos, length);
	}




	/*
	 *		toString, getReplica
	 */

	 public int getPos() {
		return pos;
	}

	public void setPos(int pos) {
		this.pos = pos;
	}

	public int getLength() {
		return length;
	}

	public void setLength(int length) {
		this.length = length;
	}

	@Override
	 public String toString() {
		String ret = new String();
		if (getType() == SequenceOperation.OpType.delete) {
			ret += "del(";
		} else {
			ret += "ins(\'" + content + "\',";
		}
		String s3va = s3vpos == null ? "null" : s3vpos.toString();
		String s3vb = s3vtms == null ? "null" : s3vtms.toString();
		ret += ", sv3pos: " + s3va + ", sv3tms: " + s3vb + ", off1: " + offset1 + ", off2: " + offset2  ;

		return ret;
	 }

	 int getReplica() {
		 return s3vtms.getSid();
	 }



	 
	 /*
	  *		Getters || Setters
	  */

	 public OpType getType() {
		 return type;
	 }

	 public void setType(OpType type) {
		 this.type = type;
	 }
	 
	 public List<T> getContent() {
		 return content;
	 }

	 public void setContent(List<T> content) {
		 this.content = content;
	 }

	 public RgaSS3Vector getS3vpos() {
		 return s3vpos;
	 }

	 public void setS3vpos(RgaSS3Vector s3vpos) {
		 this.s3vpos = s3vpos;
	 }

	 public RgaSS3Vector getS3vtms() {
		 return s3vtms;
	 }

	 public void setS3vtms(RgaSS3Vector s3vtms) {
		 this.s3vtms = s3vtms;
	 }

	 public int getOffset1() {
		 return offset1;
	 }

	 public void setOffset1(int offset1) {
		 this.offset1 = offset1;
	 }

	 public int getOffset2() {
		 return offset2;
	 }

	 public void setOffset2(int offset2) {
		 this.offset2 = offset2;
	 }

}