BlockVisitor2.java

/**
 * This file is part of Erjang - A JVM-based Erlang VM
 *
 * Copyright (c) 2009 by Trifork
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *  
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 **/


package erjang.beam;


import org.objectweb.asm.Type;
import org.objectweb.asm.commons.Method;

import erjang.beam.repr.ExtFun;
import erjang.EBinary;
import erjang.EBitString;

/**
 * 
 */
public interface BlockVisitor2 extends BlockVisitor {
	void visitBegin(BeamExceptionHandler exh);

	void visitInsn(BeamOpcode insn);
	
	void visitInsn(BeamOpcode opcode, int failLabel, Arg arg1, Method bif);
	
	/** bif, gc_bif, arithfbif */
	void visitInsn(BeamOpcode opcode, int failLabel, Arg[] in, Arg out, BuiltInFunction bif);

	/**
	 * 
	 * @param test one of is_nil, is_nonempty_list
	 * @param failLabel
	 * @param arg1
	 * @param out 
	 */
	void visitTest(BeamOpcode test, int failLabel, Arg arg1, Type out);

	void visitInsn(BeamOpcode opcode, Arg arg);

	void visitInsn(BeamOpcode opcode, ExtFun ext_fun);

	/**
	 * @param test
	 * @param failLabel
	 * @param args
	 * @param voidType
	 * @param arg
	 */
	void visitTest(BeamOpcode test, int failLabel, Arg[] args, Type voidType);

	/**
	 * @param opcode
	 * @param arg1
	 * @param arg2
	 */
	void visitInsn(BeamOpcode opcode, Arg arg1, Arg arg2);

	/**
	 * @param fun
	 * @param args
	 * @param isTail
	 * @param isExternal
	 */
	void visitCall(ExtFun fun, Arg[] args, boolean isTail, boolean isExternal);

	/**
	 * @param opcode
	 * @param ys
	 */
	void visitInsn(BeamOpcode opcode, Arg[] ys);

	/**
	 * @param opcode
	 * @param efun
	 * @param freevars
	 * @param index TODO
	 * @param old_index TODO
	 * @param uniq TODO
	 * @param old_uniq TODO
	 */
	void visitInsn(BeamOpcode opcode, ExtFun efun, Arg[] freevars, int index, int old_index, EBinary uniq, int old_uniq);

	/**
	 * @param opcode
	 * @param in
	 * @param out
	 */
	void visitInsn(BeamOpcode opcode, Arg[] in, Arg out);

	/**
	 * @param opcode
	 * @param asInt
	 * @param decodeOutArg
	 */
	void visitInsn(BeamOpcode opcode, int val, Arg out);

	/**
	 * @param opcode
	 * @param val
	 * @param tupleReg
	 * @param i
	 */
	void visitInsn(BeamOpcode opcode, Arg val, Arg out, int pos);

	/**
	 * @param in
	 * @param failLabel
	 * @param arities
	 * @param targets
	 */
	void visitSelectTuple(Arg in, int failLabel, int[] arities, int[] targets);

	/**
	 * @param in
	 * @param failLabel
	 * @param values
	 * @param targets
	 */
	void visitSelectValue(Arg in, int failLabel, Arg[] values, int[] targets);

	/**
	 * @param test
	 * @param failLabel
	 * @param arg
	 * @param arity
	 * @param tupleType
	 */
	void visitTest(BeamOpcode test, int failLabel, Arg arg, int arity,
			Type tupleType);
	void visitTest(BeamOpcode test, int failLabel, Arg arg, Arg arity,
			Type funType);

	/**
	 * @param decodeLabelref
	 */
	void visitJump(int decodeLabelref);

	/**
	 * @param opcode
	 * @param decodeLabelref
	 * @param decodeOutArg
	 */
	void visitReceive(BeamOpcode opcode, int block_label, Arg out);

	/**
	 * @param opcode
	 * @param failLabel
	 * @param in
	 * @param ex
	 */
	void visitInsn(BeamOpcode opcode, int failLabel, Arg[] in, Arg ex);

	/**
	 * @param test
	 * @param failLabel
	 * @param args
	 */
	void visitBitStringTest(BeamOpcode test, int failLabel, Arg in, int intg, Arg dst);
	void visitBitStringTest(BeamOpcode test, int failLabel, Arg in, EBitString bin);
	void visitBitStringTest(BeamOpcode test, int failLabel, Arg in, Arg bits, int unit, int flags);
	void visitBitStringTest(BeamOpcode test, int failLabel, Arg in, Arg bits, int unit, int flags, Arg dst);
	void visitBitStringTest(BeamOpcode test, int failLabel, Arg in, int intg);

	/**
	 * @param size
	 * @param flags
	 * @param out
	 */
	void visitInitBitString(Arg size, int flags, Arg out, boolean unit_is_bits);

	/**
	 * @param opcode
	 * @param elm
	 */
	void visitBitStringPut(BeamOpcode opcode, Arg value, Arg size, int unit, int flags);

	void visitBitStringAppend(BeamOpcode opcode, int label, Arg extra_size, Arg src, int unit, int flags, Arg dst);

	/**
	 * @param opcode
	 * @param arg2 
	 * @param failLabel TODO
	 * @param decodeArg
	 */
	void visitBS(BeamOpcode opcode, Arg arg1, Arg arg2, int failLabel);

	/**
	 * @param in
	 * @param out
	 */
	void visitBSAdd(Arg in1, Arg in2, int scale, Arg out);


	void visitUnreachablePoint();
	void visitCatchBlockStart(BeamOpcode opcode, int label, Arg out, BeamExceptionHandler exh);
	void visitCatchBlockEnd(BeamOpcode opcode, Arg out, BeamExceptionHandler exh);

	void visitIncrement(Arg src, Arg out);
	void visitDecrement(Arg src, Arg out);

	void visitInitWritable(Arg size, Arg dest);

	void visitLine(int line);

	void visitMakeTuple(int arity, Arg tuple_reg, Arg[] puts);

	void visitMapQuery(BeamOpcode opcode, int label, Arg src, Arg[] keys, Arg[] dest);
	void visitMapUpdate(BeamOpcode opcode, int label, Arg src, Arg dst, Arg[] keys, Arg[] srcs);
}