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

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

public class CfgArrayAllocationExpression
extends CfgExpression

Field Summary

CfgExpression[]	dims
int[]	ids

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

sourceEnd, sourceStart, type

Constructor Summary

CfgArrayAllocationExpression(int[] ids, CfgExpression[] dims, TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

CfgExpression	accept(CfgExpressionVisitor visitor)
VC	accept(WlpVisitor visitor)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

ids

public final int[] ids

dims

public final CfgExpression[] dims

Constructor Detail

CfgArrayAllocationExpression

public CfgArrayAllocationExpression(int[] ids,
                                    CfgExpression[] dims,
                                    TypeBinding type,
                                    int sourceStart,
                                    int sourceEnd)

Method Detail

accept

public VC accept(WlpVisitor visitor)

Specified by:

accept in class CfgExpression

accept

public CfgExpression accept(CfgExpressionVisitor visitor)

Specified by:

accept in class CfgExpression

toString

public java.lang.String toString()

Specified by:

toString in class CfgExpression