📄 eventveci.java
字号:
/** * A vector of events. Also encodes the appropriate EventDescI for this * class. * * @author Waleed Kadous * @version $Id: EventVecI.java,v 1.1.1.1 2002/06/28 07:36:16 waleed Exp $ */package tclass; public interface EventVecI { /** * Get the number of events in this Vector * * @return number of events */ public abstract int size(); /** * Add an event to this vector * * @param s The stream to be added */ public abstract void add(EventI s); /** * Set the EventDescI for this vector. * * @param evd The new EventDescI for this vector. * */ public void setEventDesc(EventDescI evd); /** * Get the EventDescI for this vector of events. * * @return The event description for this object. */ public EventDescI getEventDesc(); /** * Ask for a particular stream * * @param i the index of the stream you want. * @return the stream at the <em>i</em>th position of the vector. */ public EventI elAt(int i);}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -