MulTEx: API and demo documentation: Class Assertion.Failure

Package

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

multex
Class Assertion.Failure

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--java.lang.RuntimeException
                    |
                    +--multex.Failure
                          |
                          +--multex.Assertion.Failure

Enclosing class:: Assertion

public static class Assertion.Failure
extends Failure

Indicates that an assertion failed. An assertion should always be true. Any failing of an assertion thus has to be considered as a programming error. You should use assertions for indicating the violation of invariants or postconditions. For indicating the violation of a precondition you should better use individually named exceptions.

See Also:: Serialized Form

Field Summary

java.lang.String name
          The name of the failed Assertion, mostly it should be the failed condition as a String

Constructor Summary

Assertion.Failure(java.lang.String i_name)
          Indicates that the assertion i_name failed

Assertion.Failure(java.lang.String i_name, java.lang.Object i_par0)
          Indicates that the assertion i_name failed with parameters

Assertion.Failure(java.lang.String i_name, java.lang.Object[] i_parameters)
          Indicates that the assertion i_name failed with parameters

Assertion.Failure(java.lang.String i_name, java.lang.Object i_par0, java.lang.Object i_par1)
          Indicates that the assertion i_name failed with parameters

Assertion.Failure(java.lang.String i_name, java.lang.Object i_par0, java.lang.Object i_par1, java.lang.Object i_par2)
          Indicates that the assertion i_name failed with parameters

Assertion.Failure(java.lang.String i_name, java.lang.Object i_par0, java.lang.Object i_par1, java.lang.Object i_par2, java.lang.Object i_par3)
          Indicates that the assertion i_name failed with parameters

Assertion.Failure(java.lang.String i_name, java.lang.Object i_par0, java.lang.Object i_par1, java.lang.Object i_par2, java.lang.Object i_par3, java.lang.Object i_par4)
          Indicates that the assertion i_name failed with parameters

Assertion.Failure(java.lang.String i_name, java.lang.Object i_par0, java.lang.Object i_par1, java.lang.Object i_par2, java.lang.Object i_par3, java.lang.Object i_par4, java.lang.Object i_par5)
          Indicates that the assertion i_name failed with parameters

Assertion.Failure(java.lang.String i_name, java.lang.Object i_par0, java.lang.Object i_par1, java.lang.Object i_par2, java.lang.Object i_par3, java.lang.Object i_par4, java.lang.Object i_par5, java.lang.Object i_par6)
          Indicates that the assertion i_name failed with parameters

Assertion.Failure(java.lang.String i_name, java.lang.Object i_par0, java.lang.Object i_par1, java.lang.Object i_par2, java.lang.Object i_par3, java.lang.Object i_par4, java.lang.Object i_par5, java.lang.Object i_par6, java.lang.Object i_par7)
          Indicates that the assertion i_name failed with parameters

Assertion.Failure(java.lang.String i_name, java.lang.Object i_par0, java.lang.Object i_par1, java.lang.Object i_par2, java.lang.Object i_par3, java.lang.Object i_par4, java.lang.Object i_par5, java.lang.Object i_par6, java.lang.Object i_par7, java.lang.Object i_par8)
          Indicates that the assertion i_name failed with parameters

Assertion.Failure(java.lang.String i_name, java.lang.Object i_par0, java.lang.Object i_par1, java.lang.Object i_par2, java.lang.Object i_par3, java.lang.Object i_par4, java.lang.Object i_par5, java.lang.Object i_par6, java.lang.Object i_par7, java.lang.Object i_par8, java.lang.Object i_par9)
          Indicates that the assertion i_name failed with parameters

Methods inherited from class multex.Failure

cause, cause, getDefaultMessageTextPattern, getMessage, printCompactStackTrace, printStackTrace, printStackTrace, printStackTrace

Methods inherited from class java.lang.Throwable

fillInStackTrace, getLocalizedMessage, toString

Methods inherited from class java.lang.Object

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

Field Detail

name

public java.lang.String name

The name of the failed Assertion, mostly it should be the failed condition as a String

Constructor Detail