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

java.lang.Object
  org.jmlspecs.jml4.fspv.simpl.ast.SimplTheoryNode
      org.jmlspecs.jml4.fspv.simpl.ast.SimplHoareTriplet

public class SimplHoareTriplet
extends SimplTheoryNode

Field Summary

SimplStatement	body
SimplHolVariableReference[]	boundVariables
SimplExpression	postcondition
SimplExpression	precondition

Constructor Summary

SimplHoareTriplet(SimplHolVariableReference[] boundVariables, SimplExpression precondition, SimplStatement body, SimplExpression postcondition)

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

boundVariables

public final SimplHolVariableReference[] boundVariables

precondition

public final SimplExpression precondition

body

public final SimplStatement body

postcondition

public final SimplExpression postcondition

Constructor Detail

SimplHoareTriplet

public SimplHoareTriplet(SimplHolVariableReference[] boundVariables,
                         SimplExpression precondition,
                         SimplStatement body,
                         SimplExpression postcondition)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object