| java.lang.Object de.uka.ilkd.key.visualdebugger.DebuggerPO
DebuggerPO | public DebuggerPO(String name)(Code) | | creates an instance of this proof obligation
Parameters: name - a String with a short describing name what is computed |
askUserForEnvironment | public boolean askUserForEnvironment()(Code) | | |
initJavaModelSettings | public void initJavaModelSettings(String classPath)(Code) | | |
readActivatedChoices | public void readActivatedChoices()(Code) | | |
readSpecs | public void readSpecs()(Code) | | |
setConfig | public void setConfig(InitConfig i)(Code) | | the initial config containing for example the services which provide
access to the Java model
|
setIndices | public void setIndices(TacletIndex taclets, BuiltInRuleIndex builtInRules)(Code) | | the indices with the rules to be used for specification computation
Parameters: taclets - the TacletIndex with the taclet rule base to be used Parameters: builtInRules - the BuiltInRuleIndex with all available built-in rules |
setPCImpl | public void setPCImpl(ListOfTerm l1, ListOfTerm l2)(Code) | | |
setProofSettings | public void setProofSettings(ProofSettings settings)(Code) | | the proof settings to be used
Parameters: settings - the ProofSettings to be used for e.g. the updatesimplifier to be taken |
setSpecFormula | public void setSpecFormula(ListOfTerm specFormula)(Code) | | |
setSpecFormula | public void setSpecFormula(Term specFormula)(Code) | | the formula with the program whose specification has to be computed
Parameters: specFormula - the Term to be loaded |
setTerms | public void setTerms(ListOfTerm terms)(Code) | | |
startProtocol | public void startProtocol()(Code) | | |
|
|