edu.uiowa.cs.clc.kind2.results

Interface AstInfo

All Known Implementing Classes:

ConstDeclInfo, ContractInfo, FunctionInfo, NodeInfo, TypeDeclInfo

public interface AstInfo

Kind2 AST Info interface.

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

Method Detail

getJson

java.lang.String getJson()

Returns:

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

getName

java.lang.String getName()

Returns:

The component name.

getFile

java.lang.String getFile()

Returns:

the uri of the file, if any.

getStartLine

java.lang.String getStartLine()

Returns:

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

getStartColumn

java.lang.String getStartColumn()

Returns:

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

getEndLine

java.lang.String getEndLine()

Returns:

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

getEndColumn

java.lang.String getEndColumn()

Returns:

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

toString

java.lang.String toString()

Overrides:

toString in class java.lang.Object