tamago.ext.tamagocc
Class TamagoCCFailCondition

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              tamago.TamagoException
                  tamago.ext.tamagocc.TamagoCCFailCondition

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

TamagoCCFailInvariant, TamagoCCFailPostcondition, TamagoCCFailPrecondition

public abstract class TamagoCCFailCondition
extends TamagoException

Author:

belhaouari TODO To change the template for this generated type comment go to Window - Preferences - Java - Code Style - Code Templates

See Also:

Serialized Form

Field Summary

protected java.util.Collection<TamagoCCFailItem>	failitems
static int	INVARIANT
static int	OTHER
static int	POSTCONDITION
static int	PRECONDITION
protected int	typecondition

Constructor Summary

protected	TamagoCCFailCondition(java.util.Collection<? extends TamagoCCFailItem> failitems, int typeCondition)
protected	TamagoCCFailCondition(java.lang.String expr, java.lang.String message, int typeCondition)

Method Summary

abstract java.lang.String	getMessage()
java.util.Iterator<TamagoCCFailItem>	getTamagoCCFailItem()
int	getTypeCondition()

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Field Detail

OTHER

public static final int OTHER

See Also:

Constant Field Values

PRECONDITION

public static final int PRECONDITION

See Also:

Constant Field Values

POSTCONDITION

public static final int POSTCONDITION

See Also:

Constant Field Values

INVARIANT

public static final int INVARIANT

See Also:

Constant Field Values

typecondition

protected int typecondition

failitems

protected java.util.Collection<TamagoCCFailItem> failitems

Constructor Detail

TamagoCCFailCondition

protected TamagoCCFailCondition(java.util.Collection<? extends TamagoCCFailItem> failitems,
                                int typeCondition)

Parameters:

message -

TamagoCCFailCondition

protected TamagoCCFailCondition(java.lang.String expr,
                                java.lang.String message,
                                int typeCondition)

Method Detail

getTypeCondition

public int getTypeCondition()

getMessage

public abstract java.lang.String getMessage()

Overrides:

getMessage in class java.lang.Throwable

getTamagoCCFailItem

public java.util.Iterator<TamagoCCFailItem> getTamagoCCFailItem()