edu.uiowa.cs.clc.kind2.results

Class FunctionInfo

java.lang.Object

edu.uiowa.cs.clc.kind2.results.FunctionInfo

All Implemented Interfaces:

AstInfo

public class FunctionInfo
extends java.lang.Object
implements AstInfo

Kind2 Function Info.

Constructor Summary

Constructors

Constructor and Description
FunctionInfo(com.google.gson.JsonElement jsonElement)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getEndColumn()
java.lang.String	getEndLine()
java.lang.String	getFile()
java.lang.String	getJson()
java.lang.String	getName()
java.lang.String	getStartColumn()
java.lang.String	getStartLine()
boolean	isImported()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

FunctionInfo

public FunctionInfo(com.google.gson.JsonElement jsonElement)

Method Detail

getJson

public java.lang.String getJson()

Specified by:

getJson in interface AstInfo

Returns:

The original kind2 output for this object in pretty json format.

getName

public java.lang.String getName()

Specified by:

getName in interface AstInfo

Returns:

The component name.

isImported

public boolean isImported()

Returns:

whether or not this function is imported.

getFile

public java.lang.String getFile()

Specified by:

getFile in interface AstInfo

Returns:

the uri of the file, if any.

getStartLine

public java.lang.String getStartLine()

Specified by:

getStartLine in interface AstInfo

Returns:

the associated start line in the input file, if any.

getStartColumn

public java.lang.String getStartColumn()

Specified by:

getStartColumn in interface AstInfo

Returns:

the associated start column in the input file, if any.

getEndLine

public java.lang.String getEndLine()

Specified by:

getEndLine in interface AstInfo

Returns:

the associated end line in the input file, if any.

getEndColumn

public java.lang.String getEndColumn()

Specified by:

getEndColumn in interface AstInfo

Returns:

the associated end column in the input file, if any.

toString

public java.lang.String toString()

Specified by:

toString in interface AstInfo

Overrides:

toString in class java.lang.Object