org.jmlspecs.jml4.fspv.simpl.ast
Class SimplFieldReference

java.lang.Object
  org.jmlspecs.jml4.fspv.simpl.ast.SimplTheoryNode
      org.jmlspecs.jml4.fspv.simpl.ast.SimplStatement
          org.jmlspecs.jml4.fspv.simpl.ast.SimplExpression
              org.jmlspecs.jml4.fspv.simpl.ast.SimplFieldReference

public class SimplFieldReference
extends SimplExpression

Field Summary

SimplExpression	expression
SimplExpression	receiver

Fields inherited from class org.jmlspecs.jml4.fspv.simpl.ast.SimplExpression

RESULT, THIS, THIS_EQUAL_PRE_THIS, THIS_NOT_NULL

Fields inherited from class org.jmlspecs.jml4.fspv.simpl.ast.SimplStatement

SKIP

Constructor Summary

SimplFieldReference(SimplExpression receiver, SimplExpression expression)

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

receiver

public final SimplExpression receiver

expression

public final SimplExpression expression

Constructor Detail

SimplFieldReference

public SimplFieldReference(SimplExpression receiver,
                           SimplExpression expression)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object