edu.uiowa.cs.clc.kind2.results

Class ConstDeclInfo

java.lang.Object

edu.uiowa.cs.clc.kind2.results.ConstDeclInfo

All Implemented Interfaces:

AstInfo

public class ConstDeclInfo
extends java.lang.Object
implements AstInfo

Kind2 Constant Declaration Info.

Constructor Summary

Constructors

Constructor and Description
ConstDeclInfo(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()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstDeclInfo

public ConstDeclInfo(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.

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