Annotation binding support

2 files changed, 257 insertions, 0 deletions

diff --git a/weaver/src/org/aspectj/weaver/bcel/KindedAnnotationAccessVar.java b/weaver/src/org/aspectj/weaver/bcel/KindedAnnotationAccessVar.java
new file mode 100644
index 000000000..d8902a32a
--- /dev/null
+++ b/weaver/src/org/aspectj/weaver/bcel/KindedAnnotationAccessVar.java
@@ -0,0 +1,162 @@
+/* *******************************************************************
+ * Copyright (c) 2005 IBM
+ * All rights reserved. 
+ * This program and the accompanying materials are made available 
+ * under the terms of the Common Public License v1.0 
+ * which accompanies this distribution and is available at 
+ * http://www.eclipse.org/legal/cpl-v10.html 
+ *  
+ * Contributors: 
+ *     Andy Clement     initial implementation 
+ * ******************************************************************/
+
+
+package org.aspectj.weaver.bcel;
+
+import org.aspectj.apache.bcel.Constants;
+import org.aspectj.apache.bcel.generic.Instruction;
+import org.aspectj.apache.bcel.generic.InstructionConstants;
+import org.aspectj.apache.bcel.generic.InstructionFactory;
+import org.aspectj.apache.bcel.generic.InstructionList;
+import org.aspectj.apache.bcel.generic.ObjectType;
+import org.aspectj.apache.bcel.generic.Type;
+import org.aspectj.weaver.Member;
+import org.aspectj.weaver.ResolvedTypeX;
+import org.aspectj.weaver.TypeX;
+
+/**
+ */
+//  Might need to create a mini hierarchy depending on how much can be shared 
+// amongst kinded pointcut variants of this class.
+public class KindedAnnotationAccessVar extends BcelVar {
+
+
+	private Member stackField;
+	private int index;
+	BcelVar target;
+	Member sig;
+
+//	public KindedAnnotationAccessVar(ResolvedTypeX type, Member stackField, int index) {
+//		super(type, 0);
+//		this.stackField = stackField;
+//		this.index = index;
+//	}
+	
+	public KindedAnnotationAccessVar(ResolvedTypeX type,BcelVar theTargetIsStoredHere,Member sig) {
+		super(type,0);
+		target = theTargetIsStoredHere;
+		this.sig = sig;
+	}
+
+	public String toString() {
+		return "KindedAnnotationAccessVar(" + getType() + " " + stackField + "." + index + ")";
+	}
+
+    public Instruction createLoad(InstructionFactory fact) {
+		throw new RuntimeException("unimplemented");
+    }
+    public Instruction createStore(InstructionFactory fact) {
+    	throw new RuntimeException("unimplemented");
+    }
+
+    public InstructionList createCopyFrom(InstructionFactory fact, int oldSlot) {
+        throw new RuntimeException("unimplemented");
+    }
+    
+	public void appendLoad(InstructionList il, InstructionFactory fact) {
+		il.append(createLoadInstructions(getType(), fact));
+	}
+
+	public InstructionList createLoadInstructions(ResolvedTypeX toType, InstructionFactory fact) {
+		
+		// We ought to build an exception handler for the NoSuchMethodException that can be thrown
+		// by getDeclaredMethod()... right now we don't but no-one seems to care...
+//		LocalVariableGen var_ex = mg.addLocalVariable("ex",Type.getType("Ljava.io.IOException;"),null,null);
+//		int var_ex_slot = var_ex.getIndex();
+//		
+//		InstructionHandle handler = il.append(new ASTORE(var_ex_slot));
+//		var_ex.setStart(handler);
+//		var_ex.setEnd(il.append(InstructionConstants.RETURN));
+//		
+//		mg.addExceptionHandler(try_start, try_end, handler,
+//				new ObjectType("java.io.IOException"));
+		
+		
+		InstructionList il = new InstructionList();
+		Type jlClass = BcelWorld.makeBcelType(TypeX.JAVA_LANG_CLASS);
+
+		Type jlString = BcelWorld.makeBcelType(TypeX.forSignature("Ljava.lang.String;"));
+		Type jlClassArray = BcelWorld.makeBcelType(TypeX.forSignature("[Ljava.lang.Class;"));
+		
+		Type jlaAnnotation = BcelWorld.makeBcelType(TypeX.forSignature("Ljava.lang.annotation.Annotation;"));
+		Type jlrMethod = BcelWorld.makeBcelType(TypeX.forSignature("Ljava.lang.reflect.Method;"));
+		
+		
+		// Calls getClass
+		// System.err.println("What is the class of target? "+target.getType());
+		il.append(fact.createConstant(BcelWorld.makeBcelType(target.getType())));
+//		il.append(target.createLoad(fact));
+//        il.append(fact.createInvoke("java/lang/Object","getClass",jlClass,new Type[]{},Constants.INVOKEVIRTUAL));
+    
+	// 	il.append(fact.createConstant(new ObjectType(toType.getClassName())));
+        il.append(fact.createConstant(sig.getName()));
+        
+
+		Type[] paramTypes = BcelWorld.makeBcelTypes(sig.getParameterTypes());
+        
+		buildArray(il,fact,jlClass,paramTypes,1);
+        
+        // Calls getDeclaredMethod
+        il.append(fact.createInvoke("java/lang/Class","getDeclaredMethod",jlrMethod,new Type[]{jlString,jlClassArray},Constants.INVOKEVIRTUAL));
+        
+        // !!! OPTIMIZATION: Cache the result of getDeclaredMethod() and use it 
+        // again for other annotations on the same signature at this join point
+        // Calls getAnnotation
+        String ss = toType.getName();
+        il.append(fact.createConstant(new ObjectType(toType.getName())));		
+		il.append(fact.createInvoke("java/lang/reflect/Method","getAnnotation",jlaAnnotation,new Type[]{jlClass},Constants.INVOKEVIRTUAL));
+		il.append(Utility.createConversion(fact,jlaAnnotation,BcelWorld.makeBcelType(toType)));
+		return il;
+		
+	}
+	
+
+	private void buildArray(InstructionList il, InstructionFactory fact, Type arrayElementType, Type[] arrayEntries,int dim) {
+        il.append(fact.createConstant(new Integer(arrayEntries==null?0:arrayEntries.length)));
+        il.append(fact.createNewArray(arrayElementType,(short)dim));
+        if (arrayEntries == null) return;
+        for (int i = 0; i < arrayEntries.length; i++) {
+			il.append(InstructionFactory.createDup(1));
+			il.append(fact.createConstant(new Integer(i)));
+        	switch (arrayEntries[i].getType()) {
+        	  case Constants.T_ARRAY:
+        	    il.append(fact.createConstant(new ObjectType(arrayEntries[i].getSignature())));
+        	    break;
+        	  case Constants.T_BOOLEAN: il.append(fact.createGetStatic("java/lang/Boolean","TYPE",arrayElementType)); break;
+        	  case Constants.T_BYTE:il.append(fact.createGetStatic("java/lang/Byte","TYPE",arrayElementType)); break;
+        	  case Constants.T_CHAR:il.append(fact.createGetStatic("java/lang/Character","TYPE",arrayElementType)); break;
+        	  case Constants.T_INT:il.append(fact.createGetStatic("java/lang/Integer","TYPE",arrayElementType)); break;
+        	  case Constants.T_LONG:il.append(fact.createGetStatic("java/lang/Long","TYPE",arrayElementType)); break;
+        	  case Constants.T_DOUBLE:il.append(fact.createGetStatic("java/lang/Double","TYPE",arrayElementType)); break;
+        	  case Constants.T_FLOAT:il.append(fact.createGetStatic("java/lang/Float","TYPE",arrayElementType)); break;
+        	  case Constants.T_SHORT:il.append(fact.createGetStatic("java/lang/Short","TYPE",arrayElementType)); break;
+        	  default:
+        	    il.append(fact.createConstant(arrayEntries[i]));
+        	}
+			il.append(InstructionConstants.AASTORE);
+		}
+	}
+
+	public void appendLoadAndConvert(
+		InstructionList il,
+		InstructionFactory fact,
+		ResolvedTypeX toType) {
+		il.append(createLoadInstructions(toType, fact));				
+
+	}
+
+	public void insertLoad(InstructionList il, InstructionFactory fact) {
+		il.insert(createLoadInstructions(getType(), fact));
+	}
+
+}
diff --git a/weaver/src/org/aspectj/weaver/bcel/TypeAnnotationAccessVar.java b/weaver/src/org/aspectj/weaver/bcel/TypeAnnotationAccessVar.java
new file mode 100644
index 000000000..fed60896b
--- /dev/null
+++ b/weaver/src/org/aspectj/weaver/bcel/TypeAnnotationAccessVar.java
@@ -0,0 +1,95 @@
+/* *******************************************************************
+ * Copyright (c) 2002 Palo Alto Research Center, Incorporated (PARC).
+ * All rights reserved. 
+ * This program and the accompanying materials are made available 
+ * under the terms of the Common Public License v1.0 
+ * which accompanies this distribution and is available at 
+ * http://www.eclipse.org/legal/cpl-v10.html 
+ *  
+ * Contributors: 
+ *     PARC     initial implementation 
+ * ******************************************************************/
+
+
+package org.aspectj.weaver.bcel;
+
+import org.aspectj.apache.bcel.Constants;
+import org.aspectj.apache.bcel.generic.Instruction;
+import org.aspectj.apache.bcel.generic.InstructionFactory;
+import org.aspectj.apache.bcel.generic.InstructionList;
+import org.aspectj.apache.bcel.generic.ObjectType;
+import org.aspectj.apache.bcel.generic.Type;
+import org.aspectj.weaver.Member;
+import org.aspectj.weaver.ResolvedTypeX;
+import org.aspectj.weaver.TypeX;
+
+/**
+ */
+public class TypeAnnotationAccessVar extends BcelVar {
+
+
+	private Member stackField;
+	private int index;
+	BcelVar target;
+
+	/**
+	 * @param type The type to convert to from Object
+	 * @param stackField the member containing the CFLOW_STACK_TYPE
+	 * @param index yeah yeah
+	 */
+	public TypeAnnotationAccessVar(ResolvedTypeX type, Member stackField, int index) {
+		super(type, 0);
+		this.stackField = stackField;
+		this.index = index;
+	}
+	
+	public TypeAnnotationAccessVar(ResolvedTypeX type,BcelVar theTargetIsStoredHere) {
+		super(type,0);
+		target = theTargetIsStoredHere;
+	}
+
+	public String toString() {
+		return "TypeAnnotationAccessVar(" + getType() + " " + stackField + "." + index + ")";
+	}
+
+    public Instruction createLoad(InstructionFactory fact) {
+		throw new RuntimeException("unimplemented");
+    }
+    public Instruction createStore(InstructionFactory fact) {
+    	throw new RuntimeException("unimplemented");
+    }
+
+    public InstructionList createCopyFrom(InstructionFactory fact, int oldSlot) {
+        throw new RuntimeException("unimplemented");
+    }
+    
+	public void appendLoad(InstructionList il, InstructionFactory fact) {
+		il.append(createLoadInstructions(getType(), fact));
+	}
+
+	public InstructionList createLoadInstructions(ResolvedTypeX toType, InstructionFactory fact) {
+		InstructionList il = new InstructionList();
+		Type jlClass = BcelWorld.makeBcelType(TypeX.JAVA_LANG_CLASS);
+		Type jlaAnnotation = BcelWorld.makeBcelType(TypeX.forSignature("Ljava.lang.annotation.Annotation;"));
+		il.append(target.createLoad(fact));
+        il.append(fact.createInvoke("java/lang/Object","getClass",jlClass,new Type[]{},Constants.INVOKEVIRTUAL));
+		il.append(fact.createConstant(new ObjectType(toType.getClassName())));
+		il.append(fact.createInvoke("java/lang/Class","getAnnotation",jlaAnnotation,new Type[]{jlClass},Constants.INVOKEVIRTUAL));
+		il.append(Utility.createConversion(fact,jlaAnnotation,BcelWorld.makeBcelType(toType)));
+		return il;
+		
+	}
+
+	public void appendLoadAndConvert(
+		InstructionList il,
+		InstructionFactory fact,
+		ResolvedTypeX toType) {
+		il.append(createLoadInstructions(toType, fact));				
+
+	}
+
+	public void insertLoad(InstructionList il, InstructionFactory fact) {
+		il.insert(createLoadInstructions(getType(), fact));
+	}
+
+}