de.uka.ilkd.key.logic.sort

Class ArraySort.SortKey

java.lang.Object

de.uka.ilkd.key.logic.sort.ArraySort.SortKey

Enclosing class:

ArraySort

private static final class ArraySort.SortKey
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
(package private) Sort	elemSort
(package private) Type	elemType
(package private) Sort	javaLangCloneable
(package private) Sort	javaLangObjectSort
(package private) Sort	javaLangSerializable

Constructor Summary

Constructors

Constructor and Description
SortKey(Sort elemSort, Type elemType, Sort javaLangObjectSort, Sort javaLangCloneable, Sort javaLangSerializable)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

elemSort

final Sort elemSort

elemType

final Type elemType

javaLangObjectSort

final Sort javaLangObjectSort

javaLangSerializable

final Sort javaLangSerializable

javaLangCloneable

final Sort javaLangCloneable

Constructor Detail

SortKey

public SortKey(Sort elemSort,
               Type elemType,
               Sort javaLangObjectSort,
               Sort javaLangCloneable,
               Sort javaLangSerializable)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object