tamago.ext.tamagocc
Class TamagoCCFailInvariant

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

All Implemented Interfaces:

java.io.Serializable

public class TamagoCCFailInvariant
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

TamagoCCFailInvariant(java.lang.String expr)

TamagoCCFailInvariant(java.lang.String expr, InvariantPosition pos)

TamagoCCFailInvariant(java.lang.String expr, java.lang.String message)

TamagoCCFailInvariant(java.lang.String expr, java.lang.String message, InvariantPosition pos)

Method Summary

java.lang.String	getMessage()
InvariantPosition	getPosition()

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

TamagoCCFailInvariant

public TamagoCCFailInvariant(java.lang.String expr,
                             java.lang.String message)

Parameters:

message -

typeCondition -

TamagoCCFailInvariant

public TamagoCCFailInvariant(java.lang.String expr)

TamagoCCFailInvariant

public TamagoCCFailInvariant(java.lang.String expr,
                             java.lang.String message,
                             InvariantPosition pos)

TamagoCCFailInvariant

public TamagoCCFailInvariant(java.lang.String expr,
                             InvariantPosition pos)

Method Detail

getPosition

public InvariantPosition getPosition()

getMessage

public java.lang.String getMessage()

Specified by:

getMessage in class TamagoCCFailCondition