// return the resource as a stream
private InputStream mapResource(String publicId) {
if (publicId == null || id2resource == null) return null;
String resourceName = (String) id2resource.get(publicId);
ClassLoader loader = null;
if (resourceName == null) return null;
if (id2loader != null) loader = (ClassLoader) id2loader.get(publicId);
if (loader == null) return ClassLoader.getSystemResourceAsStream(resourceName);
return loader.getResourceAsStream(resourceName);
}
// 응용프로그램에서 이미지 출력을 하기 위한 메소드
public void showImage() throws Exception {
for (int i = 0; i < vUnparsedEntityDecl.size(); i++) {
UnparsedEntityDecl ued = (UnparsedEntityDecl) vUnparsedEntityDecl.elementAt(i);
URL urlImageFile = new URL(ued.systemId);
String imageFile = URLDecoder.decode(urlImageFile.getFile(), "euc-kr");
imageFile = imageFile.replaceAll("/C:", "C:");
NotationDecl nd = (NotationDecl) hNotationDecl.get(ued.notationName);
URL urlHelperProgram = new URL(nd.systemId);
String helperProgram = URLDecoder.decode(urlHelperProgram.getFile(), "euc-kr");
helperProgram = helperProgram.replaceAll("/C:", "C:");
String command = helperProgram + " " + imageFile;
System.out.println(command);
Process process = Runtime.getRuntime().exec(command);
}
}
/**
* Reads the children of an XML element and matches them to properties of a bean.
*
* @param ob The bean to receive the values
* @param element The element the corresponds to the bean
* @throws IOException If there is an error reading the document
*/
public void readObject(Object ob, Element element) throws IOException {
// If the object is null, skip the element
if (ob == null) {
return;
}
try {
BeanInfo info = (BeanInfo) beanCache.get(ob.getClass());
if (info == null) {
// Get the bean info for the object
info = Introspector.getBeanInfo(ob.getClass(), Object.class);
beanCache.put(ob.getClass(), info);
}
// Get the object's properties
PropertyDescriptor[] props = info.getPropertyDescriptors();
// Get the attributes of the node
NamedNodeMap attrs = element.getAttributes();
// Get the children of the XML element
NodeList nodes = element.getChildNodes();
int numNodes = nodes.getLength();
for (int i = 0; i < props.length; i++) {
// Treat indexed properties a little differently
if (props[i] instanceof IndexedPropertyDescriptor) {
readIndexedProperty(ob, (IndexedPropertyDescriptor) props[i], nodes, attrs);
} else {
readProperty(ob, props[i], nodes, attrs);
}
}
} catch (IntrospectionException exc) {
throw new IOException(
"Error getting bean info for " + ob.getClass().getName() + ": " + exc.toString());
}
}
/** SAX entity resolver */
public InputSource resolveEntity(String name, String uri) throws IOException, SAXException {
InputSource retval;
String mappedURI = name2uri(name);
InputStream stream = mapResource(name);
// prefer explicit URI mappings, then bundled resources...
if (mappedURI != null) {
retval = new InputSource(mappedURI);
retval.setPublicId(name);
return retval;
} else if (stream != null) {
uri = "java:resource:" + (String) id2resource.get(name); // NOI18N
retval = new InputSource(stream);
retval.setPublicId(name);
return retval;
} else {
return null;
}
}
public Track getTrack(String key) {
return (Track) hash.get(key);
}
public static PetriNet convert(ConfigurableEPC baseEPC) {
HashMap<EPCFunction, Transition> functionActivityMapping;
HashMap<EPCConnector, Place> xorconnectorChoiceMapping;
// HV: Initialize the mappings.
functionActivityMapping = new HashMap<EPCFunction, Transition>();
xorconnectorChoiceMapping = new HashMap<EPCConnector, Place>();
// Check to use the weights if necessary
// HV: Add both mappings. On completion, these will be filledd.
PetriNet petrinet =
EPCToPetriNetConverter.convert(
baseEPC, new HashMap(), functionActivityMapping, xorconnectorChoiceMapping);
HashSet visible = new HashSet();
// HV: The next block is taken care of by the functionActivityMapping
// below.
/*
* Iterator it = petrinet.getTransitions().iterator(); while
* (it.hasNext()) { Transition t = (Transition) it.next(); if (t.object
* instanceof EPCFunction) { // if (t.getLogEvent() != null) { // Add
* transitions with LogEvent (i.e. referring to functions)
* visible.add(t); } }
*/
// HV: Prevent the places mapped onto from being reduced.
visible.addAll(functionActivityMapping.values());
visible.addAll(xorconnectorChoiceMapping.values());
Message.add(visible.toString(), Message.DEBUG);
Iterator it = petrinet.getPlaces().iterator();
while (it.hasNext()) {
Place p = (Place) it.next();
if (p.inDegree() * p.outDegree() == 0) {
// Add Initial and final places to visible, i.e. places that
// refer to in and output events
visible.add(p);
}
}
// Reduce the PetriNet with Murata rules, while keeping the visible ones
PetriNetReduction pnred = new PetriNetReduction();
pnred.setNonReducableNodes(visible);
HashMap pnMap = new HashMap(); // Used to map pre-reduction nodes to
// post-reduction nodes.
PetriNet reduced = pnred.reduce(petrinet, pnMap);
if (reduced != petrinet) {
// Update both mappings from pre-reduction nodes to post-reduction
// nodes.
HashMap<EPCFunction, Transition> newFunctionActivityMapping =
new HashMap<EPCFunction, Transition>();
for (EPCFunction function : functionActivityMapping.keySet()) {
Transition transition = (Transition) functionActivityMapping.get(function);
if (pnMap.keySet().contains(transition)) {
newFunctionActivityMapping.put(function, (Transition) pnMap.get(transition));
}
}
functionActivityMapping = newFunctionActivityMapping;
HashMap<EPCConnector, Place> newXorconnectorChoiceMapping =
new HashMap<EPCConnector, Place>();
for (EPCConnector connector : xorconnectorChoiceMapping.keySet()) {
Place place = (Place) xorconnectorChoiceMapping.get(connector);
if (pnMap.keySet().contains(place)) {
newXorconnectorChoiceMapping.put(connector, (Place) pnMap.get(place));
}
}
xorconnectorChoiceMapping = newXorconnectorChoiceMapping;
}
reduced.makeClusters();
// filter the \nunknown:normal
ArrayList<Transition> alTrans = reduced.getVisibleTasks();
for (int i = 0; i < alTrans.size(); i++) {
Transition t = alTrans.get(i);
String id = t.getIdentifier();
int idx = id.indexOf("\\nunknown:normal");
if (idx > 0) {
id = id.substring(0, idx);
}
// �˴������ֵ��ѯ�滻���е�label
String mappedId = htDict.get(id);
if (mappedId != null) {
t.setIdentifier(mappedId);
} else {
t.setIdentifier(id);
}
}
return reduced;
}
// maps the public ID to an alternate URI, if one is registered
private String name2uri(String publicId) {
if (publicId == null || id2uri == null) return null;
return (String) id2uri.get(publicId);
}
