public abstract class SpecificationEntity
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
SpecificationEntity.Field |
static class |
SpecificationEntity.Parameter |
static class |
SpecificationEntity.ReturnValue |
Modifier and Type | Field and Description |
---|---|
java.lang.String |
inClass |
java.lang.String |
inPackage |
de.uka.ilkd.key.util.rifl.SpecificationEntity.Type |
type |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
abstract int |
hashCode() |
abstract java.lang.String |
qualifiedName() |
java.lang.String |
toString() |
public final java.lang.String inPackage
public final java.lang.String inClass
public final de.uka.ilkd.key.util.rifl.SpecificationEntity.Type type
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public abstract int hashCode()
hashCode
in class java.lang.Object
public abstract java.lang.String qualifiedName()
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.