public class Property
extends java.lang.Object
| Constructor and Description |
|---|
Property(Analysis analysis,
com.google.gson.JsonElement jsonElement) |
| Modifier and Type | Method and Description |
|---|---|
Analysis |
getAnalysis() |
Answer |
getAnswer() |
java.lang.String |
getColumn() |
CounterExample |
getCounterExample() |
java.lang.String |
getFile() |
java.lang.String |
getJson() |
com.google.gson.JsonElement |
getJsonElement() |
java.lang.String |
getJsonName() |
Result |
getKind2Result() |
java.lang.Integer |
getKInductionStep() |
java.lang.String |
getLine() |
java.lang.String |
getName() |
java.lang.String |
getQualifiedName() |
java.lang.String |
getScope() |
PropertyType |
getSource() |
java.lang.String |
getTrueFor() |
java.lang.String |
toString() |
public Property(Analysis analysis, com.google.gson.JsonElement jsonElement)
public java.lang.String toString()
toString in class java.lang.Objectpublic com.google.gson.JsonElement getJsonElement()
public java.lang.String getJson()
public java.lang.String getJsonName()
public java.lang.String getName()
public Result getKind2Result()
public java.lang.String getScope()
public java.lang.String getFile()
public java.lang.String getLine()
public java.lang.String getColumn()
public Answer getAnswer()
public PropertyType getSource()
public CounterExample getCounterExample()
public java.lang.String getTrueFor()
public java.lang.Integer getKInductionStep()
public java.lang.String getQualifiedName()
public Analysis getAnalysis()