|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
This interface is implemented by all classes that represent top-level declarations in MultiJava, i.e., all open-class declarations.
| Method Summary | |
void |
accept(MjcVisitor p)
Accepts the specified visitor |
CMember |
checkInterface(CContextType context)
Checks the basic interfaces to make sure things generally look OK. |
CType |
getOpenClassType()
Returns the type that this open member extends |
boolean |
isExternal()
Indicates whether this member is external. |
| Method Detail |
public void accept(MjcVisitor p)
p - the visitorpublic CType getOpenClassType()
public boolean isExternal()
public CMember checkInterface(CContextType context)
throws PositionedError
PositionedError - if any checks fail
|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||