hg/bck2brwsr: vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java@45184b2f9697 (annotated)

jaroslav@106	1	/**
jaroslav@106	2	* Back 2 Browser Bytecode Translator
jaroslav@106	3	* Copyright (C) 2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
jaroslav@106	4	*
jaroslav@106	5	* This program is free software: you can redistribute it and/or modify
jaroslav@106	6	* it under the terms of the GNU General Public License as published by
jaroslav@106	7	* the Free Software Foundation, version 2 of the License.
jaroslav@106	8	*
jaroslav@106	9	* This program is distributed in the hope that it will be useful,
jaroslav@106	10	* but WITHOUT ANY WARRANTY; without even the implied warranty of
jaroslav@106	11	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
jaroslav@106	12	* GNU General Public License for more details.
jaroslav@106	13	*
jaroslav@106	14	* You should have received a copy of the GNU General Public License
jaroslav@106	15	* along with this program. Look for COPYING file in the top folder.
jaroslav@106	16	* If not, see http://opensource.org/licenses/GPL-2.0.
jaroslav@106	17	*/
jaroslav@22	18	package org.apidesign.vm4brwsr;
jaroslav@0	19
jaroslav@0	20	import java.io.IOException;
jaroslav@0	21	import java.io.InputStream;
jaroslav@21	22	import java.util.ArrayList;
jaroslav@18	23	import java.util.Collection;
jaroslav@0	24	import java.util.List;
jaroslav@91	25	import org.apidesign.bck2brwsr.core.ExtraJavaScript;
jaroslav@94	26	import org.apidesign.bck2brwsr.core.JavaScriptBody;
jaroslav@91	27	import org.netbeans.modules.classfile.Annotation;
jaroslav@91	28	import org.netbeans.modules.classfile.AnnotationComponent;
jaroslav@94	29	import org.netbeans.modules.classfile.ArrayElementValue;
jaroslav@2	30	import static org.netbeans.modules.classfile.ByteCodes.*;
jaroslav@8	31	import org.netbeans.modules.classfile.CPClassInfo;
jaroslav@8	32	import org.netbeans.modules.classfile.CPEntry;
jaroslav@8	33	import org.netbeans.modules.classfile.CPFieldInfo;
jaroslav@4	34	import org.netbeans.modules.classfile.CPMethodInfo;
jaroslav@21	35	import org.netbeans.modules.classfile.CPStringInfo;
jaroslav@0	36	import org.netbeans.modules.classfile.ClassFile;
jaroslav@13	37	import org.netbeans.modules.classfile.ClassName;
jaroslav@0	38	import org.netbeans.modules.classfile.Code;
jaroslav@91	39	import org.netbeans.modules.classfile.ElementValue;
jaroslav@0	40	import org.netbeans.modules.classfile.Method;
jaroslav@0	41	import org.netbeans.modules.classfile.Parameter;
jaroslav@91	42	import org.netbeans.modules.classfile.PrimitiveElementValue;
jaroslav@9	43	import org.netbeans.modules.classfile.Variable;
jaroslav@0	44
jaroslav@0	45	/** Translator of the code inside class files to JavaScript.
jaroslav@0	46	*
jaroslav@0	47	* @author Jaroslav Tulach <jtulach@netbeans.org>
jaroslav@0	48	*/
jaroslav@0	49	public final class ByteCodeToJavaScript {
jaroslav@0	50	private final ClassFile jc;
jaroslav@0	51	private final Appendable out;
jaroslav@18	52	private final Collection<? super String> references;
jaroslav@0	53
jaroslav@18	54	private ByteCodeToJavaScript(
jaroslav@18	55	ClassFile jc, Appendable out, Collection<? super String> references
jaroslav@18	56	) {
jaroslav@0	57	this.jc = jc;
jaroslav@0	58	this.out = out;
jaroslav@18	59	this.references = references;
jaroslav@0	60	}
jaroslav@18	61
jaroslav@18	62	/**
jaroslav@18	63	* Converts a given class file to a JavaScript version.
jaroslav@18	64	*
jaroslav@0	65	* @param classFile input stream with code of the .class file
jaroslav@0	66	* @param out a {@link StringBuilder} or similar to generate the output to
jaroslav@18	67	* @param references a write only collection where the system adds list of
jaroslav@18	68	* other classes that were referenced and should be loaded in order the
jaroslav@18	69	* generated JavaScript code works properly. The names are in internal
jaroslav@18	70	* JVM form so String is <code>java/lang/String</code>. Can be <code>null</code>
jaroslav@18	71	* if one is not interested in knowing references
jaroslav@91	72	* @param scripts write only collection with names of resources to read
jaroslav@97	73	* @return the initialization code for this class, if any. Otherwise <code>null</code>
jaroslav@91	74	*
jaroslav@0	75	* @throws IOException if something goes wrong during read or write or translating
jaroslav@0	76	*/
jaroslav@18	77
jaroslav@97	78	public static String compile(
jaroslav@18	79	InputStream classFile, Appendable out,
jaroslav@91	80	Collection<? super String> references,
jaroslav@91	81	Collection<? super String> scripts
jaroslav@18	82	) throws IOException {
jaroslav@0	83	ClassFile jc = new ClassFile(classFile, true);
jaroslav@91	84	final ClassName extraAnn = ClassName.getClassName(ExtraJavaScript.class.getName().replace('.', '/'));
jaroslav@91	85	Annotation a = jc.getAnnotation(extraAnn);
jaroslav@91	86	if (a != null) {
jaroslav@91	87	final ElementValue annVal = a.getComponent("resource").getValue();
jaroslav@91	88	String res = ((PrimitiveElementValue)annVal).getValue().getValue().toString();
jaroslav@91	89	scripts.add(res);
jaroslav@91	90	final AnnotationComponent process = a.getComponent("processByteCode");
jaroslav@93	91	if (process != null && "const=0".equals(process.getValue().toString())) {
jaroslav@97	92	return null;
jaroslav@91	93	}
jaroslav@91	94	}
jaroslav@91	95
jaroslav@18	96	ByteCodeToJavaScript compiler = new ByteCodeToJavaScript(
jaroslav@18	97	jc, out, references
jaroslav@18	98	);
jaroslav@21	99	List<String> toInitilize = new ArrayList<String>();
jaroslav@0	100	for (Method m : jc.getMethods()) {
jaroslav@0	101	if (m.isStatic()) {
jaroslav@21	102	compiler.generateStaticMethod(m, toInitilize);
jaroslav@10	103	} else {
jaroslav@10	104	compiler.generateInstanceMethod(m);
jaroslav@0	105	}
jaroslav@0	106	}
jaroslav@9	107	for (Variable v : jc.getVariables()) {
jaroslav@9	108	if (v.isStatic()) {
jaroslav@9	109	compiler.generateStaticField(v);
jaroslav@9	110	}
jaroslav@9	111	}
jaroslav@10	112
jaroslav@18	113	final String className = jc.getName().getInternalName().replace('/', '_');
jaroslav@13	114	out.append("\nfunction ").append(className);
jaroslav@10	115	out.append("() {");
jaroslav@10	116	for (Variable v : jc.getVariables()) {
jaroslav@10	117	if (!v.isStatic()) {
jaroslav@137	118	out.append("\n this.fld_").
jaroslav@137	119	append(v.getName()).append(" = 0;");
jaroslav@10	120	}
jaroslav@10	121	}
jaroslav@98	122	out.append("\n}\n\nfunction ").append(className).append("_proto() {");
jaroslav@98	123	out.append("\n if (").append(className).
jaroslav@98	124	append(".prototype.$instOf_").append(className).append(") {");
jtulach@130	125	out.append("\n return new ").append(className).append(";");
jaroslav@98	126	out.append("\n }");
jaroslav@13	127	ClassName sc = jc.getSuperClass();
jaroslav@13	128	if (sc != null) {
jtulach@130	129	out.append("\n var p = ").append(className)
jtulach@130	130	.append(".prototype = ").
jtulach@130	131	append(sc.getInternalName().replace('/', '_')).append("_proto();");
jtulach@130	132	} else {
jaroslav@135	133	out.append("\n var p = ").append(className).append(".prototype;");
jaroslav@13	134	}
jaroslav@38	135	for (Method m : jc.getMethods()) {
jaroslav@102	136	if (!m.getName().contains("<init>") && !m.getName().contains("<cinit>")) {
jtulach@130	137	compiler.generateMethodReference("\n p.", m);
jaroslav@38	138	}
jaroslav@38	139	}
jtulach@130	140	out.append("\n p.$instOf_").append(className).append(" = true;");
jaroslav@40	141	for (ClassName superInterface : jc.getInterfaces()) {
jtulach@130	142	out.append("\n p.$instOf_").append(superInterface.getInternalName().replace('/', '_')).append(" = true;");
jaroslav@40	143	}
jtulach@130	144	out.append("\n return new ").append(className).append(";");
jaroslav@98	145	out.append("\n}");
jaroslav@98	146	out.append("\n").append(className).append("_proto();");
jaroslav@97	147	StringBuilder sb = new StringBuilder();
jaroslav@21	148	for (String init : toInitilize) {
jaroslav@97	149	sb.append("\n").append(init).append("();");
jaroslav@21	150	}
jaroslav@97	151	return sb.toString();
jaroslav@0	152	}
jaroslav@21	153	private void generateStaticMethod(Method m, List<String> toInitilize) throws IOException {
jaroslav@94	154	if (javaScriptBody(m, true)) {
jaroslav@94	155	return;
jaroslav@94	156	}
jaroslav@21	157	final String mn = findMethodName(m);
jaroslav@1	158	out.append("\nfunction ").append(
jaroslav@18	159	jc.getName().getInternalName().replace('/', '_')
jaroslav@21	160	).append('_').append(mn);
jaroslav@21	161	if (mn.equals("classV")) {
jaroslav@21	162	toInitilize.add(jc.getName().getInternalName().replace('/', '_') + '_' + mn);
jaroslav@21	163	}
jaroslav@0	164	out.append('(');
jaroslav@0	165	String space = "";
jaroslav@10	166	List<Parameter> args = m.getParameters();
jaroslav@2	167	for (int index = 0, i = 0; i < args.size(); i++) {
jaroslav@0	168	out.append(space);
jaroslav@2	169	out.append("arg").append(String.valueOf(index));
jaroslav@0	170	space = ",";
jaroslav@32	171	final String desc = findDescriptor(args.get(i).getDescriptor());
jaroslav@3	172	if ("D".equals(desc) \|\| "J".equals(desc)) {
jaroslav@2	173	index += 2;
jaroslav@2	174	} else {
jaroslav@2	175	index++;
jaroslav@2	176	}
jaroslav@0	177	}
jaroslav@5	178	out.append(") {").append("\n");
jaroslav@0	179	final Code code = m.getCode();
jaroslav@18	180	if (code != null) {
jaroslav@18	181	int len = code.getMaxLocals();
jaroslav@18	182	for (int index = args.size(), i = args.size(); i < len; i++) {
jaroslav@18	183	out.append(" var ");
jaroslav@18	184	out.append("arg").append(String.valueOf(i)).append(";\n");
jaroslav@18	185	}
jaroslav@21	186	out.append(" var stack = new Array();\n");
jaroslav@18	187	produceCode(code.getByteCodes());
jaroslav@18	188	} else {
jaroslav@18	189	out.append(" /* no code found for ").append(m.getTypeSignature()).append(" */\n");
jaroslav@0	190	}
jaroslav@10	191	out.append("}");
jaroslav@10	192	}
jaroslav@10	193
jaroslav@38	194	private void generateMethodReference(String prefix, Method m) throws IOException {
jaroslav@12	195	final String name = findMethodName(m);
jaroslav@38	196	out.append(prefix).append(name).append(" = ")
jaroslav@18	197	.append(jc.getName().getInternalName().replace('/', '_'))
jaroslav@12	198	.append('_').append(name).append(";");
jaroslav@12	199	}
jaroslav@12	200
jaroslav@10	201	private void generateInstanceMethod(Method m) throws IOException {
jaroslav@94	202	if (javaScriptBody(m, false)) {
jaroslav@94	203	return;
jaroslav@94	204	}
jaroslav@10	205	out.append("\nfunction ").append(
jaroslav@18	206	jc.getName().getInternalName().replace('/', '_')
jaroslav@10	207	).append('_').append(findMethodName(m));
jaroslav@10	208	out.append("(arg0");
jaroslav@10	209	String space = ",";
jaroslav@10	210	List<Parameter> args = m.getParameters();
jaroslav@10	211	for (int index = 1, i = 0; i < args.size(); i++) {
jaroslav@10	212	out.append(space);
jaroslav@10	213	out.append("arg").append(String.valueOf(index));
jaroslav@32	214	final String desc = findDescriptor(args.get(i).getDescriptor());
jaroslav@10	215	if ("D".equals(desc) \|\| "J".equals(desc)) {
jaroslav@10	216	index += 2;
jaroslav@10	217	} else {
jaroslav@10	218	index++;
jaroslav@10	219	}
jaroslav@10	220	}
jaroslav@10	221	out.append(") {").append("\n");
jaroslav@10	222	final Code code = m.getCode();
jaroslav@18	223	if (code != null) {
jaroslav@18	224	int len = code.getMaxLocals();
jaroslav@18	225	for (int index = args.size(), i = args.size(); i < len; i++) {
jaroslav@18	226	out.append(" var ");
jaroslav@18	227	out.append("arg").append(String.valueOf(i + 1)).append(";\n");
jaroslav@18	228	}
jaroslav@96	229	out.append(";\n var stack = new Array();\n");
jaroslav@18	230	produceCode(code.getByteCodes());
jaroslav@18	231	} else {
jaroslav@18	232	out.append(" /* no code found for ").append(m.getTypeSignature()).append(" */\n");
jaroslav@10	233	}
jaroslav@0	234	out.append("}");
jaroslav@0	235	}
jaroslav@0	236
jaroslav@0	237	private void produceCode(byte[] byteCodes) throws IOException {
jaroslav@10	238	out.append("\n var gt = 0;\n for(;;) switch(gt) {\n");
jaroslav@0	239	for (int i = 0; i < byteCodes.length; i++) {
jaroslav@0	240	int prev = i;
jaroslav@10	241	out.append(" case " + i).append(": ");
jtulach@128	242	final int c = readByte(byteCodes, i);
jaroslav@0	243	switch (c) {
jaroslav@2	244	case bc_aload_0:
jaroslav@2	245	case bc_iload_0:
jaroslav@2	246	case bc_lload_0:
jaroslav@2	247	case bc_fload_0:
jaroslav@2	248	case bc_dload_0:
jaroslav@0	249	out.append("stack.push(arg0);");
jaroslav@0	250	break;
jaroslav@2	251	case bc_aload_1:
jaroslav@2	252	case bc_iload_1:
jaroslav@2	253	case bc_lload_1:
jaroslav@2	254	case bc_fload_1:
jaroslav@2	255	case bc_dload_1:
jaroslav@0	256	out.append("stack.push(arg1);");
jaroslav@0	257	break;
jaroslav@2	258	case bc_aload_2:
jaroslav@2	259	case bc_iload_2:
jaroslav@2	260	case bc_lload_2:
jaroslav@2	261	case bc_fload_2:
jaroslav@2	262	case bc_dload_2:
jaroslav@2	263	out.append("stack.push(arg2);");
jaroslav@2	264	break;
jaroslav@3	265	case bc_aload_3:
jaroslav@3	266	case bc_iload_3:
jaroslav@3	267	case bc_lload_3:
jaroslav@3	268	case bc_fload_3:
jaroslav@3	269	case bc_dload_3:
jaroslav@3	270	out.append("stack.push(arg3);");
jaroslav@3	271	break;
jaroslav@3	272	case bc_iload:
jaroslav@3	273	case bc_lload:
jaroslav@3	274	case bc_fload:
jaroslav@3	275	case bc_dload:
jaroslav@3	276	case bc_aload: {
jtulach@128	277	final int indx = readByte(byteCodes, ++i);
jaroslav@3	278	out.append("stack.push(arg").append(indx + ");");
jaroslav@3	279	break;
jaroslav@3	280	}
jaroslav@31	281	case bc_istore:
jaroslav@31	282	case bc_lstore:
jaroslav@31	283	case bc_fstore:
jaroslav@31	284	case bc_dstore:
jaroslav@31	285	case bc_astore: {
jtulach@128	286	final int indx = readByte(byteCodes, ++i);
jaroslav@31	287	out.append("arg" + indx).append(" = stack.pop()");
jaroslav@31	288	break;
jaroslav@31	289	}
jaroslav@8	290	case bc_astore_0:
jaroslav@5	291	case bc_istore_0:
jaroslav@5	292	case bc_lstore_0:
jaroslav@5	293	case bc_fstore_0:
jaroslav@5	294	case bc_dstore_0:
jaroslav@5	295	out.append("arg0 = stack.pop();");
jaroslav@5	296	break;
jaroslav@8	297	case bc_astore_1:
jaroslav@5	298	case bc_istore_1:
jaroslav@5	299	case bc_lstore_1:
jaroslav@5	300	case bc_fstore_1:
jaroslav@5	301	case bc_dstore_1:
jaroslav@5	302	out.append("arg1 = stack.pop();");
jaroslav@5	303	break;
jaroslav@8	304	case bc_astore_2:
jaroslav@5	305	case bc_istore_2:
jaroslav@5	306	case bc_lstore_2:
jaroslav@5	307	case bc_fstore_2:
jaroslav@5	308	case bc_dstore_2:
jaroslav@5	309	out.append("arg2 = stack.pop();");
jaroslav@5	310	break;
jaroslav@8	311	case bc_astore_3:
jaroslav@5	312	case bc_istore_3:
jaroslav@5	313	case bc_lstore_3:
jaroslav@5	314	case bc_fstore_3:
jaroslav@5	315	case bc_dstore_3:
jaroslav@5	316	out.append("arg3 = stack.pop();");
jaroslav@5	317	break;
jaroslav@2	318	case bc_iadd:
jaroslav@2	319	case bc_ladd:
jaroslav@2	320	case bc_fadd:
jaroslav@2	321	case bc_dadd:
jaroslav@0	322	out.append("stack.push(stack.pop() + stack.pop());");
jaroslav@0	323	break;
jaroslav@2	324	case bc_isub:
jaroslav@2	325	case bc_lsub:
jaroslav@2	326	case bc_fsub:
jaroslav@2	327	case bc_dsub:
jaroslav@3	328	out.append("{ var tmp = stack.pop(); stack.push(stack.pop() - tmp); }");
jaroslav@2	329	break;
jaroslav@2	330	case bc_imul:
jaroslav@2	331	case bc_lmul:
jaroslav@2	332	case bc_fmul:
jaroslav@2	333	case bc_dmul:
jaroslav@1	334	out.append("stack.push(stack.pop() * stack.pop());");
jaroslav@1	335	break;
jaroslav@3	336	case bc_idiv:
jaroslav@3	337	case bc_ldiv:
jaroslav@3	338	out.append("{ var tmp = stack.pop(); stack.push(Math.floor(stack.pop() / tmp)); }");
jaroslav@3	339	break;
jaroslav@3	340	case bc_fdiv:
jaroslav@3	341	case bc_ddiv:
jaroslav@3	342	out.append("{ var tmp = stack.pop(); stack.push(stack.pop() / tmp); }");
jaroslav@3	343	break;
jaroslav@7	344	case bc_iand:
jaroslav@7	345	case bc_land:
jaroslav@7	346	out.append("stack.push(stack.pop() & stack.pop());");
jaroslav@7	347	break;
jaroslav@7	348	case bc_ior:
jaroslav@7	349	case bc_lor:
jaroslav@7	350	out.append("stack.push(stack.pop() \| stack.pop());");
jaroslav@7	351	break;
jaroslav@6	352	case bc_ixor:
jaroslav@6	353	case bc_lxor:
jaroslav@6	354	out.append("stack.push(stack.pop() ^ stack.pop());");
jaroslav@6	355	break;
jaroslav@93	356	case bc_ineg:
jaroslav@93	357	case bc_lneg:
jaroslav@93	358	case bc_fneg:
jaroslav@93	359	case bc_dneg:
jaroslav@93	360	out.append("stack.push(- stack.pop());");
jaroslav@93	361	break;
jaroslav@93	362	case bc_ishl:
jaroslav@93	363	case bc_lshl:
jaroslav@93	364	out.append("{ var v = stack.pop(); stack.push(stack.pop() << v); }");
jaroslav@93	365	break;
jaroslav@93	366	case bc_ishr:
jaroslav@93	367	case bc_lshr:
jaroslav@93	368	out.append("{ var v = stack.pop(); stack.push(stack.pop() >> v); }");
jaroslav@93	369	break;
jaroslav@93	370	case bc_iushr:
jaroslav@93	371	case bc_lushr:
jaroslav@93	372	out.append("{ var v = stack.pop(); stack.push(stack.pop() >>> v); }");
jaroslav@93	373	break;
jaroslav@5	374	case bc_iinc: {
jtulach@128	375	final int varIndx = readByte(byteCodes, ++i);
jaroslav@104	376	final int incrBy = byteCodes[++i];
jaroslav@5	377	if (incrBy == 1) {
jaroslav@5	378	out.append("arg" + varIndx).append("++;");
jaroslav@5	379	} else {
jaroslav@5	380	out.append("arg" + varIndx).append(" += " + incrBy).append(";");
jaroslav@5	381	}
jaroslav@5	382	break;
jaroslav@5	383	}
jaroslav@10	384	case bc_return:
jaroslav@10	385	out.append("return;");
jaroslav@10	386	break;
jaroslav@2	387	case bc_ireturn:
jaroslav@2	388	case bc_lreturn:
jaroslav@2	389	case bc_freturn:
jaroslav@2	390	case bc_dreturn:
jaroslav@10	391	case bc_areturn:
jaroslav@0	392	out.append("return stack.pop();");
jaroslav@1	393	break;
jaroslav@2	394	case bc_i2l:
jaroslav@2	395	case bc_i2f:
jaroslav@2	396	case bc_i2d:
jaroslav@2	397	case bc_l2i:
jaroslav@3	398	// max int check?
jaroslav@2	399	case bc_l2f:
jaroslav@2	400	case bc_l2d:
jaroslav@3	401	case bc_f2d:
jaroslav@3	402	case bc_d2f:
jaroslav@3	403	out.append("/* number conversion */");
jaroslav@3	404	break;
jaroslav@2	405	case bc_f2i:
jaroslav@2	406	case bc_f2l:
jaroslav@2	407	case bc_d2i:
jaroslav@2	408	case bc_d2l:
jaroslav@3	409	out.append("stack.push(Math.floor(stack.pop()));");
jaroslav@3	410	break;
jaroslav@2	411	case bc_i2b:
jaroslav@2	412	case bc_i2c:
jaroslav@2	413	case bc_i2s:
jaroslav@2	414	out.append("/* number conversion */");
jaroslav@2	415	break;
jaroslav@46	416	case bc_aconst_null:
jaroslav@46	417	out.append("stack.push(null);");
jaroslav@46	418	break;
jaroslav@48	419	case bc_iconst_m1:
jaroslav@48	420	out.append("stack.push(-1);");
jaroslav@48	421	break;
jaroslav@4	422	case bc_iconst_0:
jaroslav@4	423	case bc_dconst_0:
jaroslav@4	424	case bc_lconst_0:
jaroslav@4	425	case bc_fconst_0:
jaroslav@4	426	out.append("stack.push(0);");
jaroslav@4	427	break;
jaroslav@4	428	case bc_iconst_1:
jaroslav@4	429	case bc_lconst_1:
jaroslav@4	430	case bc_fconst_1:
jaroslav@4	431	case bc_dconst_1:
jaroslav@4	432	out.append("stack.push(1);");
jaroslav@4	433	break;
jaroslav@4	434	case bc_iconst_2:
jaroslav@4	435	case bc_fconst_2:
jaroslav@4	436	out.append("stack.push(2);");
jaroslav@4	437	break;
jaroslav@4	438	case bc_iconst_3:
jaroslav@4	439	out.append("stack.push(3);");
jaroslav@4	440	break;
jaroslav@4	441	case bc_iconst_4:
jaroslav@4	442	out.append("stack.push(4);");
jaroslav@4	443	break;
jaroslav@4	444	case bc_iconst_5:
jaroslav@4	445	out.append("stack.push(5);");
jaroslav@4	446	break;
jaroslav@20	447	case bc_ldc: {
jtulach@128	448	int indx = readByte(byteCodes, ++i);
jaroslav@20	449	CPEntry entry = jc.getConstantPool().get(indx);
jaroslav@21	450	String v = encodeConstant(entry);
jaroslav@21	451	out.append("stack.push(").append(v).append(");");
jaroslav@20	452	break;
jaroslav@20	453	}
jaroslav@8	454	case bc_ldc_w:
jaroslav@8	455	case bc_ldc2_w: {
jaroslav@8	456	int indx = readIntArg(byteCodes, i);
jaroslav@8	457	CPEntry entry = jc.getConstantPool().get(indx);
jaroslav@8	458	i += 2;
jaroslav@21	459	String v = encodeConstant(entry);
jaroslav@21	460	out.append("stack.push(").append(v).append(");");
jaroslav@8	461	break;
jaroslav@8	462	}
jaroslav@20	463	case bc_lcmp:
jaroslav@20	464	case bc_fcmpl:
jaroslav@20	465	case bc_fcmpg:
jaroslav@20	466	case bc_dcmpl:
jaroslav@20	467	case bc_dcmpg: {
jaroslav@20	468	out.append("{ var delta = stack.pop() - stack.pop(); stack.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); }");
jaroslav@20	469	break;
jaroslav@20	470	}
jaroslav@104	471	case bc_if_acmpeq:
jaroslav@104	472	i = generateIf(byteCodes, i, "===");
jaroslav@104	473	break;
jaroslav@104	474	case bc_if_acmpne:
jaroslav@104	475	i = generateIf(byteCodes, i, "!=");
jaroslav@104	476	break;
jaroslav@4	477	case bc_if_icmpeq: {
jaroslav@4	478	i = generateIf(byteCodes, i, "==");
jaroslav@4	479	break;
jaroslav@4	480	}
jaroslav@7	481	case bc_ifeq: {
jaroslav@7	482	int indx = i + readIntArg(byteCodes, i);
jaroslav@7	483	out.append("if (stack.pop() == 0) { gt = " + indx);
jaroslav@7	484	out.append("; continue; }");
jaroslav@7	485	i += 2;
jaroslav@7	486	break;
jaroslav@7	487	}
jaroslav@20	488	case bc_ifne: {
jaroslav@20	489	int indx = i + readIntArg(byteCodes, i);
jaroslav@20	490	out.append("if (stack.pop() != 0) { gt = " + indx);
jaroslav@20	491	out.append("; continue; }");
jaroslav@20	492	i += 2;
jaroslav@20	493	break;
jaroslav@20	494	}
jaroslav@20	495	case bc_iflt: {
jaroslav@20	496	int indx = i + readIntArg(byteCodes, i);
jaroslav@20	497	out.append("if (stack.pop() < 0) { gt = " + indx);
jaroslav@20	498	out.append("; continue; }");
jaroslav@20	499	i += 2;
jaroslav@20	500	break;
jaroslav@20	501	}
jaroslav@20	502	case bc_ifle: {
jaroslav@20	503	int indx = i + readIntArg(byteCodes, i);
jaroslav@20	504	out.append("if (stack.pop() <= 0) { gt = " + indx);
jaroslav@20	505	out.append("; continue; }");
jaroslav@20	506	i += 2;
jaroslav@20	507	break;
jaroslav@20	508	}
jaroslav@20	509	case bc_ifgt: {
jaroslav@20	510	int indx = i + readIntArg(byteCodes, i);
jaroslav@20	511	out.append("if (stack.pop() > 0) { gt = " + indx);
jaroslav@20	512	out.append("; continue; }");
jaroslav@20	513	i += 2;
jaroslav@20	514	break;
jaroslav@20	515	}
jaroslav@20	516	case bc_ifge: {
jaroslav@20	517	int indx = i + readIntArg(byteCodes, i);
jaroslav@20	518	out.append("if (stack.pop() >= 0) { gt = " + indx);
jaroslav@20	519	out.append("; continue; }");
jaroslav@20	520	i += 2;
jaroslav@20	521	break;
jaroslav@20	522	}
jaroslav@16	523	case bc_ifnonnull: {
jaroslav@16	524	int indx = i + readIntArg(byteCodes, i);
jaroslav@16	525	out.append("if (stack.pop()) { gt = " + indx);
jaroslav@16	526	out.append("; continue; }");
jaroslav@16	527	i += 2;
jaroslav@16	528	break;
jaroslav@16	529	}
jaroslav@16	530	case bc_ifnull: {
jaroslav@16	531	int indx = i + readIntArg(byteCodes, i);
jaroslav@16	532	out.append("if (!stack.pop()) { gt = " + indx);
jaroslav@16	533	out.append("; continue; }");
jaroslav@16	534	i += 2;
jaroslav@16	535	break;
jaroslav@16	536	}
jaroslav@4	537	case bc_if_icmpne:
jaroslav@4	538	i = generateIf(byteCodes, i, "!=");
jaroslav@4	539	break;
jaroslav@4	540	case bc_if_icmplt:
jaroslav@4	541	i = generateIf(byteCodes, i, ">");
jaroslav@4	542	break;
jaroslav@4	543	case bc_if_icmple:
jaroslav@4	544	i = generateIf(byteCodes, i, ">=");
jaroslav@4	545	break;
jaroslav@4	546	case bc_if_icmpgt:
jaroslav@4	547	i = generateIf(byteCodes, i, "<");
jaroslav@4	548	break;
jaroslav@4	549	case bc_if_icmpge:
jaroslav@4	550	i = generateIf(byteCodes, i, "<=");
jaroslav@4	551	break;
jaroslav@5	552	case bc_goto: {
jaroslav@5	553	int indx = i + readIntArg(byteCodes, i);
jaroslav@5	554	out.append("gt = " + indx).append("; continue;");
jaroslav@5	555	i += 2;
jaroslav@5	556	break;
jaroslav@5	557	}
jaroslav@115	558	case bc_lookupswitch: {
jtulach@128	559	int table = i / 4 * 4 + 4;
jaroslav@115	560	int dflt = i + readInt4(byteCodes, table);
jaroslav@115	561	table += 4;
jaroslav@115	562	int n = readInt4(byteCodes, table);
jaroslav@115	563	table += 4;
jaroslav@115	564	out.append("switch (stack.pop()) {\n");
jaroslav@115	565	while (n-- > 0) {
jaroslav@115	566	int cnstnt = readInt4(byteCodes, table);
jaroslav@115	567	table += 4;
jaroslav@115	568	int offset = i + readInt4(byteCodes, table);
jaroslav@115	569	table += 4;
jaroslav@115	570	out.append(" case " + cnstnt).append(": gt = " + offset).append("; continue;\n");
jaroslav@115	571	}
jaroslav@115	572	out.append(" default: gt = " + dflt).append("; continue;\n}");
jaroslav@115	573	i = table - 1;
jaroslav@115	574	break;
jaroslav@115	575	}
jaroslav@115	576	case bc_tableswitch: {
jtulach@128	577	int table = i / 4 * 4 + 4;
jaroslav@115	578	int dflt = i + readInt4(byteCodes, table);
jaroslav@115	579	table += 4;
jaroslav@115	580	int low = readInt4(byteCodes, table);
jaroslav@115	581	table += 4;
jaroslav@115	582	int high = readInt4(byteCodes, table);
jaroslav@115	583	table += 4;
jaroslav@115	584	out.append("switch (stack.pop()) {\n");
jaroslav@115	585	while (low <= high) {
jaroslav@115	586	int offset = i + readInt4(byteCodes, table);
jaroslav@115	587	table += 4;
jaroslav@115	588	out.append(" case " + low).append(": gt = " + offset).append("; continue;\n");
jaroslav@115	589	low++;
jaroslav@115	590	}
jaroslav@115	591	out.append(" default: gt = " + dflt).append("; continue;\n}");
jaroslav@115	592	i = table - 1;
jaroslav@115	593	break;
jaroslav@115	594	}
jaroslav@46	595	case bc_invokeinterface: {
jaroslav@46	596	i = invokeVirtualMethod(byteCodes, i) + 2;
jaroslav@46	597	break;
jaroslav@46	598	}
jaroslav@12	599	case bc_invokevirtual:
jaroslav@12	600	i = invokeVirtualMethod(byteCodes, i);
jaroslav@12	601	break;
jaroslav@10	602	case bc_invokespecial:
jaroslav@10	603	i = invokeStaticMethod(byteCodes, i, false);
jaroslav@4	604	break;
jaroslav@10	605	case bc_invokestatic:
jaroslav@10	606	i = invokeStaticMethod(byteCodes, i, true);
jaroslav@10	607	break;
jaroslav@8	608	case bc_new: {
jaroslav@8	609	int indx = readIntArg(byteCodes, i);
jaroslav@8	610	CPClassInfo ci = jc.getConstantPool().getClass(indx);
jaroslav@8	611	out.append("stack.push(");
jaroslav@18	612	out.append("new ").append(ci.getClassName().getInternalName().replace('/','_'));
jaroslav@10	613	out.append(");");
jaroslav@18	614	addReference(ci.getClassName().getInternalName());
jaroslav@8	615	i += 2;
jaroslav@8	616	break;
jaroslav@8	617	}
jaroslav@21	618	case bc_newarray: {
jaroslav@21	619	int type = byteCodes[i++];
jaroslav@21	620	out.append("stack.push(new Array(stack.pop()));");
jaroslav@21	621	break;
jaroslav@21	622	}
jaroslav@21	623	case bc_anewarray: {
jaroslav@21	624	i += 2; // skip type of array
jaroslav@21	625	out.append("stack.push(new Array(stack.pop()));");
jaroslav@21	626	break;
jaroslav@21	627	}
jtulach@128	628	case bc_multianewarray: {
jtulach@128	629	i += 2;
jtulach@128	630	int dim = readByte(byteCodes, ++i);
jtulach@128	631	out.append("{ var a0 = new Array(stack.pop());");
jtulach@128	632	for (int d = 1; d < dim; d++) {
jtulach@128	633	out.append("\n var l" + d).append(" = stack.pop();");
jtulach@128	634	out.append("\n for (var i" + d).append (" = 0; i" + d).
jtulach@128	635	append(" < a" + (d - 1)).
jtulach@128	636	append(".length; i" + d).append("++) {");
jtulach@128	637	out.append("\n var a" + d).
jtulach@128	638	append (" = new Array(l" + d).append(");");
jtulach@128	639	out.append("\n a" + (d - 1)).append("[i" + d).append("] = a" + d).
jtulach@128	640	append(";");
jtulach@128	641	}
jtulach@128	642	for (int d = 1; d < dim; d++) {
jtulach@128	643	out.append("\n }");
jtulach@128	644	}
jtulach@128	645	out.append("\nstack.push(a0); }");
jtulach@128	646	break;
jtulach@128	647	}
jaroslav@21	648	case bc_arraylength:
jaroslav@21	649	out.append("stack.push(stack.pop().length);");
jaroslav@21	650	break;
jaroslav@21	651	case bc_iastore:
jaroslav@21	652	case bc_lastore:
jaroslav@21	653	case bc_fastore:
jaroslav@21	654	case bc_dastore:
jaroslav@21	655	case bc_aastore:
jaroslav@21	656	case bc_bastore:
jaroslav@21	657	case bc_castore:
jaroslav@21	658	case bc_sastore: {
jaroslav@21	659	out.append("{ var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; }");
jaroslav@21	660	break;
jaroslav@21	661	}
jaroslav@21	662	case bc_iaload:
jaroslav@21	663	case bc_laload:
jaroslav@21	664	case bc_faload:
jaroslav@21	665	case bc_daload:
jaroslav@21	666	case bc_aaload:
jaroslav@21	667	case bc_baload:
jaroslav@21	668	case bc_caload:
jaroslav@21	669	case bc_saload: {
jaroslav@21	670	out.append("{ var indx = stack.pop(); stack.push(stack.pop()[indx]); }");
jaroslav@21	671	break;
jaroslav@21	672	}
jaroslav@93	673	case bc_pop2:
jaroslav@93	674	out.append("stack.pop();");
jaroslav@93	675	case bc_pop:
jaroslav@93	676	out.append("stack.pop();");
jaroslav@93	677	break;
jaroslav@8	678	case bc_dup:
jaroslav@8	679	out.append("stack.push(stack[stack.length - 1]);");
jaroslav@8	680	break;
jaroslav@8	681	case bc_bipush:
jaroslav@8	682	out.append("stack.push(" + byteCodes[++i] + ");");
jaroslav@8	683	break;
jaroslav@31	684	case bc_sipush:
jaroslav@31	685	out.append("stack.push(" + readIntArg(byteCodes, i) + ");");
jaroslav@31	686	i += 2;
jaroslav@31	687	break;
jaroslav@8	688	case bc_getfield: {
jaroslav@8	689	int indx = readIntArg(byteCodes, i);
jaroslav@8	690	CPFieldInfo fi = (CPFieldInfo) jc.getConstantPool().get(indx);
jaroslav@137	691	out.append("stack.push(stack.pop().fld_").
jaroslav@137	692	append(fi.getFieldName()).append(");");
jaroslav@8	693	i += 2;
jaroslav@8	694	break;
jaroslav@8	695	}
jaroslav@9	696	case bc_getstatic: {
jaroslav@9	697	int indx = readIntArg(byteCodes, i);
jaroslav@9	698	CPFieldInfo fi = (CPFieldInfo) jc.getConstantPool().get(indx);
jaroslav@18	699	final String in = fi.getClassName().getInternalName();
jaroslav@18	700	out.append("stack.push(").append(in.replace('/', '_'));
jaroslav@9	701	out.append('_').append(fi.getFieldName()).append(");");
jaroslav@9	702	i += 2;
jaroslav@18	703	addReference(in);
jaroslav@9	704	break;
jaroslav@9	705	}
jaroslav@9	706	case bc_putstatic: {
jaroslav@9	707	int indx = readIntArg(byteCodes, i);
jaroslav@9	708	CPFieldInfo fi = (CPFieldInfo) jc.getConstantPool().get(indx);
jaroslav@18	709	final String in = fi.getClassName().getInternalName();
jaroslav@18	710	out.append(in.replace('/', '_'));
jaroslav@9	711	out.append('_').append(fi.getFieldName()).append(" = stack.pop();");
jaroslav@9	712	i += 2;
jaroslav@18	713	addReference(in);
jaroslav@9	714	break;
jaroslav@9	715	}
jaroslav@10	716	case bc_putfield: {
jaroslav@10	717	int indx = readIntArg(byteCodes, i);
jaroslav@10	718	CPFieldInfo fi = (CPFieldInfo) jc.getConstantPool().get(indx);
jaroslav@137	719	out.append("{ var v = stack.pop(); stack.pop().fld_")
jaroslav@10	720	.append(fi.getFieldName()).append(" = v; }");
jaroslav@10	721	i += 2;
jaroslav@10	722	break;
jaroslav@10	723	}
jaroslav@30	724	case bc_checkcast: {
jaroslav@30	725	int indx = readIntArg(byteCodes, i);
jaroslav@30	726	CPClassInfo ci = jc.getConstantPool().getClass(indx);
jaroslav@42	727	final String type = ci.getClassName().getType();
jaroslav@42	728	if (!type.startsWith("[")) {
jaroslav@42	729	// no way to check arrays right now
jaroslav@42	730	out.append("if(stack[stack.length - 1].$instOf_")
jaroslav@42	731	.append(type.replace('/', '_'))
jaroslav@42	732	.append(" != 1) throw {};"); // XXX proper exception
jaroslav@42	733	}
jaroslav@30	734	i += 2;
jaroslav@30	735	break;
jaroslav@30	736	}
jaroslav@17	737	case bc_instanceof: {
jaroslav@17	738	int indx = readIntArg(byteCodes, i);
jaroslav@17	739	CPClassInfo ci = jc.getConstantPool().getClass(indx);
jaroslav@17	740	out.append("stack.push(stack.pop().$instOf_")
jaroslav@18	741	.append(ci.getClassName().getInternalName().replace('/', '_'))
jaroslav@17	742	.append(" ? 1 : 0);");
jaroslav@17	743	i += 2;
jaroslav@30	744	break;
jaroslav@17	745	}
jaroslav@104	746	case bc_athrow: {
jaroslav@104	747	out.append("{ var t = stack.pop(); stack = new Array(1); stack[0] = t; throw t; }");
jaroslav@104	748	break;
jaroslav@104	749	}
jaroslav@104	750	default: {
jaroslav@104	751	out.append("throw 'unknown bytecode " + c + "';");
jaroslav@104	752	}
jaroslav@8	753
jaroslav@0	754	}
jaroslav@39	755	out.append(" //");
jaroslav@0	756	for (int j = prev; j <= i; j++) {
jaroslav@0	757	out.append(" ");
jtulach@128	758	final int cc = readByte(byteCodes, j);
jaroslav@0	759	out.append(Integer.toString(cc));
jaroslav@0	760	}
jaroslav@39	761	out.append("\n");
jaroslav@0	762	}
jaroslav@10	763	out.append(" }\n");
jaroslav@4	764	}
jaroslav@4	765
jaroslav@4	766	private int generateIf(byte[] byteCodes, int i, final String test) throws IOException {
jaroslav@4	767	int indx = i + readIntArg(byteCodes, i);
jaroslav@4	768	out.append("if (stack.pop() ").append(test).append(" stack.pop()) { gt = " + indx);
jaroslav@4	769	out.append("; continue; }");
jaroslav@4	770	return i + 2;
jaroslav@4	771	}
jaroslav@4	772
jaroslav@4	773	private int readIntArg(byte[] byteCodes, int offsetInstruction) {
jaroslav@5	774	final int indxHi = byteCodes[offsetInstruction + 1] << 8;
jaroslav@5	775	final int indxLo = byteCodes[offsetInstruction + 2];
jaroslav@5	776	return (indxHi & 0xffffff00) \| (indxLo & 0xff);
jaroslav@4	777	}
jaroslav@115	778	private int readInt4(byte[] byteCodes, int offsetInstruction) {
jaroslav@115	779	final int d = byteCodes[offsetInstruction + 0] << 24;
jaroslav@115	780	final int c = byteCodes[offsetInstruction + 1] << 16;
jaroslav@115	781	final int b = byteCodes[offsetInstruction + 2] << 8;
jaroslav@115	782	final int a = byteCodes[offsetInstruction + 3];
jaroslav@115	783	return (d & 0xff000000) \| (c & 0xff0000) \| (b & 0xff00) \| (a & 0xff);
jaroslav@115	784	}
jtulach@128	785	private int readByte(byte[] byteCodes, int offsetInstruction) {
jtulach@128	786	return (byteCodes[offsetInstruction] + 256) % 256;
jtulach@128	787	}
jaroslav@4	788
jaroslav@4	789	private static int countArgs(String descriptor, boolean[] hasReturnType, StringBuilder sig) {
jaroslav@4	790	int cnt = 0;
jaroslav@4	791	int i = 0;
jaroslav@4	792	Boolean count = null;
jaroslav@32	793	boolean array = false;
jaroslav@10	794	int firstPos = sig.length();
jaroslav@4	795	while (i < descriptor.length()) {
jaroslav@4	796	char ch = descriptor.charAt(i++);
jaroslav@4	797	switch (ch) {
jaroslav@4	798	case '(':
jaroslav@4	799	count = true;
jaroslav@4	800	continue;
jaroslav@4	801	case ')':
jaroslav@4	802	count = false;
jaroslav@4	803	continue;
jaroslav@32	804	case 'A':
jaroslav@32	805	array = true;
jaroslav@32	806	break;
jaroslav@4	807	case 'B':
jaroslav@4	808	case 'C':
jaroslav@4	809	case 'D':
jaroslav@4	810	case 'F':
jaroslav@4	811	case 'I':
jaroslav@4	812	case 'J':
jaroslav@4	813	case 'S':
jaroslav@4	814	case 'Z':
jaroslav@4	815	if (count) {
jaroslav@4	816	cnt++;
jaroslav@32	817	if (array) {
jaroslav@32	818	sig.append('A');
jaroslav@32	819	}
jaroslav@4	820	sig.append(ch);
jaroslav@4	821	} else {
jaroslav@4	822	hasReturnType[0] = true;
jaroslav@10	823	sig.insert(firstPos, ch);
jaroslav@32	824	if (array) {
jaroslav@32	825	sig.insert(firstPos, 'A');
jaroslav@32	826	}
jaroslav@4	827	}
jaroslav@93	828	array = false;
jaroslav@4	829	continue;
jaroslav@4	830	case 'V':
jaroslav@4	831	assert !count;
jaroslav@4	832	hasReturnType[0] = false;
jaroslav@10	833	sig.insert(firstPos, 'V');
jaroslav@4	834	continue;
jaroslav@4	835	case 'L':
jaroslav@16	836	int next = descriptor.indexOf(';', i);
jaroslav@4	837	if (count) {
jaroslav@4	838	cnt++;
jaroslav@32	839	if (array) {
jaroslav@32	840	sig.append('A');
jaroslav@32	841	}
jaroslav@16	842	sig.append(ch);
jaroslav@16	843	sig.append(descriptor.substring(i, next).replace('/', '_'));
jaroslav@4	844	} else {
jaroslav@16	845	sig.insert(firstPos, descriptor.substring(i, next).replace('/', '_'));
jaroslav@16	846	sig.insert(firstPos, ch);
jaroslav@32	847	if (array) {
jaroslav@33	848	sig.insert(firstPos, 'A');
jaroslav@32	849	}
jaroslav@4	850	hasReturnType[0] = true;
jaroslav@4	851	}
jaroslav@16	852	i = next + 1;
jaroslav@4	853	continue;
jaroslav@4	854	case '[':
jaroslav@4	855	//arrays++;
jaroslav@4	856	continue;
jaroslav@4	857	default:
jaroslav@4	858	break; // invalid character
jaroslav@4	859	}
jaroslav@4	860	}
jaroslav@4	861	return cnt;
jaroslav@0	862	}
jaroslav@9	863
jaroslav@9	864	private void generateStaticField(Variable v) throws IOException {
jaroslav@9	865	out.append("\nvar ")
jaroslav@18	866	.append(jc.getName().getInternalName().replace('/', '_'))
jaroslav@9	867	.append('_').append(v.getName()).append(" = 0;");
jaroslav@9	868	}
jaroslav@10	869
jaroslav@10	870	private String findMethodName(Method m) {
jaroslav@42	871	StringBuilder name = new StringBuilder();
jaroslav@42	872	String descr = m.getDescriptor();
jaroslav@10	873	if ("<init>".equals(m.getName())) { // NOI18N
jaroslav@42	874	name.append("cons"); // NOI18N
jaroslav@19	875	} else if ("<clinit>".equals(m.getName())) { // NOI18N
jaroslav@42	876	name.append("class"); // NOI18N
jaroslav@10	877	} else {
jaroslav@42	878	name.append(m.getName());
jaroslav@10	879	}
jaroslav@42	880
jaroslav@42	881	boolean hasReturn[] = { false };
jaroslav@42	882	countArgs(findDescriptor(m.getDescriptor()), hasReturn, name);
jaroslav@42	883	return name.toString();
jaroslav@10	884	}
jaroslav@10	885
jaroslav@10	886	private String findMethodName(CPMethodInfo mi, int[] cnt, boolean[] hasReturn) {
jaroslav@10	887	StringBuilder name = new StringBuilder();
jaroslav@42	888	String descr = mi.getDescriptor();
jaroslav@10	889	if ("<init>".equals(mi.getName())) { // NOI18N
jaroslav@10	890	name.append("cons"); // NOI18N
jaroslav@10	891	} else {
jaroslav@10	892	name.append(mi.getName());
jaroslav@10	893	}
jaroslav@32	894	cnt[0] = countArgs(findDescriptor(mi.getDescriptor()), hasReturn, name);
jaroslav@10	895	return name.toString();
jaroslav@10	896	}
jaroslav@10	897
jaroslav@10	898	private int invokeStaticMethod(byte[] byteCodes, int i, boolean isStatic)
jaroslav@10	899	throws IOException {
jaroslav@10	900	int methodIndex = readIntArg(byteCodes, i);
jaroslav@10	901	CPMethodInfo mi = (CPMethodInfo) jc.getConstantPool().get(methodIndex);
jaroslav@10	902	boolean[] hasReturn = { false };
jaroslav@10	903	int[] cnt = { 0 };
jaroslav@10	904	String mn = findMethodName(mi, cnt, hasReturn);
jaroslav@11	905	out.append("{ ");
jaroslav@11	906	for (int j = cnt[0] - 1; j >= 0; j--) {
jaroslav@11	907	out.append("var v" + j).append(" = stack.pop(); ");
jaroslav@11	908	}
jaroslav@11	909
jaroslav@10	910	if (hasReturn[0]) {
jaroslav@10	911	out.append("stack.push(");
jaroslav@10	912	}
jaroslav@18	913	final String in = mi.getClassName().getInternalName();
jaroslav@18	914	out.append(in.replace('/', '_'));
jaroslav@102	915	if (isStatic) {
jaroslav@102	916	out.append(".prototype.");
jaroslav@102	917	} else {
jaroslav@102	918	out.append('_');
jaroslav@102	919	}
jaroslav@10	920	out.append(mn);
jaroslav@10	921	out.append('(');
jaroslav@10	922	String sep = "";
jaroslav@10	923	if (!isStatic) {
jaroslav@10	924	out.append("stack.pop()");
jaroslav@10	925	sep = ", ";
jaroslav@10	926	}
jaroslav@10	927	for (int j = 0; j < cnt[0]; j++) {
jaroslav@10	928	out.append(sep);
jaroslav@11	929	out.append("v" + j);
jaroslav@10	930	sep = ", ";
jaroslav@10	931	}
jaroslav@10	932	out.append(")");
jaroslav@10	933	if (hasReturn[0]) {
jaroslav@10	934	out.append(")");
jaroslav@10	935	}
jaroslav@11	936	out.append("; }");
jaroslav@10	937	i += 2;
jaroslav@18	938	addReference(in);
jaroslav@10	939	return i;
jaroslav@10	940	}
jaroslav@12	941	private int invokeVirtualMethod(byte[] byteCodes, int i)
jaroslav@12	942	throws IOException {
jaroslav@12	943	int methodIndex = readIntArg(byteCodes, i);
jaroslav@12	944	CPMethodInfo mi = (CPMethodInfo) jc.getConstantPool().get(methodIndex);
jaroslav@12	945	boolean[] hasReturn = { false };
jaroslav@12	946	int[] cnt = { 0 };
jaroslav@12	947	String mn = findMethodName(mi, cnt, hasReturn);
jaroslav@12	948	out.append("{ ");
jaroslav@12	949	for (int j = cnt[0] - 1; j >= 0; j--) {
jaroslav@12	950	out.append("var v" + j).append(" = stack.pop(); ");
jaroslav@12	951	}
jaroslav@12	952	out.append("var self = stack.pop(); ");
jaroslav@12	953	if (hasReturn[0]) {
jaroslav@12	954	out.append("stack.push(");
jaroslav@12	955	}
jaroslav@12	956	out.append("self.");
jaroslav@12	957	out.append(mn);
jaroslav@12	958	out.append('(');
jaroslav@12	959	out.append("self");
jaroslav@12	960	for (int j = 0; j < cnt[0]; j++) {
jaroslav@12	961	out.append(", ");
jaroslav@12	962	out.append("v" + j);
jaroslav@12	963	}
jaroslav@12	964	out.append(")");
jaroslav@12	965	if (hasReturn[0]) {
jaroslav@12	966	out.append(")");
jaroslav@12	967	}
jaroslav@12	968	out.append("; }");
jaroslav@12	969	i += 2;
jaroslav@12	970	return i;
jaroslav@12	971	}
jaroslav@18	972
jaroslav@103	973	private void addReference(String cn) throws IOException {
jaroslav@18	974	if (references != null) {
jtulach@129	975	if (references.add(cn)) {
jtulach@129	976	out.append(" /* needs ").append(cn).append(" */");
jtulach@129	977	}
jaroslav@18	978	}
jaroslav@18	979	}
jaroslav@16	980
jaroslav@33	981	private void outType(String d, StringBuilder out) {
jaroslav@33	982	int arr = 0;
jaroslav@33	983	while (d.charAt(0) == '[') {
jaroslav@33	984	out.append('A');
jaroslav@33	985	d = d.substring(1);
jaroslav@33	986	}
jaroslav@16	987	if (d.charAt(0) == 'L') {
jaroslav@16	988	assert d.charAt(d.length() - 1) == ';';
jaroslav@16	989	out.append(d.replace('/', '_').substring(0, d.length() - 1));
jaroslav@16	990	} else {
jaroslav@16	991	out.append(d);
jaroslav@16	992	}
jaroslav@16	993	}
jaroslav@21	994
jaroslav@21	995	private String encodeConstant(CPEntry entry) {
jaroslav@21	996	final String v;
jaroslav@93	997	if (entry instanceof CPClassInfo) {
jaroslav@93	998	v = "new java_lang_Class";
jaroslav@93	999	} else if (entry instanceof CPStringInfo) {
jaroslav@137	1000	v = "\"" + entry.getValue().toString().
jaroslav@137	1001	replace("\\", "\\\\").
jaroslav@137	1002	replace("\n", "\\n").
jaroslav@137	1003	replace("\r", "\\r").
jaroslav@137	1004	replace("\t", "\\t").
jaroslav@137	1005	replace("\"", "\\\"")
jaroslav@137	1006	+ "\"";
jaroslav@21	1007	} else {
jaroslav@21	1008	v = entry.getValue().toString();
jaroslav@21	1009	}
jaroslav@21	1010	return v;
jaroslav@21	1011	}
jaroslav@32	1012
jaroslav@32	1013	private String findDescriptor(String d) {
jaroslav@32	1014	return d.replace('[', 'A');
jaroslav@32	1015	}
jaroslav@94	1016
jaroslav@94	1017	private boolean javaScriptBody(Method m, boolean isStatic) throws IOException {
jaroslav@94	1018	final ClassName extraAnn = ClassName.getClassName(JavaScriptBody.class.getName().replace('.', '/'));
jaroslav@94	1019	Annotation a = m.getAnnotation(extraAnn);
jaroslav@94	1020	if (a != null) {
jaroslav@94	1021	final ElementValue annVal = a.getComponent("body").getValue();
jaroslav@94	1022	String body = ((PrimitiveElementValue) annVal).getValue().getValue().toString();
jaroslav@94	1023
jaroslav@94	1024	final ArrayElementValue arrVal = (ArrayElementValue) a.getComponent("args").getValue();
jaroslav@94	1025	final int len = arrVal.getValues().length;
jaroslav@94	1026	String[] names = new String[len];
jaroslav@94	1027	for (int i = 0; i < len; i++) {
jaroslav@94	1028	names[i] = ((PrimitiveElementValue) arrVal.getValues()[i]).getValue().getValue().toString();
jaroslav@94	1029	}
jaroslav@94	1030	out.append("\nfunction ").append(
jaroslav@94	1031	jc.getName().getInternalName().replace('/', '_')).append('_').append(findMethodName(m));
jaroslav@94	1032	out.append("(");
jaroslav@94	1033	String space;
jaroslav@94	1034	int index;
jaroslav@94	1035	if (!isStatic) {
jaroslav@94	1036	out.append(names[0]);
jaroslav@94	1037	space = ",";
jaroslav@94	1038	index = 1;
jaroslav@94	1039	} else {
jaroslav@94	1040	space = "";
jaroslav@94	1041	index = 0;
jaroslav@94	1042	}
jaroslav@94	1043	List<Parameter> args = m.getParameters();
jaroslav@94	1044	for (int i = 0; i < args.size(); i++) {
jaroslav@94	1045	out.append(space);
jaroslav@94	1046	out.append(names[index]);
jaroslav@94	1047	final String desc = findDescriptor(args.get(i).getDescriptor());
jaroslav@94	1048	index++;
jaroslav@99	1049	space = ",";
jaroslav@94	1050	}
jaroslav@94	1051	out.append(") {").append("\n");
jaroslav@94	1052	out.append(body);
jaroslav@94	1053	out.append("\n}\n");
jaroslav@94	1054	return true;
jaroslav@94	1055	}
jaroslav@94	1056	return false;
jaroslav@94	1057	}
jaroslav@0	1058	}

author	Jaroslav Tulach <jaroslav.tulach@apidesign.org>
	Thu, 08 Nov 2012 18:34:12 +0100
changeset 137	45184b2f9697
parent 135	a206e280acc8
child 151	40f95fe90cdc
permissions	-rw-r--r--