12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036 |
- /* *******************************************************************
- * Copyright (c) 2002-2019 Contributors
- * All rights reserved.
- * This program and the accompanying materials are made available
- * under the terms of the Eclipse Public License v1.0
- * which accompanies this distribution and is available at
- * http://www.eclipse.org/legal/epl-v10.html
- * ******************************************************************/
- package org.aspectj.weaver.bcel;
-
- import java.io.ByteArrayInputStream;
- import java.io.File;
- import java.io.FileFilter;
- import java.io.FileInputStream;
- import java.io.FileNotFoundException;
- import java.io.IOException;
- import java.io.InputStream;
- import java.io.OutputStream;
- import java.util.ArrayList;
- import java.util.Collection;
- import java.util.Collections;
- import java.util.Comparator;
- import java.util.Enumeration;
- import java.util.HashMap;
- import java.util.HashSet;
- import java.util.Iterator;
- import java.util.List;
- import java.util.Map;
- import java.util.Set;
- import java.util.jar.Attributes;
- import java.util.jar.Attributes.Name;
- import java.util.jar.JarEntry;
- import java.util.jar.JarFile;
- import java.util.jar.Manifest;
- import java.util.zip.ZipEntry;
- import java.util.zip.ZipInputStream;
- import java.util.zip.ZipOutputStream;
-
- import org.aspectj.apache.bcel.classfile.ClassParser;
- import org.aspectj.apache.bcel.classfile.JavaClass;
- import org.aspectj.asm.AsmManager;
- import org.aspectj.asm.IProgramElement;
- import org.aspectj.asm.internal.AspectJElementHierarchy;
- import org.aspectj.bridge.IMessage;
- import org.aspectj.bridge.ISourceLocation;
- import org.aspectj.bridge.Message;
- import org.aspectj.bridge.MessageUtil;
- import org.aspectj.bridge.SourceLocation;
- import org.aspectj.bridge.WeaveMessage;
- import org.aspectj.bridge.context.CompilationAndWeavingContext;
- import org.aspectj.bridge.context.ContextToken;
- import org.aspectj.util.FileUtil;
- import org.aspectj.util.FuzzyBoolean;
- import org.aspectj.weaver.Advice;
- import org.aspectj.weaver.AdviceKind;
- import org.aspectj.weaver.AjAttribute.WeaverVersionInfo;
- import org.aspectj.weaver.AnnotationAJ;
- import org.aspectj.weaver.AnnotationOnTypeMunger;
- import org.aspectj.weaver.BCException;
- import org.aspectj.weaver.CompressingDataOutputStream;
- import org.aspectj.weaver.ConcreteTypeMunger;
- import org.aspectj.weaver.CrosscuttingMembersSet;
- import org.aspectj.weaver.CustomMungerFactory;
- import org.aspectj.weaver.IClassFileProvider;
- import org.aspectj.weaver.IUnwovenClassFile;
- import org.aspectj.weaver.IWeaveRequestor;
- import org.aspectj.weaver.NewParentTypeMunger;
- import org.aspectj.weaver.ReferenceType;
- import org.aspectj.weaver.ReferenceTypeDelegate;
- import org.aspectj.weaver.ResolvedType;
- import org.aspectj.weaver.ResolvedTypeMunger;
- import org.aspectj.weaver.Shadow;
- import org.aspectj.weaver.ShadowMunger;
- import org.aspectj.weaver.UnresolvedType;
- import org.aspectj.weaver.WeaverMessages;
- import org.aspectj.weaver.WeaverStateInfo;
- import org.aspectj.weaver.World;
- import org.aspectj.weaver.model.AsmRelationshipProvider;
- import org.aspectj.weaver.patterns.AndPointcut;
- import org.aspectj.weaver.patterns.BindingPattern;
- import org.aspectj.weaver.patterns.BindingTypePattern;
- import org.aspectj.weaver.patterns.ConcreteCflowPointcut;
- import org.aspectj.weaver.patterns.DeclareAnnotation;
- import org.aspectj.weaver.patterns.DeclareParents;
- import org.aspectj.weaver.patterns.DeclareTypeErrorOrWarning;
- import org.aspectj.weaver.patterns.FastMatchInfo;
- import org.aspectj.weaver.patterns.IfPointcut;
- import org.aspectj.weaver.patterns.KindedPointcut;
- import org.aspectj.weaver.patterns.NameBindingPointcut;
- import org.aspectj.weaver.patterns.NotPointcut;
- import org.aspectj.weaver.patterns.OrPointcut;
- import org.aspectj.weaver.patterns.Pointcut;
- import org.aspectj.weaver.patterns.PointcutRewriter;
- import org.aspectj.weaver.patterns.WithinPointcut;
- import org.aspectj.weaver.tools.Trace;
- import org.aspectj.weaver.tools.TraceFactory;
-
- /**
- *
- * @author PARC
- * @author Andy Clement
- * @author Alexandre Vasseur
- * @author Eric Edens
- */
- public class BcelWeaver {
-
- public static final String CLOSURE_CLASS_PREFIX = "$Ajc";
- public static final String SYNTHETIC_CLASS_POSTFIX = "$ajc";
-
- private static Trace trace = TraceFactory.getTraceFactory().getTrace(BcelWeaver.class);
-
- private transient final BcelWorld world;
- private final CrosscuttingMembersSet xcutSet;
-
- private boolean inReweavableMode = false;
-
- private transient List<UnwovenClassFile> addedClasses = new ArrayList<UnwovenClassFile>();
- private transient List<String> deletedTypenames = new ArrayList<String>();
-
- // These four are setup by prepareForWeave
- private transient List<ShadowMunger> shadowMungerList = null;
- private transient List<ConcreteTypeMunger> typeMungerList = null;
- private transient List<ConcreteTypeMunger> lateTypeMungerList = null;
- private transient List<DeclareParents> declareParentsList = null;
-
- private Manifest manifest = null;
- private boolean needToReweaveWorld = false;
-
- private boolean isBatchWeave = true;
-
- private ZipOutputStream zipOutputStream;
- private CustomMungerFactory customMungerFactory;
-
- public BcelWeaver(BcelWorld world) {
- super();
- if (trace.isTraceEnabled()) {
- trace.enter("<init>", this, world);
- }
- this.world = world;
- this.xcutSet = world.getCrosscuttingMembersSet();
- if (trace.isTraceEnabled()) {
- trace.exit("<init>");
- }
- }
-
- /**
- * Add the given aspect to the weaver. The type is resolved to support DOT for static inner classes as well as DOLLAR
- *
- * @param aspectName
- * @return aspect
- */
- public ResolvedType addLibraryAspect(String aspectName) {
- if (trace.isTraceEnabled()) {
- trace.enter("addLibraryAspect", this, aspectName);
- }
-
- // 1 - resolve as is
- UnresolvedType unresolvedT = UnresolvedType.forName(aspectName);
- unresolvedT.setNeedsModifiableDelegate(true);
- ResolvedType type = world.resolve(unresolvedT, true);
- if (type.isMissing()) {
- // fallback on inner class lookup mechanism
- String fixedName = aspectName;
- int hasDot = fixedName.lastIndexOf('.');
- while (hasDot > 0) {
- // System.out.println("BcelWeaver.addLibraryAspect " + fixedName);
- char[] fixedNameChars = fixedName.toCharArray();
- fixedNameChars[hasDot] = '$';
- fixedName = new String(fixedNameChars);
- hasDot = fixedName.lastIndexOf('.');
- UnresolvedType ut = UnresolvedType.forName(fixedName);
- ut.setNeedsModifiableDelegate(true);
- type = world.resolve(ut, true);
- if (!type.isMissing()) {
- break;
- }
- }
- }
-
- // System.out.println("type: " + type + " for " + aspectName);
- if (type.isAspect()) {
- // Bug 119657 ensure we use the unwoven aspect
- WeaverStateInfo wsi = type.getWeaverState();
- if (wsi != null && wsi.isReweavable()) {
- BcelObjectType classType = getClassType(type.getName());
- JavaClass wovenJavaClass = classType.getJavaClass();
- byte[] bytes = wsi.getUnwovenClassFileData(wovenJavaClass.getBytes());
- JavaClass unwovenJavaClass = Utility.makeJavaClass(wovenJavaClass.getFileName(), bytes);
- world.storeClass(unwovenJavaClass);
- classType.setJavaClass(unwovenJavaClass, true);
- // classType.setJavaClass(Utility.makeJavaClass(classType.
- // getJavaClass().getFileName(),
- // wsi.getUnwovenClassFileData(classType.getJavaClass().getBytes(
- // ))));
- }
-
- // TODO AV - happens to reach that a lot of time: for each type
- // flagged reweavable X for each aspect in the weaverstate
- // => mainly for nothing for LTW - pbly for something in incremental
- // build...
- xcutSet.addOrReplaceAspect(type);
- if (trace.isTraceEnabled()) {
- trace.exit("addLibraryAspect", type);
- }
- if (type.getSuperclass().isAspect()) {
- // If the supertype includes ITDs and the user has not included
- // that aspect in the aop.xml, they will
- // not get picked up, which can give unusual behaviour! See bug
- // 223094
- // This change causes us to pick up the super aspect regardless
- // of what was said in the aop.xml - giving
- // predictable behaviour. If the user also supplied it, there
- // will be no problem other than the second
- // addition overriding the first
- addLibraryAspect(type.getSuperclass().getName());
- }
- return type;
- } else {
- // FIXME AV - better warning upon no such aspect from aop.xml
- RuntimeException ex = new RuntimeException("Cannot register non aspect: " + type.getName() + " , " + aspectName);
- if (trace.isTraceEnabled()) {
- trace.exit("addLibraryAspect", ex);
- }
- throw ex;
- }
- }
-
- /**
- *
- * @param inFile directory containing classes or zip/jar class archive
- */
- public void addLibraryJarFile(File inFile) throws IOException {
- List<ResolvedType> addedAspects = null;
- if (inFile.isDirectory()) {
- addedAspects = addAspectsFromDirectory(inFile);
- } else {
- addedAspects = addAspectsFromJarFile(inFile);
- }
- for (ResolvedType addedAspect : addedAspects) {
- xcutSet.addOrReplaceAspect(addedAspect);
- }
- }
-
- private List<ResolvedType> addAspectsFromJarFile(File inFile) throws FileNotFoundException, IOException {
- ZipInputStream inStream = new ZipInputStream(new FileInputStream(inFile)); // ??? buffered
- List<ResolvedType> addedAspects = new ArrayList<ResolvedType>();
- try {
- while (true) {
- ZipEntry entry = inStream.getNextEntry();
- if (entry == null) {
- break;
- }
-
- if (entry.isDirectory() || !entry.getName().endsWith(".class")) {
- continue;
- }
-
- // FIXME ASC performance? of this alternative soln.
- int size = (int) entry.getSize();
- ClassParser parser = new ClassParser(new ByteArrayInputStream(FileUtil.readAsByteArray(inStream)), entry.getName());
- JavaClass jc = parser.parse();
- inStream.closeEntry();
-
- ResolvedType type = world.addSourceObjectType(jc, false).getResolvedTypeX();
- type.setBinaryPath(inFile.getAbsolutePath());
- if (type.isAspect()) {
- addedAspects.add(type);
- } else {
- world.demote(type);
- }
-
- }
- } finally {
- inStream.close();
- }
- return addedAspects;
- }
-
- /**
- * Look for .class files that represent aspects in the supplied directory - return the list of accumulated aspects.
- *
- * @param directory the directory in which to look for Aspect .class files
- * @return the list of discovered aspects
- * @throws FileNotFoundException
- * @throws IOException
- */
- private List<ResolvedType> addAspectsFromDirectory(File directory) throws FileNotFoundException, IOException {
- List<ResolvedType> addedAspects = new ArrayList<ResolvedType>();
- File[] classFiles = FileUtil.listFiles(directory, new FileFilter() {
- public boolean accept(File pathname) {
- return pathname.getName().endsWith(".class");
- }
- });
- for (File classFile : classFiles) {
- FileInputStream fis = new FileInputStream(classFile);
- byte[] classBytes = FileUtil.readAsByteArray(fis);
- ResolvedType aspectType = isAspect(classBytes, classFile.getAbsolutePath(), directory);
- if (aspectType != null) {
- addedAspects.add(aspectType);
- }
- fis.close();
- }
- return addedAspects;
- }
-
- /**
- * Determine if the supplied bytes represent an aspect, if they do then create a ResolvedType instance for the aspect and return
- * it, otherwise return null
- *
- * @param classbytes the classbytes that might represent an aspect
- * @param name the name of the class
- * @param directory directory which contained the class file
- * @return a ResolvedType if the classbytes represent an aspect, otherwise null
- */
- private ResolvedType isAspect(byte[] classbytes, String name, File dir) throws IOException {
- ClassParser parser = new ClassParser(new ByteArrayInputStream(classbytes), name);
- JavaClass jc = parser.parse();
- ResolvedType type = world.addSourceObjectType(jc, false).getResolvedTypeX();
- String typeName = type.getName().replace('.', File.separatorChar);
- int end = name.lastIndexOf(typeName + ".class");
- String binaryPath = null;
- // if end is -1 then something weird happened, the class file is not in
- // the correct place, something like
- // bin/A.class when the declaration for A specifies it is in a package.
- if (end == -1) {
- binaryPath = dir.getAbsolutePath();
- } else {
- binaryPath = name.substring(0, end - 1);
- }
- type.setBinaryPath(binaryPath);
- if (type.isAspect()) {
- return type;
- } else {
- // immediately demote the type we just added since it will have
- // have been stuffed into the permanent map (assumed to be
- // an aspect)
- world.demote(type);
- return null;
- }
- }
-
- // // The ANT copy task should be used to copy resources across.
- // private final static boolean
- // CopyResourcesFromInpathDirectoriesToOutput=false;
-
- /**
- * Add any .class files in the directory to the outdir. Anything other than .class files in the directory (or its
- * subdirectories) are considered resources and are also copied.
- *
- */
- public List<UnwovenClassFile> addDirectoryContents(File inFile, File outDir) throws IOException {
- List<UnwovenClassFile> addedClassFiles = new ArrayList<UnwovenClassFile>();
-
- // Get a list of all files (i.e. everything that isnt a directory)
- File[] files = FileUtil.listFiles(inFile, new FileFilter() {
- public boolean accept(File f) {
- boolean accept = !f.isDirectory();
- return accept;
- }
- });
-
- // For each file, add it either as a real .class file or as a resource
- for (int i = 0; i < files.length; i++) {
- addedClassFiles.add(addClassFile(files[i], inFile, outDir));
- }
-
- return addedClassFiles;
- }
-
- /**
- * Adds all class files in the jar
- */
- public List<UnwovenClassFile> addJarFile(File inFile, File outDir, boolean canBeDirectory) {
- // System.err.println("? addJarFile(" + inFile + ", " + outDir + ")");
- List<UnwovenClassFile> addedClassFiles = new ArrayList<UnwovenClassFile>();
- needToReweaveWorld = true;
- JarFile inJar = null;
-
- try {
- // Is this a directory we are looking at?
- if (inFile.isDirectory() && canBeDirectory) {
- addedClassFiles.addAll(addDirectoryContents(inFile, outDir));
- } else {
-
- inJar = new JarFile(inFile);
- try {
- addManifest(inJar.getManifest());
- Enumeration entries = inJar.entries();
-
- while (entries.hasMoreElements()) {
- JarEntry entry = (JarEntry) entries.nextElement();
- String filename = entry.getName();
- String filenameLowercase = filename.toLowerCase();
-
- // Ignore class files that Java 8 won't understand (multi-release and module-info)
- if (filenameLowercase.startsWith("meta-inf")
- || filenameLowercase.endsWith("module-info.class")) {
- continue;
- }
-
- InputStream inStream = inJar.getInputStream(entry);
-
- byte[] bytes = FileUtil.readAsByteArray(inStream);
- // System.out.println("? addJarFile() filename='" + filename
- // + "'");
- UnwovenClassFile classFile = new UnwovenClassFile(new File(outDir, filename).getAbsolutePath(), bytes);
-
- if (filenameLowercase.endsWith(".class")) {
- ReferenceType type = this.addClassFile(classFile, false);
- StringBuffer sb = new StringBuffer();
- sb.append(inFile.getAbsolutePath());
- sb.append("!");
- sb.append(entry.getName());
- type.setBinaryPath(sb.toString());
- addedClassFiles.add(classFile);
- }
- // else if (!entry.isDirectory()) {
- //
- // /* bug-44190 Copy meta-data */
- // addResource(filename,classFile);
- // }
-
- inStream.close();
- }
- } finally {
- inJar.close();
- }
- inJar.close();
- }
- } catch (FileNotFoundException ex) {
- IMessage message = new Message("Could not find input jar file " + inFile.getPath() + ", ignoring", new SourceLocation(
- inFile, 0), false);
- world.getMessageHandler().handleMessage(message);
- } catch (IOException ex) {
- IMessage message = new Message("Could not read input jar file " + inFile.getPath() + "(" + ex.getMessage() + ")",
- new SourceLocation(inFile, 0), true);
- world.getMessageHandler().handleMessage(message);
- } finally {
- if (inJar != null) {
- try {
- inJar.close();
- } catch (IOException ex) {
- IMessage message = new Message("Could not close input jar file " + inFile.getPath() + "(" + ex.getMessage()
- + ")", new SourceLocation(inFile, 0), true);
- world.getMessageHandler().handleMessage(message);
- }
- }
- }
-
- return addedClassFiles;
- }
-
- public boolean needToReweaveWorld() {
- return needToReweaveWorld;
- }
-
- /**
- * Should be addOrReplace
- */
- public ReferenceType addClassFile(UnwovenClassFile classFile, boolean fromInpath) {
- addedClasses.add(classFile);
- ReferenceType type = world.addSourceObjectType(classFile.getJavaClass(), false).getResolvedTypeX();
- if (fromInpath) {
- type.setBinaryPath(classFile.getFilename());
- }
- return type;
- }
-
- public UnwovenClassFile addClassFile(File classFile, File inPathDir, File outDir) throws IOException {
- FileInputStream fis = new FileInputStream(classFile);
- byte[] bytes = FileUtil.readAsByteArray(fis);
- // String relativePath = files[i].getPath();
-
- // ASSERT:
- // files[i].getAbsolutePath().startsWith(inFile.getAbsolutePath()
- // or we are in trouble...
- String filename = classFile.getAbsolutePath().substring(inPathDir.getAbsolutePath().length() + 1);
- UnwovenClassFile ucf = new UnwovenClassFile(new File(outDir, filename).getAbsolutePath(), bytes);
- if (filename.endsWith(".class")) {
- // System.err.println(
- // "BCELWeaver: processing class from input directory "+classFile);
- StringBuffer sb = new StringBuffer();
- sb.append(inPathDir.getAbsolutePath());
- sb.append("!");
- sb.append(filename);
- ReferenceType type = this.addClassFile(ucf, false);
- type.setBinaryPath(sb.toString());
- }
- fis.close();
- return ucf;
- }
-
- public void deleteClassFile(String typename) {
- deletedTypenames.add(typename);
- world.deleteSourceObjectType(UnresolvedType.forName(typename));
- }
-
- // ---- weave preparation
-
- public void setIsBatchWeave(boolean b) {
- isBatchWeave = b;
- }
-
- public void prepareForWeave() {
- if (trace.isTraceEnabled()) {
- trace.enter("prepareForWeave", this);
- }
- needToReweaveWorld = xcutSet.hasChangedSinceLastReset();
-
- // update mungers
- for (Iterator<UnwovenClassFile> i = addedClasses.iterator(); i.hasNext();) {
- UnwovenClassFile jc = i.next();
- String name = jc.getClassName();
- ResolvedType type = world.resolve(name);
- // No overweaving guard. If you have one then when overweaving is on the
- // addOrReplaceAspect will not be called when the aspect delegate changes from
- // EclipseSourceType to BcelObjectType. This will mean the mungers
- // are not picked up.
- if (type.isAspect()) {
- needToReweaveWorld |= xcutSet.addOrReplaceAspect(type);
- }
- }
-
- for (Iterator<String> i = deletedTypenames.iterator(); i.hasNext();) {
- String name = i.next();
- if (xcutSet.deleteAspect(UnresolvedType.forName(name))) {
- needToReweaveWorld = true;
- }
- }
-
- shadowMungerList = xcutSet.getShadowMungers();
- // world.debug("shadow mungers=" + shadowMungerList);
- rewritePointcuts(shadowMungerList);
- // Sometimes an error occurs during rewriting pointcuts (for example, if
- // ambiguous bindings
- // are detected) - we ought to fail the prepare when this happens
- // because continuing with
- // inconsistent pointcuts could lead to problems
- typeMungerList = xcutSet.getTypeMungers();
- lateTypeMungerList = xcutSet.getLateTypeMungers();
- declareParentsList = xcutSet.getDeclareParents();
-
- addCustomMungers();
-
- // The ordering here used to be based on a string compare on toString()
- // for the two mungers -
- // that breaks for the @AJ style where advice names aren't
- // programmatically generated. So we
- // have changed the sorting to be based on source location in the file -
- // this is reliable, in
- // the case of source locations missing, we assume they are 'sorted' -
- // i.e. the order in
- // which they were added to the collection is correct, this enables the
- // @AJ stuff to work properly.
-
- // When @AJ processing starts filling in source locations for mungers,
- // this code may need
- // a bit of alteration...
-
- Collections.sort(shadowMungerList, new Comparator<ShadowMunger>() {
- public int compare(ShadowMunger sm1, ShadowMunger sm2) {
- if (sm1.getSourceLocation() == null) {
- return (sm2.getSourceLocation() == null ? 0 : 1);
- }
- if (sm2.getSourceLocation() == null) {
- return -1;
- }
-
- return (sm2.getSourceLocation().getOffset() - sm1.getSourceLocation().getOffset());
- }
- });
-
- if (inReweavableMode) {
- world.showMessage(IMessage.INFO, WeaverMessages.format(WeaverMessages.REWEAVABLE_MODE), null, null);
- }
-
- if (trace.isTraceEnabled()) {
- trace.exit("prepareForWeave");
- }
- }
-
- private void addCustomMungers() {
- if (customMungerFactory != null) {
- for (Iterator<UnwovenClassFile> i = addedClasses.iterator(); i.hasNext();) {
- UnwovenClassFile jc = i.next();
- String name = jc.getClassName();
- ResolvedType type = world.resolve(name);
- if (type.isAspect()) {
- Collection<ShadowMunger> shadowMungers = customMungerFactory.createCustomShadowMungers(type);
- if (shadowMungers != null) {
- shadowMungerList.addAll(shadowMungers);
- }
- Collection<ConcreteTypeMunger> typeMungers = customMungerFactory.createCustomTypeMungers(type);
- if (typeMungers != null) {
- typeMungerList.addAll(typeMungers);
- }
- }
- }
- }
- }
-
- public void setCustomMungerFactory(CustomMungerFactory factory) {
- customMungerFactory = factory;
- }
-
- /*
- * Rewrite all of the pointcuts in the world into their most efficient form for subsequent matching. Also ensure that if
- * pc1.equals(pc2) then pc1 == pc2 (for non-binding pcds) by making references all point to the same instance. Since pointcuts
- * remember their match decision on the last shadow, this makes matching faster when many pointcuts share common elements, or
- * even when one single pointcut has one common element (which can be a side-effect of DNF rewriting).
- */
- private void rewritePointcuts(List<ShadowMunger> shadowMungers) {
- PointcutRewriter rewriter = new PointcutRewriter();
- for (ShadowMunger munger : shadowMungers) {
- Pointcut p = munger.getPointcut();
- Pointcut newP = rewriter.rewrite(p);
- // validateBindings now whilst we still have around the pointcut
- // that resembles what the user actually wrote in their program
- // text.
- if (munger instanceof Advice) {
- Advice advice = (Advice) munger;
- if (advice.getSignature() != null) {
- final int numFormals;
- final String names[];
- // If the advice is being concretized in a @AJ aspect *and*
- // the advice was declared in
- // an @AJ aspect (it could have been inherited from a code
- // style aspect) then
- // evaluate the alternative set of formals. pr125699
- if ((advice.getConcreteAspect().isAnnotationStyleAspect() && advice.getDeclaringAspect() != null && advice
- .getDeclaringAspect().resolve(world).isAnnotationStyleAspect())
- || advice.isAnnotationStyle()) {
- numFormals = advice.getBaseParameterCount();
- int numArgs = advice.getSignature().getParameterTypes().length;
- if (numFormals > 0) {
- names = advice.getSignature().getParameterNames(world);
- validateBindings(newP, p, numArgs, names);
- }
- } else {
- numFormals = advice.getBaseParameterCount();
- if (numFormals > 0) {
- names = advice.getBaseParameterNames(world);
- validateBindings(newP, p, numFormals, names);
- }
- }
- }
- }
- newP.m_ignoreUnboundBindingForNames = p.m_ignoreUnboundBindingForNames;
- munger.setPointcut(newP);
- }
- // now that we have optimized individual pointcuts, optimize
- // across the set of pointcuts....
- // Use a map from key based on pc equality, to value based on
- // pc identity.
- Map<Pointcut, Pointcut> pcMap = new HashMap<Pointcut, Pointcut>();
- for (ShadowMunger munger: shadowMungers) {
- Pointcut p = munger.getPointcut();
- Pointcut newP = shareEntriesFromMap(p, pcMap);
- newP.m_ignoreUnboundBindingForNames = p.m_ignoreUnboundBindingForNames;
- munger.setPointcut(newP);
- }
- }
-
- private Pointcut shareEntriesFromMap(Pointcut p, Map<Pointcut, Pointcut> pcMap) {
- // some things cant be shared...
- if (p instanceof NameBindingPointcut) {
- return p;
- }
- if (p instanceof IfPointcut) {
- return p;
- }
- if (p instanceof ConcreteCflowPointcut) {
- return p;
- }
- if (p instanceof AndPointcut) {
- AndPointcut apc = (AndPointcut) p;
- Pointcut left = shareEntriesFromMap(apc.getLeft(), pcMap);
- Pointcut right = shareEntriesFromMap(apc.getRight(), pcMap);
- return new AndPointcut(left, right);
- } else if (p instanceof OrPointcut) {
- OrPointcut opc = (OrPointcut) p;
- Pointcut left = shareEntriesFromMap(opc.getLeft(), pcMap);
- Pointcut right = shareEntriesFromMap(opc.getRight(), pcMap);
- return new OrPointcut(left, right);
- } else if (p instanceof NotPointcut) {
- NotPointcut npc = (NotPointcut) p;
- Pointcut not = shareEntriesFromMap(npc.getNegatedPointcut(), pcMap);
- return new NotPointcut(not);
- } else {
- // primitive pcd
- if (pcMap.containsKey(p)) { // based on equality
- return pcMap.get(p); // same instance (identity)
- } else {
- pcMap.put(p, p);
- return p;
- }
- }
- }
-
- // userPointcut is the pointcut that the user wrote in the program text.
- // dnfPointcut is the same pointcut rewritten in DNF
- // numFormals is the number of formal parameters in the pointcut
- // if numFormals > 0 then every branch of a disjunction must bind each
- // formal once and only once.
- // in addition, the left and right branches of a disjunction must hold on
- // join point kinds in
- // common.
- private void validateBindings(Pointcut dnfPointcut, Pointcut userPointcut, int numFormals, String[] names) {
- if (numFormals == 0) {
- return; // nothing to check
- }
- if (dnfPointcut.couldMatchKinds() == Shadow.NO_SHADOW_KINDS_BITS) {
- return; // cant have problems if you dont match!
- }
- if (dnfPointcut instanceof OrPointcut) {
- OrPointcut orBasedDNFPointcut = (OrPointcut) dnfPointcut;
- Pointcut[] leftBindings = new Pointcut[numFormals];
- Pointcut[] rightBindings = new Pointcut[numFormals];
- validateOrBranch(orBasedDNFPointcut, userPointcut, numFormals, names, leftBindings, rightBindings);
- } else {
- Pointcut[] bindings = new Pointcut[numFormals];
- validateSingleBranch(dnfPointcut, userPointcut, numFormals, names, bindings);
- }
- }
-
- private void validateOrBranch(OrPointcut pc, Pointcut userPointcut, int numFormals, String[] names, Pointcut[] leftBindings,
- Pointcut[] rightBindings) {
- Pointcut left = pc.getLeft();
- Pointcut right = pc.getRight();
- if (left instanceof OrPointcut) {
- Pointcut[] newRightBindings = new Pointcut[numFormals];
- validateOrBranch((OrPointcut) left, userPointcut, numFormals, names, leftBindings, newRightBindings);
- } else {
- if (left.couldMatchKinds() != Shadow.NO_SHADOW_KINDS_BITS) {
- validateSingleBranch(left, userPointcut, numFormals, names, leftBindings);
- }
- }
- if (right instanceof OrPointcut) {
- Pointcut[] newLeftBindings = new Pointcut[numFormals];
- validateOrBranch((OrPointcut) right, userPointcut, numFormals, names, newLeftBindings, rightBindings);
- } else {
- if (right.couldMatchKinds() != Shadow.NO_SHADOW_KINDS_BITS) {
- validateSingleBranch(right, userPointcut, numFormals, names, rightBindings);
- }
- }
- int kindsInCommon = left.couldMatchKinds() & right.couldMatchKinds();
- if (kindsInCommon != Shadow.NO_SHADOW_KINDS_BITS && couldEverMatchSameJoinPoints(left, right)) {
- // we know that every branch binds every formal, so there is no
- // ambiguity
- // if each branch binds it in exactly the same way...
- List<String> ambiguousNames = new ArrayList<String>();
- for (int i = 0; i < numFormals; i++) {
- if (leftBindings[i] == null) {
- if (rightBindings[i] != null) {
- ambiguousNames.add(names[i]);
- }
- } else if (!leftBindings[i].equals(rightBindings[i])) {
- ambiguousNames.add(names[i]);
- }
- }
- if (!ambiguousNames.isEmpty()) {
- raiseAmbiguityInDisjunctionError(userPointcut, ambiguousNames);
- }
- }
- }
-
- // pc is a pointcut that does not contain any disjunctions
- // check that every formal is bound (negation doesn't count).
- // we know that numFormals > 0 or else we would not be called
- private void validateSingleBranch(Pointcut pc, Pointcut userPointcut, int numFormals, String[] names, Pointcut[] bindings) {
- boolean[] foundFormals = new boolean[numFormals];
- for (int i = 0; i < foundFormals.length; i++) {
- foundFormals[i] = false;
- }
- validateSingleBranchRecursion(pc, userPointcut, foundFormals, names, bindings);
- for (int i = 0; i < foundFormals.length; i++) {
- if (!foundFormals[i]) {
- boolean ignore = false;
- // ATAJ soften the unbound error for implicit bindings like
- // JoinPoint in @AJ style
- for (int j = 0; j < userPointcut.m_ignoreUnboundBindingForNames.length; j++) {
- if (names[i] != null && names[i].equals(userPointcut.m_ignoreUnboundBindingForNames[j])) {
- ignore = true;
- break;
- }
- }
- if (!ignore) {
- raiseUnboundFormalError(names[i], userPointcut);
- }
- }
- }
- }
-
- // each formal must appear exactly once
- private void validateSingleBranchRecursion(Pointcut pc, Pointcut userPointcut, boolean[] foundFormals, String[] names,
- Pointcut[] bindings) {
- if (pc instanceof NotPointcut) {
- // nots can only appear at leaves in DNF
- NotPointcut not = (NotPointcut) pc;
- if (not.getNegatedPointcut() instanceof NameBindingPointcut) {
- NameBindingPointcut nnbp = (NameBindingPointcut) not.getNegatedPointcut();
- if (!nnbp.getBindingAnnotationTypePatterns().isEmpty() && !nnbp.getBindingTypePatterns().isEmpty()) {
- raiseNegationBindingError(userPointcut);
- }
- }
- } else if (pc instanceof AndPointcut) {
- AndPointcut and = (AndPointcut) pc;
- validateSingleBranchRecursion(and.getLeft(), userPointcut, foundFormals, names, bindings);
- validateSingleBranchRecursion(and.getRight(), userPointcut, foundFormals, names, bindings);
- } else if (pc instanceof NameBindingPointcut) {
- List/* BindingTypePattern */btps = ((NameBindingPointcut) pc).getBindingTypePatterns();
- for (Iterator iter = btps.iterator(); iter.hasNext();) {
- BindingTypePattern btp = (BindingTypePattern) iter.next();
- int index = btp.getFormalIndex();
- bindings[index] = pc;
- if (foundFormals[index]) {
- raiseAmbiguousBindingError(names[index], userPointcut);
- } else {
- foundFormals[index] = true;
- }
- }
- List/* BindingPattern */baps = ((NameBindingPointcut) pc).getBindingAnnotationTypePatterns();
- for (Iterator iter = baps.iterator(); iter.hasNext();) {
- BindingPattern bap = (BindingPattern) iter.next();
- int index = bap.getFormalIndex();
- bindings[index] = pc;
- if (foundFormals[index]) {
- raiseAmbiguousBindingError(names[index], userPointcut);
- } else {
- foundFormals[index] = true;
- }
- }
- } else if (pc instanceof ConcreteCflowPointcut) {
- ConcreteCflowPointcut cfp = (ConcreteCflowPointcut) pc;
- int[] slots = cfp.getUsedFormalSlots();
- for (int i = 0; i < slots.length; i++) {
- bindings[slots[i]] = cfp;
- if (foundFormals[slots[i]]) {
- raiseAmbiguousBindingError(names[slots[i]], userPointcut);
- } else {
- foundFormals[slots[i]] = true;
- }
- }
- }
- }
-
- // By returning false from this method, we are allowing binding of the same
- // variable on either side of an or.
- // Be conservative :- have to consider overriding, varargs, autoboxing,
- // the effects of itds (on within for example), interfaces, the fact that
- // join points can have multiple signatures and so on.
- private boolean couldEverMatchSameJoinPoints(Pointcut left, Pointcut right) {
-
- if (left instanceof OrPointcut) {
- OrPointcut leftOrPointcut = (OrPointcut) left;
- if (couldEverMatchSameJoinPoints(leftOrPointcut.getLeft(), right)) {
- return true;
- }
- if (couldEverMatchSameJoinPoints(leftOrPointcut.getRight(), right)) {
- return true;
- }
- return false;
- }
-
- if (right instanceof OrPointcut) {
- OrPointcut rightOrPointcut = (OrPointcut) right;
- if (couldEverMatchSameJoinPoints(left, rightOrPointcut.getLeft())) {
- return true;
- }
- if (couldEverMatchSameJoinPoints(left, rightOrPointcut.getRight())) {
- return true;
- }
- return false;
- }
-
- // look for withins
- WithinPointcut leftWithin = (WithinPointcut) findFirstPointcutIn(left, WithinPointcut.class);
- WithinPointcut rightWithin = (WithinPointcut) findFirstPointcutIn(right, WithinPointcut.class);
- if ((leftWithin != null) && (rightWithin != null)) {
- if (!leftWithin.couldEverMatchSameJoinPointsAs(rightWithin)) {
- return false;
- }
- }
- // look for kinded
- KindedPointcut leftKind = (KindedPointcut) findFirstPointcutIn(left, KindedPointcut.class);
- KindedPointcut rightKind = (KindedPointcut) findFirstPointcutIn(right, KindedPointcut.class);
- if ((leftKind != null) && (rightKind != null)) {
- if (!leftKind.couldEverMatchSameJoinPointsAs(rightKind)) {
- return false;
- }
- }
- return true;
- }
-
- private Pointcut findFirstPointcutIn(Pointcut toSearch, Class toLookFor) {
- if (toSearch instanceof NotPointcut) {
- return null;
- }
- if (toLookFor.isInstance(toSearch)) {
- return toSearch;
- }
- if (toSearch instanceof AndPointcut) {
- AndPointcut apc = (AndPointcut) toSearch;
- Pointcut left = findFirstPointcutIn(apc.getLeft(), toLookFor);
- if (left != null) {
- return left;
- }
- return findFirstPointcutIn(apc.getRight(), toLookFor);
- }
- return null;
- }
-
- /**
- * @param userPointcut
- */
- private void raiseNegationBindingError(Pointcut userPointcut) {
- world.showMessage(IMessage.ERROR, WeaverMessages.format(WeaverMessages.NEGATION_DOESNT_ALLOW_BINDING), userPointcut
- .getSourceContext().makeSourceLocation(userPointcut), null);
- }
-
- /**
- * @param name
- * @param userPointcut
- */
- private void raiseAmbiguousBindingError(String name, Pointcut userPointcut) {
- world.showMessage(IMessage.ERROR, WeaverMessages.format(WeaverMessages.AMBIGUOUS_BINDING, name), userPointcut
- .getSourceContext().makeSourceLocation(userPointcut), null);
- }
-
- /**
- * @param userPointcut
- */
- private void raiseAmbiguityInDisjunctionError(Pointcut userPointcut, List<String> names) {
- StringBuffer formalNames = new StringBuffer(names.get(0).toString());
- for (int i = 1; i < names.size(); i++) {
- formalNames.append(", ");
- formalNames.append(names.get(i));
- }
- world.showMessage(IMessage.ERROR, WeaverMessages.format(WeaverMessages.AMBIGUOUS_BINDING_IN_OR, formalNames), userPointcut
- .getSourceContext().makeSourceLocation(userPointcut), null);
- }
-
- /**
- * @param name
- * @param userPointcut
- */
- private void raiseUnboundFormalError(String name, Pointcut userPointcut) {
- world.showMessage(IMessage.ERROR, WeaverMessages.format(WeaverMessages.UNBOUND_FORMAL, name),
- userPointcut.getSourceLocation(), null);
- }
-
- public void addManifest(Manifest newManifest) {
- // System.out.println("? addManifest() newManifest=" + newManifest);
- if (manifest == null) {
- manifest = newManifest;
- }
- }
-
- public Manifest getManifest(boolean shouldCreate) {
- if (manifest == null && shouldCreate) {
- String WEAVER_MANIFEST_VERSION = "1.0";
- Attributes.Name CREATED_BY = new Name("Created-By");
- String WEAVER_CREATED_BY = "AspectJ Compiler";
-
- manifest = new Manifest();
-
- Attributes attributes = manifest.getMainAttributes();
- attributes.put(Name.MANIFEST_VERSION, WEAVER_MANIFEST_VERSION);
- attributes.put(CREATED_BY, WEAVER_CREATED_BY);
- }
-
- return manifest;
- }
-
- // ---- weaving
-
- // FOR TESTING
- public Collection<String> weave(File file) throws IOException {
- OutputStream os = FileUtil.makeOutputStream(file);
- this.zipOutputStream = new ZipOutputStream(os);
- prepareForWeave();
- Collection<String> c = weave(new IClassFileProvider() {
-
- public boolean isApplyAtAspectJMungersOnly() {
- return false;
- }
-
- public Iterator<UnwovenClassFile> getClassFileIterator() {
- return addedClasses.iterator();
- }
-
- public IWeaveRequestor getRequestor() {
- return new IWeaveRequestor() {
- public void acceptResult(IUnwovenClassFile result) {
- try {
- writeZipEntry(result.getFilename(), result.getBytes());
- } catch (IOException ex) {
- }
- }
-
- public void processingReweavableState() {
- }
-
- public void addingTypeMungers() {
- }
-
- public void weavingAspects() {
- }
-
- public void weavingClasses() {
- }
-
- public void weaveCompleted() {
- }
- };
- }
- });
- // /* BUG 40943*/
- // dumpResourcesToOutJar();
- zipOutputStream.close(); // this flushes and closes the acutal file
- return c;
- }
-
- private Set<IProgramElement> candidatesForRemoval = null;
-
- // variation of "weave" that sources class files from an external source.
- public Collection<String> weave(IClassFileProvider input) throws IOException {
- if (trace.isTraceEnabled()) {
- trace.enter("weave", this, input);
- }
- ContextToken weaveToken = CompilationAndWeavingContext.enteringPhase(CompilationAndWeavingContext.WEAVING, "");
- Collection<String> wovenClassNames = new ArrayList<String>();
- IWeaveRequestor requestor = input.getRequestor();
-
- if (world.getModel() != null && world.isMinimalModel()) {
- candidatesForRemoval = new HashSet<IProgramElement>();
- }
- if (world.getModel() != null && !isBatchWeave) {
- AsmManager manager = world.getModelAsAsmManager();
- for (Iterator<UnwovenClassFile> i = input.getClassFileIterator(); i.hasNext();) {
- UnwovenClassFile classFile = i.next();
- // remove all relationships where this file being woven is
- // the target of the relationship
- manager.removeRelationshipsTargettingThisType(classFile.getClassName());
- }
- }
-
- // Go through the types and ensure any 'damaged' during compile time are
- // repaired prior to weaving
- for (Iterator<UnwovenClassFile> i = input.getClassFileIterator(); i.hasNext();) {
- UnwovenClassFile classFile = i.next();
- String className = classFile.getClassName();
- ResolvedType theType = world.resolve(className);
- if (theType != null) {
- theType.ensureConsistent();
- }
- }
-
- // special case for AtAspectJMungerOnly - see #113587
- if (input.isApplyAtAspectJMungersOnly()) {
- ContextToken atAspectJMungersOnly = CompilationAndWeavingContext.enteringPhase(
- CompilationAndWeavingContext.PROCESSING_ATASPECTJTYPE_MUNGERS_ONLY, "");
- requestor.weavingAspects();
- // ContextToken aspectToken =
- CompilationAndWeavingContext.enteringPhase(CompilationAndWeavingContext.WEAVING_ASPECTS, "");
- for (Iterator<UnwovenClassFile> i = input.getClassFileIterator(); i.hasNext();) {
- UnwovenClassFile classFile = i.next();
- String className = classFile.getClassName();
- ResolvedType theType = world.resolve(className);
- if (theType.isAnnotationStyleAspect()) {
- BcelObjectType classType = BcelWorld.getBcelObjectType(theType);
- if (classType == null) {
- throw new BCException("Can't find bcel delegate for " + className + " type=" + theType.getClass());
- }
- LazyClassGen clazz = classType.getLazyClassGen();
- BcelPerClauseAspectAdder selfMunger = new BcelPerClauseAspectAdder(theType, theType.getPerClause().getKind());
- selfMunger.forceMunge(clazz, true);
- classType.finishedWith();
- UnwovenClassFile[] newClasses = getClassFilesFor(clazz);
- for (int news = 0; news < newClasses.length; news++) {
- requestor.acceptResult(newClasses[news]);
- }
- wovenClassNames.add(classFile.getClassName());
- }
- }
- requestor.weaveCompleted();
- CompilationAndWeavingContext.leavingPhase(atAspectJMungersOnly);
- return wovenClassNames;
- }
-
- requestor.processingReweavableState();
- ContextToken reweaveToken = CompilationAndWeavingContext.enteringPhase(
- CompilationAndWeavingContext.PROCESSING_REWEAVABLE_STATE, "");
- prepareToProcessReweavableState();
- // clear all state from files we'll be reweaving
- for (Iterator<UnwovenClassFile> i = input.getClassFileIterator(); i.hasNext();) {
- UnwovenClassFile classFile = i.next();
- String className = classFile.getClassName();
- BcelObjectType classType = getClassType(className);
-
- // null return from getClassType() means the delegate is an eclipse
- // source type - so
- // there *cant* be any reweavable state... (he bravely claimed...)
- if (classType != null) {
- ContextToken tok = CompilationAndWeavingContext.enteringPhase(
- CompilationAndWeavingContext.PROCESSING_REWEAVABLE_STATE, className);
- processReweavableStateIfPresent(className, classType);
- CompilationAndWeavingContext.leavingPhase(tok);
- }
- }
-
- CompilationAndWeavingContext.leavingPhase(reweaveToken);
-
- ContextToken typeMungingToken = CompilationAndWeavingContext.enteringPhase(
- CompilationAndWeavingContext.PROCESSING_TYPE_MUNGERS, "");
- requestor.addingTypeMungers();
-
- // We process type mungers in two groups, first mungers that change the
- // type
- // hierarchy, then 'normal' ITD type mungers.
-
- // Process the types in a predictable order (rather than the order
- // encountered).
- // For class A, the order is superclasses of A then superinterfaces of A
- // (and this mechanism is applied recursively)
- List<String> typesToProcess = new ArrayList<String>();
- for (Iterator<UnwovenClassFile> iter = input.getClassFileIterator(); iter.hasNext();) {
- UnwovenClassFile clf = iter.next();
- typesToProcess.add(clf.getClassName());
- }
- while (typesToProcess.size() > 0) {
- weaveParentsFor(typesToProcess, typesToProcess.get(0), null);
- }
-
- for (Iterator<UnwovenClassFile> i = input.getClassFileIterator(); i.hasNext();) {
- UnwovenClassFile classFile = i.next();
- String className = classFile.getClassName();
- addNormalTypeMungers(className);
- }
-
- CompilationAndWeavingContext.leavingPhase(typeMungingToken);
-
- requestor.weavingAspects();
- ContextToken aspectToken = CompilationAndWeavingContext.enteringPhase(CompilationAndWeavingContext.WEAVING_ASPECTS, "");
- // first weave into aspects
- for (Iterator<UnwovenClassFile> i = input.getClassFileIterator(); i.hasNext();) {
- UnwovenClassFile classFile = i.next();
- String className = classFile.getClassName();
- ResolvedType theType = world.resolve(className);
- if (theType.isAspect()) {
- BcelObjectType classType = BcelWorld.getBcelObjectType(theType);
- if (classType == null) {
-
- // Sometimes.. if the Bcel Delegate couldn't be found then a
- // problem occurred at compile time - on
- // a previous compiler run. In this case I assert the
- // delegate will still be an EclipseSourceType
- // and we can ignore the problem here (the original compile
- // error will be reported again from
- // the eclipse source type) - pr113531
- ReferenceTypeDelegate theDelegate = ((ReferenceType) theType).getDelegate();
- if (theDelegate.getClass().getName().endsWith("EclipseSourceType")) {
- continue;
- }
-
- throw new BCException("Can't find bcel delegate for " + className + " type=" + theType.getClass());
- }
- weaveAndNotify(classFile, classType, requestor);
- wovenClassNames.add(className);
- }
- }
-
- CompilationAndWeavingContext.leavingPhase(aspectToken);
-
- requestor.weavingClasses();
- ContextToken classToken = CompilationAndWeavingContext.enteringPhase(CompilationAndWeavingContext.WEAVING_CLASSES, "");
- // then weave into non-aspects
- for (Iterator<UnwovenClassFile> i = input.getClassFileIterator(); i.hasNext();) {
- UnwovenClassFile classFile = i.next();
- String className = classFile.getClassName();
- ResolvedType theType = world.resolve(className);
- if (!theType.isAspect()) {
- BcelObjectType classType = BcelWorld.getBcelObjectType(theType);
- if (classType == null) {
-
- // bug 119882 - see above comment for bug 113531
- ReferenceTypeDelegate theDelegate = ((ReferenceType) theType).getDelegate();
-
- // TODO urgh - put a method on the interface to check this,
- // string compare is hideous
- if (theDelegate.getClass().getName().endsWith("EclipseSourceType")) {
- continue;
- }
-
- throw new BCException("Can't find bcel delegate for " + className + " type=" + theType.getClass());
- }
- weaveAndNotify(classFile, classType, requestor);
- wovenClassNames.add(className);
- }
- }
- CompilationAndWeavingContext.leavingPhase(classToken);
-
- addedClasses.clear();
- deletedTypenames.clear();
-
- requestor.weaveCompleted();
- CompilationAndWeavingContext.leavingPhase(weaveToken);
- if (trace.isTraceEnabled()) {
- trace.exit("weave", wovenClassNames);
- }
- if (world.getModel() != null && world.isMinimalModel()) {
- candidatesForRemoval.clear();
- }
- return wovenClassNames;
- }
-
- public void allWeavingComplete() {
- warnOnUnmatchedAdvice();
- }
-
- /**
- * In 1.5 mode and with XLint:adviceDidNotMatch enabled, put out messages for any mungers that did not match anything.
- */
- private void warnOnUnmatchedAdvice() {
-
- class AdviceLocation {
- private final int lineNo;
- private final UnresolvedType inAspect;
-
- public AdviceLocation(BcelAdvice advice) {
- this.lineNo = advice.getSourceLocation().getLine();
- this.inAspect = advice.getDeclaringAspect();
- }
-
- @Override
- public boolean equals(Object obj) {
- if (!(obj instanceof AdviceLocation)) {
- return false;
- }
- AdviceLocation other = (AdviceLocation) obj;
- if (this.lineNo != other.lineNo) {
- return false;
- }
- if (!this.inAspect.equals(other.inAspect)) {
- return false;
- }
- return true;
- }
-
- @Override
- public int hashCode() {
- return 37 + 17 * lineNo + 17 * inAspect.hashCode();
- }
- }
-
- // FIXME asc Should be factored out into Xlint code and done
- // automatically for all xlint messages, ideally.
- // if a piece of advice hasn't matched anywhere and we are in -1.5 mode,
- // put out a warning
- if (world.isInJava5Mode() && world.getLint().adviceDidNotMatch.isEnabled()) {
- List l = world.getCrosscuttingMembersSet().getShadowMungers();
- Set<AdviceLocation> alreadyWarnedLocations = new HashSet<AdviceLocation>();
-
- for (Iterator iter = l.iterator(); iter.hasNext();) {
- ShadowMunger element = (ShadowMunger) iter.next();
- // This will stop us incorrectly reporting deow checkers:
- if (element instanceof BcelAdvice) {
- BcelAdvice ba = (BcelAdvice) element;
- if (ba.getKind() == AdviceKind.CflowEntry || ba.getKind() == AdviceKind.CflowBelowEntry) {
- continue;
- }
- if (!ba.hasMatchedSomething()) {
- // Because we implement some features of AJ itself by
- // creating our own kind of mungers, you sometimes
- // find that ba.getSignature() is not a BcelMethod - for
- // example it might be a cflow entry munger.
- if (ba.getSignature() != null) {
- // check we haven't already warned on this advice and line
- // (cflow creates multiple mungers for the same advice)
- AdviceLocation loc = new AdviceLocation(ba);
- if (alreadyWarnedLocations.contains(loc)) {
- continue;
- } else {
- alreadyWarnedLocations.add(loc);
- }
-
- if (!(ba.getSignature() instanceof BcelMethod)
- || !Utility.isSuppressing(ba.getSignature(), "adviceDidNotMatch")) {
- world.getLint().adviceDidNotMatch.signal(ba.getDeclaringAspect().toString(), new SourceLocation(
- element.getSourceLocation().getSourceFile(), element.getSourceLocation().getLine()));
- }
- }
- }
- }
- }
- }
- }
-
- /**
- * 'typeToWeave' is one from the 'typesForWeaving' list. This routine ensures we process supertypes (classes/interfaces) of
- * 'typeToWeave' that are in the 'typesForWeaving' list before 'typeToWeave' itself. 'typesToWeave' is then removed from the
- * 'typesForWeaving' list.
- *
- * Note: Future gotcha in here ... when supplying partial hierarchies, this algorithm may break down. If you have a hierarchy
- * A>B>C and only give A and C to the weaver, it may choose to weave them in either order - but you'll probably have other
- * problems if you are supplying partial hierarchies like that !
- */
- private void weaveParentsFor(List<String> typesForWeaving, String typeToWeave, ResolvedType resolvedTypeToWeave) {
- if (resolvedTypeToWeave == null) {
- // resolve it if the caller could not pass in the resolved type
- resolvedTypeToWeave = world.resolve(typeToWeave);
- }
- ResolvedType superclassType = resolvedTypeToWeave.getSuperclass();
- String superclassTypename = (superclassType == null ? null : superclassType.getName());
-
- // PR336654 added the 'typesForWeaving.contains(superclassTypename)' clause.
- // Without it we can delete all type mungers on the parents and yet we only
- // add back in the declare parents related ones, not the regular ITDs.
- if (superclassType != null && !superclassType.isTypeHierarchyComplete() && superclassType.isExposedToWeaver()
- && typesForWeaving.contains(superclassTypename)) {
- weaveParentsFor(typesForWeaving, superclassTypename, superclassType);
- }
-
- ResolvedType[] interfaceTypes = resolvedTypeToWeave.getDeclaredInterfaces();
- for (ResolvedType resolvedSuperInterface : interfaceTypes) {
- if (!resolvedSuperInterface.isTypeHierarchyComplete()) {
- String interfaceTypename = resolvedSuperInterface.getName();
- if (resolvedSuperInterface.isExposedToWeaver()) { // typesForWeaving.contains(interfaceTypename)) {
- weaveParentsFor(typesForWeaving, interfaceTypename, resolvedSuperInterface);
- }
- }
- }
- ContextToken tok = CompilationAndWeavingContext.enteringPhase(CompilationAndWeavingContext.PROCESSING_DECLARE_PARENTS,
- resolvedTypeToWeave.getName());
- // If A was processed before B (and was declared 'class A implements B') then there is no need to complete B again, it
- // will have been done whilst processing A.
- if (!resolvedTypeToWeave.isTypeHierarchyComplete()) {
- weaveParentTypeMungers(resolvedTypeToWeave);
- }
- CompilationAndWeavingContext.leavingPhase(tok);
- typesForWeaving.remove(typeToWeave);
- resolvedTypeToWeave.tagAsTypeHierarchyComplete();
- }
-
- public void prepareToProcessReweavableState() {
- }
-
- public void processReweavableStateIfPresent(String className, BcelObjectType classType) {
- // If the class is marked reweavable, check any aspects around when it
- // was built are in this world
- WeaverStateInfo wsi = classType.getWeaverState();
- // System.out.println(">> processReweavableStateIfPresent " + className + " wsi=" + wsi);
- if (wsi != null && wsi.isReweavable()) { // Check all necessary types
- // are around!
- world.showMessage(IMessage.INFO, WeaverMessages.format(WeaverMessages.PROCESSING_REWEAVABLE, className, classType
- .getSourceLocation().getSourceFile()), null, null);
- Set<String> aspectsPreviouslyInWorld = wsi.getAspectsAffectingType();
- // keep track of them just to ensure unique missing aspect error
- // reporting
- Set<String> alreadyConfirmedReweavableState = new HashSet<String>();
- for (String requiredTypeSignature : aspectsPreviouslyInWorld) {
- // for (Iterator iter = aspectsPreviouslyInWorld.iterator(); iter.hasNext();) {
- // String requiredTypeName = (String) iter.next();
- if (!alreadyConfirmedReweavableState.contains(requiredTypeSignature)) {
- ResolvedType rtx = world.resolve(UnresolvedType.forSignature(requiredTypeSignature), true);
- boolean exists = !rtx.isMissing();
- if (!exists) {
- world.getLint().missingAspectForReweaving.signal(new String[] { rtx.getName(), className },
- classType.getSourceLocation(), null);
- // world.showMessage(IMessage.ERROR, WeaverMessages.format(WeaverMessages.MISSING_REWEAVABLE_TYPE,
- // requiredTypeName, className), classType.getSourceLocation(), null);
- } else {
- if (world.isOverWeaving()) {
- // System.out.println(">> Removing " + requiredTypeName + " from weaving process: "
- // + xcutSet.deleteAspect(rtx));
- } else {
- // weaved in aspect that are not declared in aop.xml
- // trigger an error for now
- // may cause headhache for LTW and packaged lib
- // without aop.xml in
- // see #104218
- if (!xcutSet.containsAspect(rtx)) {
- world.showMessage(IMessage.ERROR, WeaverMessages.format(
- WeaverMessages.REWEAVABLE_ASPECT_NOT_REGISTERED, rtx.getName(), className), null, null);
- } else if (!world.getMessageHandler().isIgnoring(IMessage.INFO)) {
- world.showMessage(IMessage.INFO, WeaverMessages.format(WeaverMessages.VERIFIED_REWEAVABLE_TYPE,
- rtx.getName(), rtx.getSourceLocation().getSourceFile()), null, null);
- }
- }
- alreadyConfirmedReweavableState.add(requiredTypeSignature);
- }
- }
- }
- // old:
- // classType.setJavaClass(Utility.makeJavaClass(classType.getJavaClass
- // ().getFileName(), wsi.getUnwovenClassFileData()));
- // new: reweavable default with clever diff
- if (!world.isOverWeaving()) {
- byte[] bytes = wsi.getUnwovenClassFileData(classType.getJavaClass().getBytes());
- WeaverVersionInfo wvi = classType.getWeaverVersionAttribute();
- JavaClass newJavaClass = Utility.makeJavaClass(classType.getJavaClass().getFileName(), bytes);
- classType.setJavaClass(newJavaClass, true);
- classType.getResolvedTypeX().ensureConsistent();
- }
- // } else {
- // classType.resetState();
- }
- }
-
- private void weaveAndNotify(UnwovenClassFile classFile, BcelObjectType classType, IWeaveRequestor requestor) throws IOException {
- trace.enter("weaveAndNotify", this, new Object[] { classFile, classType, requestor });
-
- ContextToken tok = CompilationAndWeavingContext.enteringPhase(CompilationAndWeavingContext.WEAVING_TYPE, classType
- .getResolvedTypeX().getName());
- LazyClassGen clazz = weaveWithoutDump(classFile, classType);
- classType.finishedWith();
- // clazz is null if the classfile was unchanged by weaving...
- if (clazz != null) {
- UnwovenClassFile[] newClasses = getClassFilesFor(clazz);
- // OPTIMIZE can we avoid using the string name at all in
- // UnwovenClassFile instances?
- // Copy the char[] across as it means the
- // WeaverAdapter.removeFromMap() can be fast!
- if (newClasses[0].getClassName().equals(classFile.getClassName())) {
- newClasses[0].setClassNameAsChars(classFile.getClassNameAsChars());
- }
- for (int i = 0; i < newClasses.length; i++) {
- requestor.acceptResult(newClasses[i]);
- }
- } else {
- requestor.acceptResult(classFile);
- }
- classType.weavingCompleted();
- CompilationAndWeavingContext.leavingPhase(tok);
-
- trace.exit("weaveAndNotify");
- }
-
- /**
- * helper method - will return NULL if the underlying delegate is an EclipseSourceType and not a BcelObjectType
- */
- public BcelObjectType getClassType(String forClass) {
- return BcelWorld.getBcelObjectType(world.resolve(forClass));
- }
-
- public void addParentTypeMungers(String typeName) {
- weaveParentTypeMungers(world.resolve(typeName));
- }
-
- public void addNormalTypeMungers(String typeName) {
- weaveNormalTypeMungers(world.resolve(typeName));
- }
-
- public UnwovenClassFile[] getClassFilesFor(LazyClassGen clazz) {
- List<UnwovenClassFile.ChildClass> childClasses = clazz.getChildClasses(world);
- UnwovenClassFile[] ret = new UnwovenClassFile[1 + childClasses.size()];
- ret[0] = new UnwovenClassFile(clazz.getFileName(), clazz.getClassName(), clazz.getJavaClassBytesIncludingReweavable(world));
- int index = 1;
- for (Iterator<UnwovenClassFile.ChildClass> iter = childClasses.iterator(); iter.hasNext();) {
- UnwovenClassFile.ChildClass element = iter.next();
- UnwovenClassFile childClass = new UnwovenClassFile(clazz.getFileName() + "$" + element.name, element.bytes);
- ret[index++] = childClass;
- }
- return ret;
- }
-
- /**
- * Weaves new parents and annotations onto a type ("declare parents" and "declare @type")
- *
- * Algorithm: 1. First pass, do parents then do annotations. During this pass record: - any parent mungers that don't match but
- * have a non-wild annotation type pattern - any annotation mungers that don't match 2. Multiple subsequent passes which go over
- * the munger lists constructed in the first pass, repeatedly applying them until nothing changes. FIXME asc confirm that
- * algorithm is optimal ??
- */
- public void weaveParentTypeMungers(ResolvedType onType) {
- if (onType.isRawType() || onType.isParameterizedType()) {
- onType = onType.getGenericType();
- }
- onType.clearInterTypeMungers();
-
- List<DeclareParents> decpToRepeat = new ArrayList<DeclareParents>();
-
- boolean aParentChangeOccurred = false;
- boolean anAnnotationChangeOccurred = false;
- // First pass - apply all decp mungers
- for (DeclareParents decp : declareParentsList) {
- boolean typeChanged = applyDeclareParents(decp, onType);
- if (typeChanged) {
- aParentChangeOccurred = true;
- } else {
- decpToRepeat.add(decp);
- }
- }
-
- // Still first pass - apply all dec @type mungers
- for (DeclareAnnotation decA : xcutSet.getDeclareAnnotationOnTypes()) {
- boolean typeChanged = applyDeclareAtType(decA, onType, true);
- if (typeChanged) {
- anAnnotationChangeOccurred = true;
- }
- }
-
- while ((aParentChangeOccurred || anAnnotationChangeOccurred) && !decpToRepeat.isEmpty()) {
- anAnnotationChangeOccurred = aParentChangeOccurred = false;
- List<DeclareParents> decpToRepeatNextTime = new ArrayList<DeclareParents>();
- for (Iterator<DeclareParents> iter = decpToRepeat.iterator(); iter.hasNext();) {
- DeclareParents decp = iter.next();
- boolean typeChanged = applyDeclareParents(decp, onType);
- if (typeChanged) {
- aParentChangeOccurred = true;
- } else {
- decpToRepeatNextTime.add(decp);
- }
- }
-
- for (DeclareAnnotation decA : xcutSet.getDeclareAnnotationOnTypes()) {
- boolean typeChanged = applyDeclareAtType(decA, onType, false);
- if (typeChanged) {
- anAnnotationChangeOccurred = true;
- }
- }
- decpToRepeat = decpToRepeatNextTime;
- }
- }
-
- /**
- * Apply a declare @type - return true if we change the type
- */
- private boolean applyDeclareAtType(DeclareAnnotation decA, ResolvedType onType, boolean reportProblems) {
- boolean didSomething = false;
- if (decA.matches(onType)) {
- AnnotationAJ theAnnotation = decA.getAnnotation();
- // can be null for broken code!
- if (theAnnotation == null) {
- return false;
- }
- if (onType.hasAnnotation(theAnnotation.getType())) {
- // Could put out a lint here for an already annotated type ...
- // if (reportProblems) {
- // world.getLint().elementAlreadyAnnotated.signal(
- // new
- // String[]{onType.toString(),decA.getAnnotationTypeX().toString
- // ()},
- // onType.getSourceLocation(),new
- // ISourceLocation[]{decA.getSourceLocation()});
- // }
- return false;
- }
-
- AnnotationAJ annoX = decA.getAnnotation();
-
- // check the annotation is suitable for the target
- boolean problemReported = verifyTargetIsOK(decA, onType, annoX, reportProblems);
-
- if (!problemReported) {
- AsmRelationshipProvider.addDeclareAnnotationRelationship(world.getModelAsAsmManager(), decA.getSourceLocation(),
- onType.getSourceLocation(), false);
- // TAG: WeavingMessage
- if (!getWorld().getMessageHandler().isIgnoring(IMessage.WEAVEINFO)) {
- getWorld().getMessageHandler().handleMessage(
- WeaveMessage.constructWeavingMessage(
- WeaveMessage.WEAVEMESSAGE_ANNOTATES,
- new String[] { onType.toString(), Utility.beautifyLocation(onType.getSourceLocation()),
- decA.getAnnotationString(), "type", decA.getAspect().toString(),
- Utility.beautifyLocation(decA.getSourceLocation()) }));
- }
- didSomething = true;
- ResolvedTypeMunger newAnnotationTM = new AnnotationOnTypeMunger(annoX);
- newAnnotationTM.setSourceLocation(decA.getSourceLocation());
- onType.addInterTypeMunger(new BcelTypeMunger(newAnnotationTM, decA.getAspect().resolve(world)), false);
- decA.copyAnnotationTo(onType);
- }
- }
- return didSomething;
- }
-
- /**
- * Checks for an @target() on the annotation and if found ensures it allows the annotation to be attached to the target type
- * that matched.
- */
- private boolean verifyTargetIsOK(DeclareAnnotation decA, ResolvedType onType, AnnotationAJ annoX, boolean outputProblems) {
- boolean problemReported = false;
- if (annoX.specifiesTarget()) {
- if ((onType.isAnnotation() && !annoX.allowedOnAnnotationType()) || (!annoX.allowedOnRegularType())) {
- if (outputProblems) {
- if (decA.isExactPattern()) {
- world.getMessageHandler().handleMessage(
- MessageUtil.error(
- WeaverMessages.format(WeaverMessages.INCORRECT_TARGET_FOR_DECLARE_ANNOTATION,
- onType.getName(), annoX.getTypeName(), annoX.getValidTargets()),
- decA.getSourceLocation()));
- } else {
- if (world.getLint().invalidTargetForAnnotation.isEnabled()) {
- world.getLint().invalidTargetForAnnotation.signal(new String[] { onType.getName(), annoX.getTypeName(),
- annoX.getValidTargets() }, decA.getSourceLocation(),
- new ISourceLocation[] { onType.getSourceLocation() });
- }
- }
- }
- problemReported = true;
- }
- }
- return problemReported;
- }
-
- /**
- * Apply a single declare parents - return true if we change the type
- */
- private boolean applyDeclareParents(DeclareParents p, ResolvedType onType) {
- boolean didSomething = false;
- List<ResolvedType> newParents = p.findMatchingNewParents(onType, true);
- if (!newParents.isEmpty()) {
- didSomething = true;
- BcelWorld.getBcelObjectType(onType);
- // System.err.println("need to do declare parents for: " + onType);
- for (ResolvedType newParent : newParents) {
- // We set it here so that the imminent matching for ITDs can
- // succeed - we still haven't done the necessary changes to the class file
- // itself (like transform super calls) - that is done in
- // BcelTypeMunger.mungeNewParent()
- // classType.addParent(newParent);
- onType.addParent(newParent);
- NewParentTypeMunger newParentMunger = new NewParentTypeMunger(newParent, p.getDeclaringType());
- if (p.isMixin()) {
- newParentMunger.setIsMixin(true);
- }
- newParentMunger.setSourceLocation(p.getSourceLocation());
- onType.addInterTypeMunger(new BcelTypeMunger(newParentMunger, xcutSet.findAspectDeclaringParents(p)), false);
- }
- }
- return didSomething;
- }
-
- public void weaveNormalTypeMungers(ResolvedType onType) {
- ContextToken tok = CompilationAndWeavingContext.enteringPhase(CompilationAndWeavingContext.PROCESSING_TYPE_MUNGERS,
- onType.getName());
- if (onType.isRawType() || onType.isParameterizedType()) {
- onType = onType.getGenericType();
- }
- for (ConcreteTypeMunger m : typeMungerList) {
- if (!m.isLateMunger() && m.matches(onType)) {
- onType.addInterTypeMunger(m, false);
- }
- }
- CompilationAndWeavingContext.leavingPhase(tok);
- }
-
- // exposed for ClassLoader dynamic weaving
- public LazyClassGen weaveWithoutDump(UnwovenClassFile classFile, BcelObjectType classType) throws IOException {
- return weave(classFile, classType, false);
- }
-
- // FOR TESTING
- LazyClassGen weave(UnwovenClassFile classFile, BcelObjectType classType) throws IOException {
- LazyClassGen ret = weave(classFile, classType, true);
- return ret;
- }
-
- private LazyClassGen weave(UnwovenClassFile classFile, BcelObjectType classType, boolean dump) throws IOException {
-
- try {
- if (classType.isSynthetic()) { // Don't touch synthetic classes
- if (dump) {
- dumpUnchanged(classFile);
- }
- return null;
- }
- ReferenceType resolvedClassType = classType.getResolvedTypeX();
-
- if (world.isXmlConfigured() && world.getXmlConfiguration().excludesType(resolvedClassType)) {
- if (!world.getMessageHandler().isIgnoring(IMessage.INFO)) {
- world.getMessageHandler().handleMessage(
- MessageUtil.info("Type '" + resolvedClassType.getName()
- + "' not woven due to exclusion via XML weaver exclude section"));
-
- }
- if (dump) {
- dumpUnchanged(classFile);
- }
- return null;
- }
-
- List<ShadowMunger> shadowMungers = fastMatch(shadowMungerList, resolvedClassType);
- List<ConcreteTypeMunger> typeMungers = classType.getResolvedTypeX().getInterTypeMungers();
-
- resolvedClassType.checkInterTypeMungers();
-
- // Decide if we need to do actual weaving for this class
- boolean mightNeedToWeave = shadowMungers.size() > 0 || typeMungers.size() > 0 || classType.isAspect()
- || world.getDeclareAnnotationOnMethods().size() > 0 || world.getDeclareAnnotationOnFields().size() > 0;
-
- // May need bridge methods if on 1.5 and something in our hierarchy is
- // affected by ITDs
- boolean mightNeedBridgeMethods = world.isInJava5Mode() && !classType.isInterface()
- && resolvedClassType.getInterTypeMungersIncludingSupers().size() > 0;
-
- LazyClassGen clazz = null;
- if (mightNeedToWeave || mightNeedBridgeMethods) {
- clazz = classType.getLazyClassGen();
- // System.err.println("got lazy gen: " + clazz + ", " +
- // clazz.getWeaverState());
- try {
- boolean isChanged = false;
-
- if (mightNeedToWeave) {
- isChanged = BcelClassWeaver.weave(world, clazz, shadowMungers, typeMungers, lateTypeMungerList,
- inReweavableMode);
- }
-
- checkDeclareTypeErrorOrWarning(world, classType);
-
- if (mightNeedBridgeMethods) {
- isChanged = BcelClassWeaver.calculateAnyRequiredBridgeMethods(world, clazz) || isChanged;
- }
-
- if (isChanged) {
- if (dump) {
- dump(classFile, clazz);
- }
- return clazz;
- }
- } catch (RuntimeException re) {
- String classDebugInfo = null;
- try {
- classDebugInfo = clazz.toLongString();
- } catch (Throwable e) {
- new RuntimeException("Crashed whilst crashing with this exception: " + e, e).printStackTrace();
- // recover from crash whilst producing debug string
- classDebugInfo = clazz.getClassName();
- }
- String messageText = "trouble in: \n" + classDebugInfo;
- getWorld().getMessageHandler().handleMessage(new Message(messageText, IMessage.ABORT, re, null));
- } catch (Error re) {
- String classDebugInfo = null;
- try {
- classDebugInfo = clazz.toLongString();
- } catch (OutOfMemoryError oome) {
- System.err.println("Ran out of memory creating debug info for an error");
- re.printStackTrace(System.err);
- // recover from crash whilst producing debug string
- classDebugInfo = clazz.getClassName();
- } catch (Throwable e) {
- // recover from crash whilst producing debug string
- classDebugInfo = clazz.getClassName();
- }
- String messageText = "trouble in: \n" + classDebugInfo;
- getWorld().getMessageHandler().handleMessage(new Message(messageText, IMessage.ABORT, re, null));
- }
- } else {
- checkDeclareTypeErrorOrWarning(world, classType);
- }
- // this is very odd return behavior trying to keep everyone happy
-
- // can we remove it from the model now? we know it contains no relationship endpoints...
- AsmManager model = world.getModelAsAsmManager();
- if (world.isMinimalModel() && model != null && !classType.isAspect()) {
- AspectJElementHierarchy hierarchy = (AspectJElementHierarchy) model.getHierarchy();
- String pkgname = classType.getResolvedTypeX().getPackageName();
- String tname = classType.getResolvedTypeX().getSimpleBaseName();
- IProgramElement typeElement = hierarchy.findElementForType(pkgname, tname);
- if (typeElement != null && hasInnerType(typeElement)) {
- // Cannot remove it right now (has inner type), schedule it
- // for possible deletion later if all inner types are
- // removed
- candidatesForRemoval.add(typeElement);
- }
- if (typeElement != null && !hasInnerType(typeElement)) {
- IProgramElement parent = typeElement.getParent();
- // parent may have children: PACKAGE DECL, IMPORT-REFERENCE, TYPE_DECL
- if (parent != null) {
- // if it was the only type we should probably remove
- // the others too.
- parent.removeChild(typeElement);
- if (parent.getKind().isSourceFile()) {
- removeSourceFileIfNoMoreTypeDeclarationsInside(hierarchy, typeElement, parent);
- } else {
- hierarchy.forget(null, typeElement);
- // At this point, the child has been removed. We
- // should now check if the parent is in our
- // 'candidatesForRemoval' set. If it is then that
- // means we were going to remove it but it had a
- // child. Now we can check if it still has a child -
- // if it doesn't it can also be removed!
-
- walkUpRemovingEmptyTypesAndPossiblyEmptySourceFile(hierarchy, tname, parent);
- }
-
- }
- }
- }
-
- if (dump) {
- dumpUnchanged(classFile);
- return clazz;
- } else {
- // ATAJ: the class was not weaved, but since it gets there early it
- // may have new generated inner classes
- // attached to it to support LTW perX aspectOf support (see
- // BcelPerClauseAspectAdder)
- // that aggressively defines the inner <aspect>$mayHaveAspect
- // interface.
- if (clazz != null && !clazz.getChildClasses(world).isEmpty()) {
- return clazz;
- }
- return null;
- }
- } finally {
- world.demote();
- }
- }
-
- private void walkUpRemovingEmptyTypesAndPossiblyEmptySourceFile(AspectJElementHierarchy hierarchy, String tname,
- IProgramElement typeThatHasChildRemoved) {
- // typeThatHasChildRemoved might be a source file, type or a method/ctor
- // - for a method/ctor find the type/sourcefile
- while (typeThatHasChildRemoved != null
- && !(typeThatHasChildRemoved.getKind().isType() || typeThatHasChildRemoved.getKind().isSourceFile())) {
- // this will take us 'up' through methods that contain anonymous
- // inner classes
- typeThatHasChildRemoved = typeThatHasChildRemoved.getParent();
- }
- // now typeThatHasChildRemoved points to the type or sourcefile that has
- // had something removed
- if (candidatesForRemoval.contains(typeThatHasChildRemoved) && !hasInnerType(typeThatHasChildRemoved)) {
- // now we can get rid of it
- IProgramElement parent = typeThatHasChildRemoved.getParent();
- if (parent != null) {
- parent.removeChild(typeThatHasChildRemoved);
- candidatesForRemoval.remove(typeThatHasChildRemoved);
- if (parent.getKind().isSourceFile()) {
- removeSourceFileIfNoMoreTypeDeclarationsInside(hierarchy, typeThatHasChildRemoved, parent);
- // System.out.println("Removed on second pass: " +
- // typeThatHasChildRemoved.getName());
- } else {
- // System.out.println("On later pass, parent of type " +
- // typeThatHasChildRemoved.getName()
- // + " was found not to be a sourcefile, recursing up...");
- walkUpRemovingEmptyTypesAndPossiblyEmptySourceFile(hierarchy, tname, parent);
- }
- }
- }
- }
-
- private void removeSourceFileIfNoMoreTypeDeclarationsInside(AspectJElementHierarchy hierarchy, IProgramElement typeElement,
- IProgramElement sourceFileNode) {
- IProgramElement compilationUnit = sourceFileNode;
- boolean anyOtherTypeDeclarations = false;
- for (IProgramElement child : compilationUnit.getChildren()) {
- IProgramElement.Kind k = child.getKind();
- if (k.isType()) {
- anyOtherTypeDeclarations = true;
- break;
- }
- }
- // If the compilation unit node contained no
- // other types, there is no need to keep it
- if (!anyOtherTypeDeclarations) {
- IProgramElement cuParent = compilationUnit.getParent();
- if (cuParent != null) {
- compilationUnit.setParent(null);
- cuParent.removeChild(compilationUnit);
- }
- // need to update some caches and structures too?
- hierarchy.forget(sourceFileNode, typeElement);
- } else {
- hierarchy.forget(null, typeElement);
- }
- }
-
- // ---- writing
-
- // TODO could be smarter - really only matters if inner type has been woven, but there is a chance we haven't woven it *yet*
- private boolean hasInnerType(IProgramElement typeNode) {
- for (IProgramElement child : typeNode.getChildren()) {
- IProgramElement.Kind kind = child.getKind();
- if (kind.isType()) {
- return true;
- }
- // if (kind == IProgramElement.Kind.ASPECT) {
- // return true;
- // }
- if (kind.isType() || kind == IProgramElement.Kind.METHOD || kind == IProgramElement.Kind.CONSTRUCTOR) {
- boolean b = hasInnerType(child);
- if (b) {
- return b;
- }
- }
- }
- return false;
- }
-
- private void checkDeclareTypeErrorOrWarning(BcelWorld world2, BcelObjectType classType) {
- List<DeclareTypeErrorOrWarning> dteows = world.getDeclareTypeEows();
- for (DeclareTypeErrorOrWarning dteow : dteows) {
- if (dteow.getTypePattern().matchesStatically(classType.getResolvedTypeX())) {
- if (dteow.isError()) {
- world.getMessageHandler().handleMessage(
- MessageUtil.error(dteow.getMessage(), classType.getResolvedTypeX().getSourceLocation()));
- } else {
- world.getMessageHandler().handleMessage(
- MessageUtil.warn(dteow.getMessage(), classType.getResolvedTypeX().getSourceLocation()));
- }
- }
- }
- }
-
- private void dumpUnchanged(UnwovenClassFile classFile) throws IOException {
- if (zipOutputStream != null) {
- writeZipEntry(getEntryName(classFile.getJavaClass().getClassName()), classFile.getBytes());
- } else {
- classFile.writeUnchangedBytes();
- }
- }
-
- private String getEntryName(String className) {
- // XXX what does bcel's getClassName do for inner names
- return className.replace('.', '/') + ".class";
- }
-
- private void dump(UnwovenClassFile classFile, LazyClassGen clazz) throws IOException {
- if (zipOutputStream != null) {
- String mainClassName = classFile.getJavaClass().getClassName();
- writeZipEntry(getEntryName(mainClassName), clazz.getJavaClass(world).getBytes());
- List<UnwovenClassFile.ChildClass> childClasses = clazz.getChildClasses(world);
- if (!childClasses.isEmpty()) {
- for (Iterator<UnwovenClassFile.ChildClass> i = childClasses.iterator(); i.hasNext();) {
- UnwovenClassFile.ChildClass c = i.next();
- writeZipEntry(getEntryName(mainClassName + "$" + c.name), c.bytes);
- }
- }
- } else {
- classFile.writeWovenBytes(clazz.getJavaClass(world).getBytes(), clazz.getChildClasses(world));
- }
- }
-
- private void writeZipEntry(String name, byte[] bytes) throws IOException {
- ZipEntry newEntry = new ZipEntry(name); // ??? get compression scheme
- // right
-
- zipOutputStream.putNextEntry(newEntry);
- zipOutputStream.write(bytes);
- zipOutputStream.closeEntry();
- }
-
- /**
- * Perform a fast match of the specified list of shadowmungers against the specified type. A subset of those that might match is
- * returned.
- *
- * @param list list of all shadow mungers that might match
- * @param type the target type
- * @return a list of shadow mungers that might match with those that cannot (according to fast match rules) removed
- */
- private List<ShadowMunger> fastMatch(List<ShadowMunger> list, ResolvedType type) {
- if (list == null) {
- return Collections.emptyList();
- }
- boolean isOverweaving = world.isOverWeaving();
- WeaverStateInfo typeWeaverState = (isOverweaving ? type.getWeaverState() : null);
-
- // here we do the coarsest grained fast match with no kind constraints
- // this will remove all obvious non-matches and see if we need to do any
- // weaving
- FastMatchInfo info = new FastMatchInfo(type, null, world);
-
- List<ShadowMunger> result = new ArrayList<ShadowMunger>();
-
- if (world.areInfoMessagesEnabled() && world.isTimingEnabled()) {
- for (ShadowMunger munger : list) {
- if (typeWeaverState != null) { // will only be null if overweaving is ON and there is weaverstate
- ResolvedType declaringAspect = munger.getDeclaringType();
- if (typeWeaverState.isAspectAlreadyApplied(declaringAspect)) {
- continue;
- }
- }
- Pointcut pointcut = munger.getPointcut();
- long starttime = System.nanoTime();
- FuzzyBoolean fb = pointcut.fastMatch(info);
- long endtime = System.nanoTime();
- world.recordFastMatch(pointcut, endtime - starttime);
- if (fb.maybeTrue()) {
- result.add(munger);
- }
- }
- } else {
- for (ShadowMunger munger : list) {
- if (typeWeaverState != null) { // will only be null if overweaving is ON and there is weaverstate
- ResolvedType declaringAspect = munger.getConcreteAspect();// getDeclaringType();
- if (typeWeaverState.isAspectAlreadyApplied(declaringAspect)) {
- continue;
- }
- }
- Pointcut pointcut = munger.getPointcut();
- FuzzyBoolean fb = pointcut.fastMatch(info);
- if (fb.maybeTrue()) {
- result.add(munger);
- }
- }
- }
- return result;
- }
-
- public void setReweavableMode(boolean xNotReweavable) {
- inReweavableMode = !xNotReweavable;
- WeaverStateInfo.setReweavableModeDefaults(!xNotReweavable, false, true);
- }
-
- public boolean isReweavable() {
- return inReweavableMode;
- }
-
- public World getWorld() {
- return world;
- }
-
- public void tidyUp() {
- if (trace.isTraceEnabled()) {
- trace.enter("tidyUp", this);
- }
- shadowMungerList = null; // setup by prepareForWeave
- typeMungerList = null; // setup by prepareForWeave
- lateTypeMungerList = null; // setup by prepareForWeave
- declareParentsList = null; // setup by prepareForWeave
- if (trace.isTraceEnabled()) {
- trace.exit("tidyUp");
- }
- }
-
- public void write(CompressingDataOutputStream dos) throws IOException {
- xcutSet.write(dos);
- }
-
- // only called for testing
- public void setShadowMungers(List<ShadowMunger> shadowMungers) {
- shadowMungerList = shadowMungers;
- }
- }
|