📄 xmlelementchangeinfo.java
字号:
package org.enhydra.shark.xpdl;import java.util.ArrayList;import java.util.HashMap;import java.util.List;import java.util.Map;/** * Structure representing info for the change of some XMLElement. * * @author Sasa Bojanic */public class XMLElementChangeInfo { public static final int UPDATED=1; public static final int INSERTED=3; public static final int REMOVED=5; public static final int REPOSITIONED=7; private static Map actionToNameMap=new HashMap(); static { actionToNameMap.put(new Integer(XMLElementChangeInfo.UPDATED), "UPDATED"); actionToNameMap.put(new Integer(XMLElementChangeInfo.INSERTED), "INSERTED"); actionToNameMap.put(new Integer(XMLElementChangeInfo.REMOVED), "REMOVED"); actionToNameMap.put(new Integer(XMLElementChangeInfo.REPOSITIONED), "REPOSITIONED"); } protected XMLElement changedElement; protected Object oldValue; protected Object newValue; protected List changedSubElements=new ArrayList(); protected int action; public int getAction() { return this.action; } public void setAction(int action) { this.action = action; } public List getChangedSubElements() { return new ArrayList(this.changedSubElements); } public void setChangedSubElements(List changedSubElements) { if (changedSubElements!=null) { this.changedSubElements = new ArrayList(changedSubElements); } } public Object getNewValue() { return this.newValue; } public void setNewValue(Object newValue) { this.newValue = newValue; } public Object getOldValue() { return this.oldValue; } public void setOldValue(Object oldValue) { this.oldValue = oldValue; } public XMLElement getChangedElement() { return this.changedElement; } public void setChangedElement(XMLElement changedElement) { this.changedElement = changedElement; } public String getActionName () { return (String)XMLElementChangeInfo.actionToNameMap.get(new Integer(action)); } public String toString (){ String ret="Action="+getActionName()+", Changed element="; if (changedElement instanceof XMLCollectionElement) { ret+=((XMLCollectionElement)changedElement).getId(); } else if (changedElement!=null) { ret+=changedElement.toName(); } else { ret+="null"; } if (changedElement!=null) { if (changedElement.getParent()!=null) { ret+=", parent="+changedElement.getParent().getClass().getName(); } else { ret+=", parent=null"; } } return ret; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -