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

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

public class SimplProofObligation
extends SimplDeclaration

Field Summary

java.lang.String	imports
SimplProcedure	procedure
SimplLemma	specLemma

Constructor Summary

SimplProofObligation(SimplProcedure proc, SimplLemma specLemma)

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

procedure

public final SimplProcedure procedure

specLemma

public final SimplLemma specLemma

imports

public java.lang.String imports

Constructor Detail

SimplProofObligation

public SimplProofObligation(SimplProcedure proc,
                            SimplLemma specLemma)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object