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

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

public class SimpleMessageSend
extends SimpleExpression

Field Summary

SimpleExpression[]	actualParams
int	countForLabels
SimpleVarDecl[]	formalParams
SimpleExpression	post
SimpleExpression	pre
SimpleExpression	receiver
java.lang.String	selector

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

sourceEnd, sourceStart, type

Constructor Summary

SimpleMessageSend(int countForLabels, SimpleExpression receiver, java.lang.String selector, SimpleVarDecl[] formalParams, SimpleExpression[] actualParams, TypeBinding type, SimpleExpression pre, SimpleExpression post, int sourceStart, int sourceEnd)

Method Summary

CfgExpression	accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
SimpleExpression	accept(SimpleExprVisitor visitor)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

receiver

public final SimpleExpression receiver

selector

public final java.lang.String selector

formalParams

public final SimpleVarDecl[] formalParams

actualParams

public final SimpleExpression[] actualParams

pre

public final SimpleExpression pre

post

public final SimpleExpression post

countForLabels

public final int countForLabels

Constructor Detail

SimpleMessageSend

public SimpleMessageSend(int countForLabels,
                         SimpleExpression receiver,
                         java.lang.String selector,
                         SimpleVarDecl[] formalParams,
                         SimpleExpression[] actualParams,
                         TypeBinding type,
                         SimpleExpression pre,
                         SimpleExpression post,
                         int sourceStart,
                         int sourceEnd)

Method Detail

accept

public CfgExpression accept(PassifyVisitor visitor,
                            IncarnationMap incarnationMap)

Specified by:

accept in class SimpleExpression

accept

public SimpleExpression accept(SimpleExprVisitor visitor)

Specified by:

accept in class SimpleExpression

toString

public java.lang.String toString()

Specified by:

toString in class SimpleExpression