org.jmlspecs.jml4.esc.gc.lang.simple.expr
Class SimpleUnaryExpression

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleExpression
      org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleUnaryExpression

Direct Known Subclasses:

SimpleNotExpression

public abstract class SimpleUnaryExpression
extends SimpleExpression

Field Summary

SimpleExpression

expr

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleExpression

sourceEnd, sourceStart, type

Constructor Summary

SimpleUnaryExpression(SimpleExpression expr, int sourceStart, int sourceEnd)

Method Summary

Methods inherited from class org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleExpression

accept, accept, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

expr

public final SimpleExpression expr

Constructor Detail

SimpleUnaryExpression

public SimpleUnaryExpression(SimpleExpression expr,
                             int sourceStart,
                             int sourceEnd)