📄 defaultgraphport.java
字号:
package org.enhydra.jawe.components.graph;/** * Used to define Port object in graph. * * @author Sasa Bojanic */public class DefaultGraphPort extends GraphPortInterface { protected String type; /** * Creates activity with given userObject. Also creates default port * for holding activity transitions. */ public DefaultGraphPort(String name,String type) { super(name); this.type=type; } public GraphActivityInterface getActivity () { return (GraphActivityInterface)getParent(); } public String getType () { return type; } }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -