package Reldb.RelUserCode;

import org.reldb.rel.v0.types.*;
import org.reldb.rel.v0.types.builtin.*;
import org.reldb.rel.v0.types.userdefined.*;
import org.reldb.rel.v0.values.*;
import org.reldb.rel.v0.vm.Context;

public class op_STARTS_WITH__CHARACTER_CHARACTER_INTEGER {
	private static final ValueBoolean do_STARTS_WITH(Context context, ValueCharacter s, ValueCharacter prefx, ValueInteger toffset) {
		
		//          Tests if this string starts with the specified prefix beginning at a specified index.
			return ValueBoolean.select(context.getGenerator(), s.stringValue().startsWith(prefx.stringValue(), (int)toffset.longValue()));
	}

	public static final void execute(Context context) {
		ValueInteger p2 = (ValueInteger)context.pop();
		ValueCharacter p1 = (ValueCharacter)context.pop();
		ValueCharacter p0 = (ValueCharacter)context.pop();
		context.push(do_STARTS_WITH(context, p0, p1, p2));
	}
}