org.qedeq.kernel.se.common
Class RuleKey

java.lang.Object
  org.qedeq.kernel.se.common.RuleKey

public final class RuleKey
extends java.lang.Object

Rule key, describing a certain version of a rule.

Author:

Michael Meyling

Constructor Summary

RuleKey(java.lang.String name, java.lang.String version)
Constructor.

Method Summary

boolean	equals(java.lang.Object obj)
java.lang.String	getName() Get rule name.
java.lang.String	getVersion() Get rule version.
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

RuleKey

public RuleKey(java.lang.String name,
               java.lang.String version)

Constructor.

Parameters:

name - Rule name.

version - Rule argument number.

Method Detail

getName

public java.lang.String getName()

Get rule name.

Returns:

Rule name.

getVersion

public java.lang.String getVersion()

Get rule version.

Returns:

Rule version.

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object