edu.uiowa.cs.clc.kind2.results

Class Property

java.lang.Object

edu.uiowa.cs.clc.kind2.results.Property

public class Property
extends java.lang.Object

This class stores information about kind2 properties.

Constructor Summary

Constructors

Constructor and Description
Property(Analysis analysis, com.google.gson.JsonElement jsonElement)

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Property

public Property(Analysis analysis,
                com.google.gson.JsonElement jsonElement)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getJsonElement

public com.google.gson.JsonElement getJsonElement()

getJson

public java.lang.String getJson()

getJsonName

public java.lang.String getJsonName()

getName

public java.lang.String getName()

getKind2Result

public Result getKind2Result()

getScope

public java.lang.String getScope()

getFile

public java.lang.String getFile()

getLine

public java.lang.String getLine()

getColumn

public java.lang.String getColumn()

getAnswer

public Answer getAnswer()

getSource

public PropertyType getSource()

getCounterExample

public CounterExample getCounterExample()

getTrueFor

public java.lang.String getTrueFor()

getKInductionStep

public java.lang.Integer getKInductionStep()

getQualifiedName

public java.lang.String getQualifiedName()

getAnalysis

public Analysis getAnalysis()