|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object edu.umd.cfar.lamp.viper.gui.core.PrintVersion
Print the version number to the command line.
Constructor Summary | |
PrintVersion()
|
Method Summary | |
void |
invoke(PrefsManager prefs,
com.hp.hpl.jena.rdf.model.Resource def,
java.lang.String value)
Invokes the given trigger using the given command line value, if it exists. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public PrintVersion()
Method Detail |
public void invoke(PrefsManager prefs, com.hp.hpl.jena.rdf.model.Resource def, java.lang.String value)
TriggerHandler
invoke
in interface TriggerHandler
prefs
- The preferences to modify.def
- The RDF resource that defined the handlervalue
- The value passed from the command line or java property.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |