Skip to main content
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [aspectj-users] true & false literals in type expressions?
Fair enough.  I entered an issue for tracking purposes:  https://bugs.eclipse.org/bugs/show_bug.cgi?id=419038


On Wed, Oct 9, 2013 at 9:06 AM, Andy Clement <andrew.clement@xxxxxxxxx> wrote:
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 <matthew@xxxxxxxxxxxxxxx> 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.clement@xxxxxxxxx> 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 <matthew@xxxxxxxxxxxxxxx> 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+;
}


_______________________________________________
aspectj-users mailing list
aspectj-users@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/aspectj-users



_______________________________________________
aspectj-users mailing list
aspectj-users@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/aspectj-users




--
mailto:matthew@xxxxxxxxxxxxxxx 

_______________________________________________
aspectj-users mailing list
aspectj-users@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/aspectj-users



_______________________________________________
aspectj-users mailing list
aspectj-users@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/aspectj-users




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

Back to the top