|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
@Contract public interface Animal
Interface used for testing contract inheritance.
Field Summary | |
---|---|
static java.lang.String |
speciesName
|
Method Summary | |
---|---|
java.lang.String |
getFullName()
|
int |
getNumberOfLegs()
|
java.lang.String |
getSpeciesName()
|
void |
setNumberOfLegs(int number)
|
Field Detail |
---|
static final java.lang.String speciesName
Method Detail |
---|
java.lang.String getSpeciesName()
int getNumberOfLegs()
void setNumberOfLegs(int number)
java.lang.String getFullName()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |