org.jmlspecs.jml4.fspv.theory.ast
Class TheoryMessageSend

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.ast.TheoryNode
      org.jmlspecs.jml4.fspv.theory.ast.TheoryStatement
          org.jmlspecs.jml4.fspv.theory.ast.TheoryExpression
              org.jmlspecs.jml4.fspv.theory.ast.TheoryMessageSend

public class TheoryMessageSend
extends TheoryExpression

Field Summary

TheoryExpression[]	arguments
TheoryExpression	receiver

Fields inherited from class org.jmlspecs.jml4.fspv.theory.ast.TheoryNode

base, enclosingTheory

Constructor Summary

TheoryMessageSend(ASTNode base, Theory theory, TheoryExpression receiver, TheoryExpression[] arguments)

Method Summary

java.lang.String	getEnclosingType()
java.lang.String	getProcedureName()
java.lang.String	getType()
void	traverse(TheoryVisitor visitor)

Methods inherited from class org.jmlspecs.jml4.fspv.theory.ast.TheoryNode

toString

Methods inherited from class java.lang.Object

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

Field Detail

receiver

public final TheoryExpression receiver

arguments

public final TheoryExpression[] arguments

Constructor Detail

TheoryMessageSend

public TheoryMessageSend(ASTNode base,
                         Theory theory,
                         TheoryExpression receiver,
                         TheoryExpression[] arguments)

Method Detail

traverse

public void traverse(TheoryVisitor visitor)

Specified by:

traverse in class TheoryNode

getType

public java.lang.String getType()

Specified by:

getType in class TheoryExpression

getEnclosingType

public java.lang.String getEnclosingType()

getProcedureName

public java.lang.String getProcedureName()