org.jmlspecs.jml4.esc.gc.lang.expr
Class CfgUnaryExpression

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.expr.CfgExpression
      org.jmlspecs.jml4.esc.gc.lang.expr.CfgUnaryExpression

Direct Known Subclasses:

CfgNotExpression

public abstract class CfgUnaryExpression
extends CfgExpression

Field Summary

CfgExpression

expr

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

sourceEnd, sourceStart, type

Constructor Summary

CfgUnaryExpression(CfgExpression expr, int sourceStart, int sourceEnd)

Method Summary

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

accept, accept, toString

Methods inherited from class java.lang.Object

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

Field Detail

expr

public final CfgExpression expr

Constructor Detail

CfgUnaryExpression

public CfgUnaryExpression(CfgExpression expr,
                          int sourceStart,
                          int sourceEnd)