org.aspectj.weaver.ast.Test Maven / Gradle / Ivy

Go to download

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

The AspectJ matcher can be used for matching pointcuts independently of any AspectJ compilation or weaving steps. Most notably, this can be used by frameworks such as Spring AOP which utilise the @AspectJ pointcut syntax but implement aspect weaving in a way independent of AspectJ, e.g. using dynamic proxies.

There is a newer version: 1.9.22.1

Show newest version

/* *******************************************************************
 * 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.ast;

import org.aspectj.weaver.Member;
import org.aspectj.weaver.ResolvedType;

public abstract class Test extends ASTNode {

    public Test() {
        super();
    }

    public abstract void accept(ITestVisitor v);

    public static Test makeAnd(Test a, Test b) {
//    	if (a == Literal.NO_TEST) return b;
//    	if (b == Literal.NO_TEST) return a;
        if (a == Literal.TRUE) {
            if (b == Literal.TRUE) {
                return a;
            } else {
                return b;
            }
        } else if (b == Literal.TRUE) {
            return a;
        } else if (a == Literal.FALSE || b == Literal.FALSE) {
            return Literal.FALSE;
        } else {
            return new And(a, b);
        }
    }

    public static Test makeOr(Test a, Test b) {
//    	if (a == Literal.NO_TEST) return a;
//    	if (b == Literal.NO_TEST) return b;
        if (a == Literal.FALSE) {
        	return b;
        } else if (b == Literal.FALSE) {
            return a;
        } else if (a == Literal.TRUE || b == Literal.TRUE) {
            return Literal.TRUE;
        } else {
            return new Or(a, b);
        }
    }

    public static Test makeNot(Test a) {
        if (a instanceof Not) {
            return ((Not) a).getBody();
        } else if (a == Literal.TRUE) {
            return Literal.FALSE;
        } else if (a == Literal.FALSE) {
            return Literal.TRUE;
//        } else if (a == Literal.NO_TEST) {
//        	return a;
        } else {
            return new Not(a);
        }
    }

    // uses our special rules that anything matches object
    public static Test makeInstanceof(Var v, ResolvedType ty) {
        if (ty.equals(ResolvedType.OBJECT)) return Literal.TRUE;

        Test e;
        if (ty.isAssignableFrom(v.getType())) e = Literal.TRUE;
        else if (! ty.isCoerceableFrom(v.getType())) e = Literal.FALSE;
        else e = new Instanceof(v, ty);
        return e;
    }

    public static Test makeHasAnnotation(Var v, ResolvedType annTy) {
        return new HasAnnotation(v,annTy);
    }

    public static Test makeCall(Member m, Expr[] args) {
    	return new Call(m, args);
    }
    public static Test makeFieldGetCall(Member f, Member m, Expr[] args) {
    	return new FieldGetCall(f, m, args);
    }

}