123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149 |
- /* *******************************************************************
- * 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 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:
- * PARC initial implementation
- * ******************************************************************/
-
- package org.aspectj.weaver.patterns;
-
- import java.io.IOException;
- import java.util.Map;
-
- import org.aspectj.bridge.MessageUtil;
- import org.aspectj.util.FuzzyBoolean;
- import org.aspectj.weaver.CompressingDataOutputStream;
- import org.aspectj.weaver.ISourceContext;
- import org.aspectj.weaver.IntMap;
- import org.aspectj.weaver.ResolvedType;
- import org.aspectj.weaver.Shadow;
- import org.aspectj.weaver.VersionedDataInputStream;
- import org.aspectj.weaver.WeaverMessages;
- import org.aspectj.weaver.World;
- import org.aspectj.weaver.ast.Literal;
- import org.aspectj.weaver.ast.Test;
-
- public class WithincodePointcut extends Pointcut {
- private SignaturePattern signature;
- private static final int matchedShadowKinds;
- static {
- int flags = Shadow.ALL_SHADOW_KINDS_BITS;
- for (int i = 0; i < Shadow.SHADOW_KINDS.length; i++) {
- if (Shadow.SHADOW_KINDS[i].isEnclosingKind()) {
- flags -= Shadow.SHADOW_KINDS[i].bit;
- }
- }
- // these next two are needed for inlining of field initializers
- flags |= Shadow.ConstructorExecution.bit;
- flags |= Shadow.Initialization.bit;
- matchedShadowKinds = flags;
- }
-
- public WithincodePointcut(SignaturePattern signature) {
- this.signature = signature;
- this.pointcutKind = WITHINCODE;
- }
-
- public SignaturePattern getSignature() {
- return signature;
- }
-
- public int couldMatchKinds() {
- return matchedShadowKinds;
- }
-
- public Pointcut parameterizeWith(Map typeVariableMap, World w) {
- WithincodePointcut ret = new WithincodePointcut(signature.parameterizeWith(typeVariableMap, w));
- ret.copyLocationFrom(this);
- return ret;
- }
-
- public FuzzyBoolean fastMatch(FastMatchInfo type) {
- return FuzzyBoolean.MAYBE;
- }
-
- protected FuzzyBoolean matchInternal(Shadow shadow) {
- // This will not match code in local or anonymous classes as if
- // they were withincode of the outer signature
- return FuzzyBoolean.fromBoolean(signature.matches(shadow.getEnclosingCodeSignature(), shadow.getIWorld(), false));
- }
-
- public void write(CompressingDataOutputStream s) throws IOException {
- s.writeByte(Pointcut.WITHINCODE);
- signature.write(s);
- writeLocation(s);
- }
-
- public static Pointcut read(VersionedDataInputStream s, ISourceContext context) throws IOException {
- WithincodePointcut ret = new WithincodePointcut(SignaturePattern.read(s, context));
- ret.readLocation(context, s);
- return ret;
- }
-
- public void resolveBindings(IScope scope, Bindings bindings) {
- signature = signature.resolveBindings(scope, bindings);
-
- // look for inappropriate use of parameterized types and tell user...
- HasThisTypePatternTriedToSneakInSomeGenericOrParameterizedTypePatternMatchingStuffAnywhereVisitor visitor = new HasThisTypePatternTriedToSneakInSomeGenericOrParameterizedTypePatternMatchingStuffAnywhereVisitor();
- signature.getDeclaringType().traverse(visitor, null);
- if (visitor.wellHasItThen/* ? */()) {
- scope.message(MessageUtil.error(WeaverMessages
- .format(WeaverMessages.WITHINCODE_DOESNT_SUPPORT_PARAMETERIZED_DECLARING_TYPES), getSourceLocation()));
- }
-
- visitor = new HasThisTypePatternTriedToSneakInSomeGenericOrParameterizedTypePatternMatchingStuffAnywhereVisitor();
- signature.getThrowsPattern().traverse(visitor, null);
- if (visitor.wellHasItThen/* ? */()) {
- scope.message(MessageUtil.error(WeaverMessages.format(WeaverMessages.NO_GENERIC_THROWABLES), getSourceLocation()));
- }
- }
-
- public void postRead(ResolvedType enclosingType) {
- signature.postRead(enclosingType);
- }
-
- public boolean equals(Object other) {
- if (!(other instanceof WithincodePointcut)) {
- return false;
- }
- WithincodePointcut o = (WithincodePointcut) other;
- return o.signature.equals(this.signature);
- }
-
- public int hashCode() {
- int result = 43;
- result = 37 * result + signature.hashCode();
- return result;
- }
-
- public String toString() {
- return "withincode(" + signature + ")";
- }
-
- protected Test findResidueInternal(Shadow shadow, ExposedState state) {
- return match(shadow).alwaysTrue() ? Literal.TRUE : Literal.FALSE;
- }
-
- public Pointcut concretize1(ResolvedType inAspect, ResolvedType declaringType, IntMap bindings) {
- Pointcut ret = new WithincodePointcut(signature);
- ret.copyLocationFrom(this);
- return ret;
- }
-
- public Object accept(PatternNodeVisitor visitor, Object data) {
- return visitor.visit(this, data);
- }
-
- @Override
- public Object traverse(PatternNodeVisitor visitor, Object data) {
- Object ret = accept(visitor, data);
- if (this.signature != null)
- this.signature.traverse(visitor, ret);
- return ret;
- }
- }
|