本文整理汇总了Java中fr.lip6.move.pnml.framework.utils.ModelRepository.getCurrentIdRepository方法的典型用法代码示例。如果您正苦于以下问题：Java ModelRepository.getCurrentIdRepository方法的具体用法？Java ModelRepository.getCurrentIdRepository怎么用？Java ModelRepository.getCurrentIdRepository使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类fr.lip6.move.pnml.framework.utils.ModelRepository的用法示例。
在下文中一共展示了ModelRepository.getCurrentIdRepository方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: fuseDocuments
import fr.lip6.move.pnml.framework.utils.ModelRepository; //导入方法依赖的package包/类
/**
* Fuse documents of two given workspace in one. All net of second document
* will now belong in first one.
*
* @param WsId1
* id of first Document Workspace
* @param WsId2
* id of second Document Workspace
* @throws InvalidIDException
* if an unexisting workspace is given or if duplicated id
* exists between the two workspaces
* @throws VoidRepositoryException
* if Model repository has not been initializated.
* @throws OtherException
* if a problem occure with classes
*/
public static void fuseDocuments(String WsId1, String WsId2)
throws InvalidIDException, VoidRepositoryException, OtherException {
PetriNetDocHLAPI doc1;
PetriNetDocHLAPI doc2;
IdRepository idr1;
IdRepository idr2;
ModelRepository mr = ModelRepository.getInstance();
mr.changeCurrentDocWorkspace(WsId1);
if (mr.getCurrentHLAPIRootClass() !=null && mr.getCurrentHLAPIRootClass().getClass().equals(
PetriNetDocHLAPI.class)) {
doc1 = (PetriNetDocHLAPI) mr.getCurrentHLAPIRootClass();
idr1 = mr.getCurrentIdRepository();
} else {
throw new OtherException(
"The HLAPIRootClass is not of the expected type");
}
mr.changeCurrentDocWorkspace(WsId2);
if (mr.getCurrentHLAPIRootClass() !=null && mr.getCurrentHLAPIRootClass().getClass().equals(
PetriNetDocHLAPI.class)) {
doc2 = (PetriNetDocHLAPI) mr.getCurrentHLAPIRootClass();
idr2 = mr.getCurrentIdRepository();
} else {
throw new OtherException(
"The HLAPIRootClass is not of the expected type");
}
mr.changeCurrentDocWorkspace(WsId1);
if (!idr1.isCompatible(idr2))
throw new InvalidIDException(
"Common ids exists between the two workspaces");
for (PetriNetHLAPI net : doc2.getNetsHLAPI()) {
doc1.addNetsHLAPI(net);
}
idr1.fuseWith(idr2);
mr.changeCurrentDocWorkspace(WsId2);
mr.destroyCurrentWorkspace();
mr.changeCurrentDocWorkspace(WsId1);
}