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

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

public class SugaredArrayAllocationExpression
extends SugaredExpression

Field Summary

SugaredExpression[]	dims
int[]	ids

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

EMPTY, sourceEnd, sourceStart, type

Constructor Summary

SugaredArrayAllocationExpression(int[] ids, SugaredExpression[] dims, TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

SimpleExpression	accept(DesugaringVisitor visitor)
SugaredExpression	accept(SugaredExpressionVisitor visitor)
java.lang.String	toString()

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

clearSourcePosition, equals, hashCode

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

ids

public final int[] ids

dims

public final SugaredExpression[] dims

Constructor Detail

SugaredArrayAllocationExpression

public SugaredArrayAllocationExpression(int[] ids,
                                        SugaredExpression[] dims,
                                        TypeBinding type,
                                        int sourceStart,
                                        int sourceEnd)

Method Detail

accept

public SimpleExpression accept(DesugaringVisitor visitor)

Specified by:

accept in class SugaredExpression

accept

public SugaredExpression accept(SugaredExpressionVisitor visitor)

Specified by:

accept in class SugaredExpression

toString

public java.lang.String toString()

Specified by:

toString in class SugaredExpression