|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface VDMModule
Implementing this interface allows an object to become a module suitable for serialization for use with Auditorium.
| Method Summary | |
|---|---|
java.lang.String |
getName()
Returns the name of the module. |
java.lang.String |
getVersion()
Returns the version of the module. |
| Method Detail |
|---|
java.lang.String getName()
java.lang.String getVersion()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||