That's correct: if() is disallowed in DE/DW. Further, though, the form
"if(true)" seem nonintuitive; is there room also for simply "true" &
"false"?
On Wed, Oct 9, 2013 at 1:59 AM, Andy Clement <andrew.clem...@gmail.com>wrote:
> > 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
>
>
--
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
