org.aspectj.weaver.PoliceExtensionUse Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of aspectjtools Show documentation

AspectJ tools most notably contains the AspectJ compiler (AJC). AJC applies aspects to Java classes during compilation, fully replacing Javac for plain Java classes and also compiling native AspectJ or annotation-based @AspectJ syntax. Furthermore, AJC can weave aspects into existing class files in a post-compile binary weaving step. This library is a superset of AspectJ weaver and hence also of AspectJ runtime.

There is a newer version: 1.9.22.1

Show newest version

/*******************************************************************************
 * Copyright (c) 2006 IBM
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v 2.0
 * which accompanies this distribution, and is available at
 * https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.txt
 *
 * Contributors:
 *    Andy Clement - initial API and implementation
 *******************************************************************************/
package org.aspectj.weaver;

import org.aspectj.bridge.IMessage;
import org.aspectj.bridge.MessageUtil;
import org.aspectj.weaver.patterns.AbstractPatternNodeVisitor;
import org.aspectj.weaver.patterns.AndPointcut;
import org.aspectj.weaver.patterns.KindedPointcut;
import org.aspectj.weaver.patterns.NotPointcut;
import org.aspectj.weaver.patterns.OrPointcut;
import org.aspectj.weaver.patterns.Pointcut;

/**
 * Walks a pointcut and determines if the synchronization related designators have been used: lock() or unlock()
 */
public class PoliceExtensionUse extends AbstractPatternNodeVisitor {

	private boolean synchronizationDesignatorEncountered;
	private World world;
	private Pointcut p;

	public PoliceExtensionUse(World w, Pointcut p) {
		this.world = w;
		this.p = p;
		this.synchronizationDesignatorEncountered = false;
	}

	public boolean synchronizationDesignatorEncountered() {
		return synchronizationDesignatorEncountered;
	}

	public Object visit(KindedPointcut node, Object data) {
		if (world == null)
			return super.visit(node, data); // error scenario can sometimes lead to this LazyClassGen.toLongString()
		if (node.getKind() == Shadow.SynchronizationLock || node.getKind() == Shadow.SynchronizationUnlock)
			synchronizationDesignatorEncountered = true;
		// Check it!
		if (!world.isJoinpointSynchronizationEnabled()) {
			if (node.getKind() == Shadow.SynchronizationLock) {
				IMessage m = MessageUtil.warn(
						"lock() pointcut designator cannot be used without the option -Xjoinpoints:synchronization", p
								.getSourceLocation());
				world.getMessageHandler().handleMessage(m);
			} else if (node.getKind() == Shadow.SynchronizationUnlock) {
				IMessage m = MessageUtil.warn(
						"unlock() pointcut designator cannot be used without the option -Xjoinpoints:synchronization", p
								.getSourceLocation());
				world.getMessageHandler().handleMessage(m);
			}
		}
		return super.visit(node, data);
	}

	public Object visit(AndPointcut node, Object data) {
		node.getLeft().accept(this, data);
		node.getRight().accept(this, data);
		return node;
	}

	public Object visit(NotPointcut node, Object data) {
		node.getNegatedPointcut().accept(this, data);
		return node;
	}

	public Object visit(OrPointcut node, Object data) {
		node.getLeft().accept(this, data);
		node.getRight().accept(this, data);
		return node;
	}

}