org.jmlspecs.jml4.esc.result.lang
Class Result

java.lang.Object
  org.jmlspecs.jml4.esc.result.lang.Result

public class Result
extends java.lang.Object

Field Summary

static Result[]	EMPTY
static Result[]	VALID

Constructor Summary

Result()

Result(KindOfAssertion kindOfAssertion, int assertionPosition, int failedExprStart, int failedExprEnd)

Method Summary

int	assertionPosition()
boolean	equals(java.lang.Object obj)
int	failedExprEnd()
int	failedExprStart()
int	hashCode()
boolean	isValid()
static boolean	isValid(Result[] results)
KindOfAssertion	kindOfAssertion()
static Result[]	removeDuplicates(Result[] results)
void	setVcName(java.lang.String name)
java.lang.String	toString()
java.lang.String	vcName()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

EMPTY

public static final Result[] EMPTY

VALID

public static final Result[] VALID

Constructor Detail

Result

public Result()

Result

public Result(KindOfAssertion kindOfAssertion,
              int assertionPosition,
              int failedExprStart,
              int failedExprEnd)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isValid

public static boolean isValid(Result[] results)

removeDuplicates

public static Result[] removeDuplicates(Result[] results)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

isValid

public boolean isValid()

kindOfAssertion

public KindOfAssertion kindOfAssertion()

failedExprStart

public int failedExprStart()

failedExprEnd

public int failedExprEnd()

assertionPosition

public int assertionPosition()

setVcName

public void setVcName(java.lang.String name)

vcName

public java.lang.String vcName()