if(true)/if(false) requires no grammar change. true/false requires grammar
changes, which *greatly* increase the size of the work.
Andy
On 9 October 2013 14:40, Matthew Adams <matt...@matthewadams.me> wrote:
> 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
>
>
_______________________________________________
aspectj-users mailing list
aspectj-users@eclipse.org
https://dev.eclipse.org/mailman/listinfo/aspectj-users
