net.mtu.eggplant.dbc
Class InvariantCondition

java.lang.Object
  net.mtu.eggplant.dbc.InvariantCondition

public class InvariantCondition

extends Object

Version:

$Revision: 1.4 $

Constructor Summary

InvariantCondition(Token condition, Token message)

Method Summary

Token	getCondition()
Token	getMessage()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

InvariantCondition

public InvariantCondition(Token condition,
                          Token message)

Method Detail

getCondition

public final Token getCondition()

getMessage

public final Token getMessage()

toString

public String toString()