[aspectj-users] true & false literals in type expressions?

[Matthew Adams <matthew@xxxxxxxxxxxxxxx>]

Is there a type _expression_ meaning "true" or "false"?  What I'd like is to be able to use the primitive literal values "true" & "false" in a type _expression_.  I'd like to replace the use of Bool in the example below with the literals.

public final aspect Bool {

  public static final pointcut true_(): within(*);

  public static final pointcut false_(): !true_();

}

=====

public abstract aspect Super {

  public abstract pointcut qualifyingUsage();

  public pointcut warnOnBadUseOfAnnotation():  Bool.false_();

  declare warning:

    warnOnBadUseOfAnnotation() && qualifyingUsage():

    "incorrect usage of annotation";

}

=====

public aspect Sub {

  public warnOnBadUseOfAnnotation():  Bool.true_();

  public pointcut qualifyingUsage():

    @NotSerializable Serializable+;

}

-matthew

--
mailto:matthew@xxxxxxxxxxxxxxx 

skype:matthewadams12
googletalk:matthew@xxxxxxxxxxxxxxx
http://matthewadams.me
http://www.linkedin.com/in/matthewadams