|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.multijava.mjc.JTypeDeclaration.MethodRecord
| Field Summary | |
(package private) CSourceMethod |
methodSig
The signature of this method. |
(package private) boolean |
needsDispatcher
If true then this method requires a dispatcher; if false this method may or may not require a dispatcher depending on the other method in the context. |
(package private) CMethod |
topConcreteMethod
The top concrete method of this method's generic function. |
(package private) String |
topSig
String representation of the signature of the top method. |
(package private) TokenReference |
where
|
| Constructor Summary | |
(package private) |
JTypeDeclaration.MethodRecord(JMethodDeclarationType methodDecl)
|
| Method Summary | |
int |
compareTo(Object o)
Imposes an ordering based on identity and signature of the top methods. |
private String |
topSig()
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
TokenReference where
boolean needsDispatcher
CSourceMethod methodSig
CMethod topConcreteMethod
String topSig
| Constructor Detail |
JTypeDeclaration.MethodRecord(JMethodDeclarationType methodDecl)
| Method Detail |
public int compareTo(Object o)
compareTo in interface Comparableprivate String topSig()
|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||