netelement.java
来自「Rakiura JFern是一个非常轻型的带有模拟器的Petri网络框架」· Java 代码 · 共 57 行
JAVA
57 行
// This is copyrighted source file, part of Rakiura JFern package. // See the file LICENSE for copyright information and the terms and conditions// for copying, distributing and modifications of Rakiura JFern package.// Copyright (C) 1999-2002 by Mariusz Nowostawski and others [http://www.rakiura.org]package org.rakiura.cpn;/** * Represents an abstract node element. * *<br><br> * NetElement.java<br> * Created: Mon Sep 25 12:01:13 2000<br> * *@author <a href="mariusz@rakiura.org">Mariusz Nowostawski</a> *@version 2.1.0 $Revision: 1.7 $ *@since 1.0 */public interface NetElement extends java.io.Serializable { /**/ String NOID = "noid"; /** * Returns this element ID. *@return this element ID. */ String getID(); /** * Returns the name of this node. Names are useful for easy * referencing net nodes. *@return name of this node. */ String getName(); /** * Sets the name of this net element. * Names are useful for easy referencing * net nodes. *@param aName a new name for this node. *@return old name of this node. */ String setName(final String aName); /** * Visitor pattern. *@param aVisitor visitor *@return this net element */ NetElement apply(final NetVisitor aVisitor); } // NetElement//////////////////// end of file ////////////////////
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?