edu.umd.cfar.lamp.viper.gui.core
Class LOCAL_HISTORY

java.lang.Object
  edu.umd.cfar.lamp.viper.gui.core.LOCAL_HISTORY

public class LOCAL_HISTORY

extends java.lang.Object

Vocabulary for ViPER-GT preferences.

Field Summary

static com.hp.hpl.jena.rdf.model.Property	forFile The user file to which the entry refers.
static com.hp.hpl.jena.rdf.model.Resource	LocalHistoryEntry Indicates that there was an entry in the local history describing a given file.
static com.hp.hpl.jena.rdf.model.Property	savedAs Indicates the name of the local history entry on disk, if it exists.
static com.hp.hpl.jena.rdf.model.Property	timeStamp The last time stamp in the local history.
static com.hp.hpl.jena.rdf.model.Resource	Untitled Resource for representing the file that has not yet been saved.
protected static java.lang.String	uri

Constructor Summary

LOCAL_HISTORY()

Method Summary

static java.lang.String	getURI() Returns the URI for this schema, http://viper-toolkit.sourceforge.net/owl/gt/localHistory#.
static com.hp.hpl.jena.datatypes.xsd.XSDDateTime	whenSaved(com.hp.hpl.jena.rdf.model.Resource localHistoryEntry) Get when entry saved, according to the localHistor:savedAs property.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

uri

protected static final java.lang.String uri

See Also:

Constant Field Values

LocalHistoryEntry

public static final com.hp.hpl.jena.rdf.model.Resource LocalHistoryEntry

Indicates that there was an entry in the local history describing a given file.

Untitled

public static final com.hp.hpl.jena.rdf.model.Resource Untitled

Resource for representing the file that has not yet been saved. Having only one is alright for now, as gtv4 doesn't support having multiple files open at a time.

forFile

public static final com.hp.hpl.jena.rdf.model.Property forFile

The user file to which the entry refers. For the untitled document, refer to localHistory:Untitled

timeStamp

public static final com.hp.hpl.jena.rdf.model.Property timeStamp

The last time stamp in the local history. To determine if a file needs to be resurrected from the history, compare its timeStamp to the mru:viewedOn value for the file the mru list entry to which the local history entry refers. If the entry is localHistory:Untitled, it suffices that any entry on the mru list comes after the timeStamp.

savedAs

public static final com.hp.hpl.jena.rdf.model.Property savedAs

Indicates the name of the local history entry on disk, if it exists.

Constructor Detail

LOCAL_HISTORY

public LOCAL_HISTORY()

Method Detail

getURI

public static java.lang.String getURI()

Returns the URI for this schema, http://viper-toolkit.sourceforge.net/owl/gt/localHistory#.

Returns:

the URI for this schema

whenSaved

public static com.hp.hpl.jena.datatypes.xsd.XSDDateTime whenSaved(com.hp.hpl.jena.rdf.model.Resource localHistoryEntry)

Get when entry saved, according to the localHistor:savedAs property.

Parameters:

localHistoryEntry - the local history resource

Returns:

the date associated with the given resource