kawa.lib.strings.stringRef()

Here are the examples of the java api kawa.lib.strings.stringRef() taken from open source projects. By voting up you can indicate which examples are most useful and appropriate.

1 Examples 7

12 Source : genwrite.java
with GNU General Public License v2.0
from Cloudslab

public static Object lambda23revStringAppend(Object l, Object i) {
    if (lists.isPair(l)) {
        Object str = lists.car.apply1(l);
        try {
            int len = strings.stringLength((CharSequence) str);
            Object result = lambda23revStringAppend(lists.cdr.apply1(l), AddOp.$Pl.apply2(i, Integer.valueOf(len)));
            Object obj = Lit1;
            try {
                Object apply2 = AddOp.$Mn.apply2(AddOp.$Mn.apply2(Integer.valueOf(strings.stringLength((CharSequence) result)), i), Integer.valueOf(len));
                while (Scheme.numLss.apply2(obj, Integer.valueOf(len)) != Boolean.FALSE) {
                    try {
                        try {
                            try {
                                try {
                                    strings.stringSet$Ex((CharSeq) result, ((Number) apply2).intValue(), strings.stringRef((CharSequence) str, ((Number) obj).intValue()));
                                    obj = AddOp.$Pl.apply2(obj, Lit17);
                                    apply2 = AddOp.$Pl.apply2(apply2, Lit17);
                                } catch (ClreplacedCastException e) {
                                    throw new WrongType(e, "string-ref", 2, obj);
                                }
                            } catch (ClreplacedCastException e2) {
                                throw new WrongType(e2, "string-ref", 1, str);
                            }
                        } catch (ClreplacedCastException e22) {
                            throw new WrongType(e22, "string-set!", 2, apply2);
                        }
                    } catch (ClreplacedCastException e222) {
                        throw new WrongType(e222, "string-set!", 1, result);
                    }
                }
                return result;
            } catch (ClreplacedCastException e2222) {
                throw new WrongType(e2222, "string-length", 1, result);
            }
        } catch (ClreplacedCastException e22222) {
            throw new WrongType(e22222, "string-length", 1, str);
        }
    }
    try {
        return strings.makeString(((Number) i).intValue());
    } catch (ClreplacedCastException e222222) {
        throw new WrongType(e222222, "make-string", 1, i);
    }
}