edu.uiowa.cs.clc.kind2.results

Class Log

java.lang.Object

edu.uiowa.cs.clc.kind2.results.Log

public class Log
extends java.lang.Object

Kind2 output log.

Constructor Summary

Constructors

Constructor and Description
Log(Result kind2Result, com.google.gson.JsonElement jsonElement)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getColumn()
java.lang.String	getJson()
Result	getKind2Result()
LogLevel	getLevel()
java.lang.String	getLine()
java.lang.String	getSource()
java.lang.String	getValue()
boolean	isHidden()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Log

public Log(Result kind2Result,
           com.google.gson.JsonElement jsonElement)

Method Detail

getLevel

public LogLevel getLevel()

Returns:

A level that gives a rough guide of the importance of the message. Can be off, fatal, error, warn, note, info, debug, or trace.

getSource

public java.lang.String getSource()

Returns:

The name of the Kind 2 module which wrote the log.

getValue

public java.lang.String getValue()

Returns:

The log message.

getKind2Result

public Result getKind2Result()

Returns:

the associated kind2 result for this log.

getJson

public java.lang.String getJson()

Returns:

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

getLine

public java.lang.String getLine()

Returns:

the associated line in the input file, if any.

getColumn

public java.lang.String getColumn()

Returns:

the associated column in the input file, if any.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isHidden

public boolean isHidden()

Returns:

a boolean that determines whether the current log is printed.