ExceptionHandling.java « base « concretizeNpe « bugs « tests - aspectj.git - A seamless aspect-oriented extension to the Java programming language: https://github.com/eclipse-aspectj/aspectj

index : aspectj.git

A seamless aspect-oriented extension to the Java programming language: https://github.com/eclipse-aspectj/aspectj

www-data

summary refs log tree commit diff stats

path: root/tests/bugs/concretizeNpe/base/ExceptionHandling.java

blob: 5f63ad61a258ea73109cea58a64d665c5d916696 (plain)

package base;

public abstract aspect ExceptionHandling {
    public abstract pointcut scope();
    declare soft: Exception: scope();
}