org.jmlspecs.jml4.esc.gc.lang.sugared.expr
Class SugaredUnaryExpression

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredExpression
      org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredUnaryExpression

Direct Known Subclasses:

SugaredNotExpression

public abstract class SugaredUnaryExpression
extends SugaredExpression

Field Summary

SugaredExpression

expr

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredExpression

EMPTY, sourceEnd, sourceStart, type

Constructor Summary

SugaredUnaryExpression(SugaredExpression expr, int sourceStart, int sourceEnd)

Method Summary

Methods inherited from class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredExpression

accept, accept, clearSourcePosition, equals, hashCode, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

expr

public final SugaredExpression expr

Constructor Detail

SugaredUnaryExpression

public SugaredUnaryExpression(SugaredExpression expr,
                              int sourceStart,
                              int sourceEnd)