Package: IProofObligation

IProofObligation

Coverage

1: package org.overture.pog.pub;
2:
3: import java.io.Serializable;
4:
5: import org.overture.ast.intf.lex.ILexLocation;
6: import org.overture.ast.node.INode;
7: import org.overture.pof.AVdmPoTree;
8:
9: public interface IProofObligation extends Comparable<IProofObligation>,
10:                 Serializable
11: {
12:
13:         String getName();
14:
15:         String getUniqueName();
16:
17:         String getIsaName();
18:
19:         String getFullPredString();
20:
21:         String getDefPredString();
22:
23:         AVdmPoTree getValueTree();
24:
25:         String toString();
26:
27:         int getNumber();
28:
29:         POType getKind();
30:
31:         POStatus getStatus();
32:
33:         String getKindString();
34:
35:         void setStatus(POStatus status);
36:
37:         void setNumber(int i);
38:
39:         ILexLocation getLocation();
40:
41:         INode getNode();
42:
43:         String getLocale();
44: }