convex.core.lang.Ops Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of convex-core Show documentation
Convex core libraries and common utilities
The newest version!
package convex.core.lang;

import convex.core.data.ACell;
import convex.core.data.Blob;
import convex.core.exceptions.BadFormatException;
import convex.core.lang.ops.Cond;
import convex.core.lang.ops.Constant;
import convex.core.lang.ops.Def;
import convex.core.lang.ops.Do;
import convex.core.lang.ops.Invoke;
import convex.core.lang.ops.Lambda;
import convex.core.lang.ops.Let;
import convex.core.lang.ops.Local;
import convex.core.lang.ops.Lookup;
import convex.core.lang.ops.Query;
import convex.core.lang.ops.Set;
import convex.core.lang.ops.Special;

/**
 * Static utility class for coded operations.
 * 
 * Ops are the fundamental units of code (e.g. as used to implement Actors), and may be
 * effectively considered as "bytecode" for the decentralised state machine.
 */
public class Ops {
	public static final byte CONSTANT = 0;
	public static final byte INVOKE = 1;
	public static final byte COND = 2;
	public static final byte DO = 3;
	public static final byte LET = 4;
	public static final byte LOOP = 5;
	public static final byte DEF = 6;
	public static final byte LOOKUP = 7;
	public static final byte LAMBDA = 8;
	public static final byte QUERY = 9;
	public static final byte LOCAL=10;
	public static final byte SET = 11;
	
	public static final byte SPECIAL = 15;
	// public static final byte CALL = 9;
	// public static final byte RETURN = 10;

	/**
	 * Offset of Op data from tag byte
	 */
	public static final int OP_DATA_OFFSET=1;

	/**
	 * Reads an Op from the given Blob. Assumes tag specifying an Op already read.
	 * 
	 * @param  The return type of the Op
	 * @param b Blob to read from
	 * @param pos Start position in Blob (location of tag byte)
	 * @return New decoded instance
	 * @throws BadFormatException In the event of any encoding error
	 */
	@SuppressWarnings("unchecked")
	public static  AOp read(Blob b, int pos, byte opCode) throws BadFormatException {
		switch (opCode) {
		case Ops.CONSTANT:
			return Constant.read(b,pos);
		case Ops.INVOKE:
			return Invoke.read(b,pos);
		case Ops.COND:
			return Cond.read(b,pos);
		case Ops.DEF:
			return Def.read(b,pos);
		case Ops.DO:
			return Do.read(b,pos);
		case Ops.LOOKUP:
			return Lookup.read(b,pos);
		case Ops.LAMBDA:
			return (AOp) Lambda.read(b,pos);
		case Ops.LET:
			return Let.read(b,pos,false);
		case Ops.QUERY:
			return Query.read(b,pos);
		case Ops.LOOP:
			return Let.read(b,pos,true);
		case Ops.LOCAL:
			return Local.read(b,pos);
		case Ops.SET:
			return Set.read(b,pos);
		case Ops.SPECIAL:
			return Special.read(b,pos);

		default:
			throw new BadFormatException("Invalide OpCode: " + opCode);
		}
	}
}