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

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

Direct Known Subclasses:

SimplSpecLemma

public class SimplLemma
extends SimplDeclaration

Field Summary

SimplHoareTriplet	hoareTriplet
java.lang.String	name
SimplProcedure	procedure

Constructor Summary

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

Method Summary

java.lang.String	getLocale()
java.lang.String	getName()

Methods inherited from class java.lang.Object

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

Field Detail

name

public final java.lang.String name

hoareTriplet

public final SimplHoareTriplet hoareTriplet

procedure

public final SimplProcedure procedure

Constructor Detail

SimplLemma

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

Method Detail

getLocale

public java.lang.String getLocale()

getName

public java.lang.String getName()