JTP API Documentation

Uses of Class
jtp.undo.Snapshot

Packages that use Snapshot
jtp.context.daml Provides a DAML+OIL configuration and interface for JTP. 
jtp.context.rdf   
jtp.ui   
jtp.undo   
 

Uses of Snapshot in jtp.context.daml
 

Methods in jtp.context.daml with parameters of type Snapshot
 void DamlReasoningContext.writeDaml(Writer writer, Snapshot snap, String baseUri, Map prefixes)
          Deprecated. Use RDFReasoningContext.writeRDF(Writer, Snapshot, String, Map).
 

Uses of Snapshot in jtp.context.rdf
 

Methods in jtp.context.rdf with parameters of type Snapshot
 com.hp.hpl.jena.rdf.model.Model RDFModelCreator.getModelForAssertions(Snapshot s, SnapshotUndoManager undoMgr)
           
 void RDFReasoningContext.writeRDF(Writer writer, Snapshot snap, String baseUri, Map prefixes)
          A method for writing a portion of JTP's KB in RDF/XML format.
 com.hp.hpl.jena.rdf.model.Model RDFReasoningContext.getModelForAssertions(Snapshot snap)
           
 

Uses of Snapshot in jtp.ui
 

Methods in jtp.ui that return Snapshot
 Snapshot RDFQueryAnswerer.RevertToCheckpoint.getCheckpoint()
           
 

Methods in jtp.ui with parameters of type Snapshot
 void RDFQueryAnswerer.RevertToCheckpoint.setCheckpoint(Snapshot newCheckpoint)
           
 

Uses of Snapshot in jtp.undo
 

Methods in jtp.undo that return Snapshot
 Snapshot SnapshotUndoManager.getSnapshot()
          Returns a snapshot that can later be used to revert to this point in the edits.
 

Methods in jtp.undo with parameters of type Snapshot
 void SnapshotUndoManager.revertToSnapshot(Snapshot s)
          Reverts to point identified by s.
 List SnapshotUndoManager.getObjectsToldSinceSnapshot(Snapshot s)
           
 


JTP API Documentation