|
| |
|
| java.lang.Object
 javax.swing.tree.DefaultMutableTreeNode
de.uka.ilkd.key.proof.mgt.BasicTask
| BasicTask | | public class BasicTask extends DefaultMutableTreeNode implements TaskTreeNode(Code) | | Captures a node in the TaskTree which contains exactly one
proof. Such a node is the only one with a one to one mapping
between TaskTreeNode and Proof. It may be a sub task of a more
complex task such as ProofListTask.
|
| BasicTask | | public BasicTask(ProofAggregate pl)(Code) | | creates a task with a single proof. The given proof list must
contain exactly one proof.
|
| allProofs | | public Proof[] allProofs()(Code) | | returns all proofs attached to this basic task
|
| decoupleFromEnv | | public void decoupleFromEnv()(Code) | | removes the associated proof from their environment
|
| getAllDLMethodContracts | | public ContractSet getAllDLMethodContracts()(Code) | | returns a list of method contracts that were used in the
associated proof.
|
| getAllMethodContracts | | public ContractSet getAllMethodContracts()(Code) | | returns a list of method contracts that were used in the
associated proof.
|
| getRootTask | | public TaskTreeNode getRootTask()(Code) | | returns the upper most task this basic task belongs to.
|
| getStatus | | public ProofStatus getStatus()(Code) | | asks the proof management component of the associated proofs
for the status of the associated proof .
|
|
|
|