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

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

public class SugaredMessageSend
extends SugaredExpression

Field Summary

SugaredExpression[]	actualParams
int	countForLabels
SugaredVarDecl[]	formalParams
SugaredExpression	post
SugaredExpression	pre
SugaredExpression	receiver
java.lang.String	selector

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

EMPTY, sourceEnd, sourceStart, type

Constructor Summary

SugaredMessageSend(int countForLabels, SugaredExpression receiver, java.lang.String selector, SugaredVarDecl[] formalParams, SugaredExpression[] actualParams, TypeBinding type, SugaredExpression pre, SugaredExpression post, 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

receiver

public final SugaredExpression receiver

selector

public final java.lang.String selector

formalParams

public final SugaredVarDecl[] formalParams

actualParams

public final SugaredExpression[] actualParams

pre

public final SugaredExpression pre

post

public final SugaredExpression post

countForLabels

public final int countForLabels

Constructor Detail

SugaredMessageSend

public SugaredMessageSend(int countForLabels,
                          SugaredExpression receiver,
                          java.lang.String selector,
                          SugaredVarDecl[] formalParams,
                          SugaredExpression[] actualParams,
                          TypeBinding type,
                          SugaredExpression pre,
                          SugaredExpression post,
                          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