public class ProblemInformation
extends java.lang.Object
FindProblemInformation
,
without any previous interpretation of the AST.
This class contains rather the raw information, e.g. classpaths are not completed with current working dir.
Rather the values are provided as in the KeyAst.File
.
Further work may require, like in KeYFile#readJavaPath()
.
FindProblemInformation
Constructor and Description |
---|
ProblemInformation() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getBootClassPath() |
java.lang.String |
getChooseContract() |
java.util.List<java.lang.String> |
getClasspath() |
java.lang.String |
getJavaSource() |
java.lang.String |
getPreferences() |
java.lang.String |
getProfile() |
java.lang.String |
getProofObligation() |
boolean |
isHasProblemTerm() |
void |
setBootClassPath(java.lang.String bootClassPath) |
void |
setChooseContract(java.lang.String chooseContract) |
void |
setHasProblemTerm(boolean hasProblemTerm) |
void |
setJavaSource(java.lang.String javaSource) |
void |
setPreferences(java.lang.String preferences) |
void |
setProfile(java.lang.String profile) |
void |
setProofObligation(java.lang.String proofObligation) |
@Nullable public java.lang.String getChooseContract()
public void setChooseContract(@Nullable java.lang.String chooseContract)
@Nullable public java.lang.String getProofObligation()
public void setProofObligation(@Nullable java.lang.String proofObligation)
@Nullable public java.lang.String getProfile()
public void setProfile(@Nullable java.lang.String profile)
@Nullable public java.lang.String getPreferences()
public void setPreferences(@Nullable java.lang.String preferences)
@Nullable public java.lang.String getBootClassPath()
public void setBootClassPath(@Nullable java.lang.String bootClassPath)
@Nullable public java.lang.String getJavaSource()
public void setJavaSource(@Nullable java.lang.String javaSource)
@Nonnull public java.util.List<java.lang.String> getClasspath()
public boolean isHasProblemTerm()
public void setHasProblemTerm(boolean hasProblemTerm)
Copyright © 2003-2019 The KeY-Project.