tamago.ext.tamagocc
Class TamagoCCFailPostcondition

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

All Implemented Interfaces:

java.io.Serializable

public class TamagoCCFailPostcondition
extends TamagoCCFailCondition

Author:

belhaouari

See Also:

Serialized Form

Field Summary

Fields inherited from class tamago.ext.tamagocc.TamagoCCFailCondition

failitems, INVARIANT, OTHER, POSTCONDITION, PRECONDITION, typecondition

Constructor Summary

TamagoCCFailPostcondition(java.util.Collection<TamagoCCFailItem> failitems)

Method Summary

java.lang.String

getMessage()

Methods inherited from class tamago.ext.tamagocc.TamagoCCFailCondition

getTamagoCCFailItem, 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

Constructor Detail

TamagoCCFailPostcondition

public TamagoCCFailPostcondition(java.util.Collection<TamagoCCFailItem> failitems)

Parameters:

message -

typeCondition -

Method Detail

getMessage

public java.lang.String getMessage()

Specified by:

getMessage in class TamagoCCFailCondition