⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 revertcheckpointchange.java

📁 Semantic Web Ontology Editor
💻 JAVA
字号:
/* * Created on Mar 1, 2005 * */package org.mindswap.swoop.utils.change;import org.mindswap.swoop.change.ChangeLog;import org.semanticweb.owl.model.OWLException;import org.semanticweb.owl.model.OWLOntology;import org.semanticweb.owl.model.change.ChangeVisitor;import org.semanticweb.owl.model.change.OntologyChange;/** * @author Aditya * */public class RevertCheckpointChange extends OntologyChange {	private SaveCheckpointChange change;	private String description;	private String timeStamp;		public RevertCheckpointChange(OWLOntology ontology, SaveCheckpointChange change, String timeStamp, OntologyChange cause) {		super(ontology, cause);		this.change = change;		this.timeStamp = timeStamp;		parseChange();	}	public void accept(ChangeVisitor visitor) throws OWLException {		// not needed	}		public SaveCheckpointChange getCheckpointChange() {		return change;	}		public String getDescription() {		return description;	}	public String getTimeStamp() {		return timeStamp;	}		private void parseChange() {				// get scope of checkpoint		String scope = "Entity";		if (change.getScope()==ChangeLog.ONTOLOGY_SCOPE) scope = "Ontology";		if (change.getScope()==ChangeLog.WORKSPACE_SCOPE) scope = "Workspace";				// print description of checkpoint		description = "[[[ <b>Reverted to "+scope+" Checkpoint</b> ";		// create a description describing the checkpoint reverted back to		description += " <b>created</b> at: "+ change.getTimeStamp();		description += " with <b>description</b>: "+change.getDescription();		if (!change.getLocationURL().equals("")) description += " at <b>location</b>: "+change.getLocationURL();		description += " ]]]<br>";	}}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -