> Is there a type expression meaning "true" or "false"?

The pointcut component you could use is if(true) or if(false). Which I know
internally are optimized to true/false - but I think the declare warning
checking code currently polices that you can't use if  in deow - it should
probably make an exception for if(true)/if(false) because we know they are
special.

Andy


On 8 October 2013 11:55, Matthew Adams <matt...@matthewadams.me> wrote:

> 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:matt...@matthewadams.me <matt...@matthewadams.me>
> skype:matthewadams12
> googletalk:matt...@matthewadams.me
> http://matthewadams.me
> http://www.linkedin.com/in/matthewadams
>
> _______________________________________________
> aspectj-users mailing list
> aspectj-users@eclipse.org
> https://dev.eclipse.org/mailman/listinfo/aspectj-users
>
>
_______________________________________________
aspectj-users mailing list
aspectj-users@eclipse.org
https://dev.eclipse.org/mailman/listinfo/aspectj-users

Reply via email to