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

java.lang.Object
  org.jmlspecs.jml4.fspv.simpl.ast.SimplTheoryNode
      org.jmlspecs.jml4.fspv.simpl.ast.SimplDeclaration
          org.jmlspecs.jml4.fspv.simpl.ast.SimplLemma
              org.jmlspecs.jml4.fspv.simpl.ast.SimplSpecLemma

public class SimplSpecLemma
extends SimplLemma

Field Summary

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

hoareTriplet, name, procedure

Constructor Summary

SimplSpecLemma(java.lang.String name, SimplHoareTriplet hoareTriplet, SimplProcedure procedure)

Method Summary

java.lang.String

toString()

Methods inherited from class org.jmlspecs.jml4.fspv.simpl.ast.SimplLemma

getLocale, getName

Methods inherited from class java.lang.Object

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

Constructor Detail

SimplSpecLemma

public SimplSpecLemma(java.lang.String name,
                      SimplHoareTriplet hoareTriplet,
                      SimplProcedure procedure)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object