| |
|
| java.lang.Object de.uka.ilkd.key.proof.mgt.JavaModelMethod
getCallSignature | public String getCallSignature(boolean translateJavaType2OCLTypes)(Code) | | |
getContainingClassName | public String getContainingClassName()(Code) | | |
getContainingPackage | public String getContainingPackage()(Code) | | |
getMyOperationContracts | public ListOfOperationContract getMyOperationContracts()(Code) | | |
getNumParameters | public int getNumParameters()(Code) | | |
getParameterNameAt | public String getParameterNameAt(int i)(Code) | | |
getParameterTypeAt | public String getParameterTypeAt(int i)(Code) | | |
hasOrigParent | public boolean hasOrigParent()(Code) | | |
hashCode | public int hashCode()(Code) | | |
isConstructor | public boolean isConstructor()(Code) | | |
isModel | public boolean isModel()(Code) | | returns true if method is a model method.
|
isPrivate | public boolean isPrivate()(Code) | | |
isQuery | public boolean isQuery()(Code) | | |
isVoid | public boolean isVoid()(Code) | | |
setMyModifClause | public void setMyModifClause(String modifClause)(Code) | | |
setMyPostCond | public void setMyPostCond(String postcond)(Code) | | |
|
|
|