Package com.articulate.sigma

Class ErrRec

java.lang.Object

com.articulate.sigma.ErrRec

public class ErrRec
extends Object

Represents a single diagnostic error or warning produced by KIF checking. This class is immutable.

Field Summary

Fields

Modifier and Type	Field	Description
final int	end
static final int	ERROR
final String	file
final int	line
final String	msg
final int	start
final int	type
static final int	WARNING

Constructor Summary

Constructors

Constructor	Description
ErrRec()
ErrRec(int type, String file, int line, int start, int end, String msg)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)	Override equals() for deep comparison of all fields.
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

ERROR

public static final int ERROR

See Also:

• Constant Field Values

WARNING

public static final int WARNING

See Also:

• Constant Field Values

type

public final int type

file

public final String file

line

public final int line

start

public final int start

end

public final int end

msg

public final String msg

Constructor Details

ErrRec

public ErrRec(int type,
 String file,
 int line,
 int start,
 int end,
 String msg)

ErrRec

public ErrRec()

Method Details

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Override equals() for deep comparison of all fields.

Overrides:

equals in class Object