?? context.java
字號:
// 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 public access protocol to CpnContexts. * *<br><br> * Context.java<br> * Created: Tue Apr 23 22:24:35 2002<br> * *@author <a href="mariusz@rakiura.org">Mariusz</a> *@version 2.1.0 $Revision: 1.2 $ $Date: 2002/04/26 06:23:18 $ *@since 2.0 */public interface Context { /** * Declares new variable in this context. *@param aVariable new declared variable. */ void var(final String aVariable); /** * Declares new <code>n</code>anonymous * variables in this context. Anonymous variables cannot * be referenced directly, and are picked at random from the * input multiset. *@param aNumber <code>n</code>, number of anonymously * declared variables. */ void var(final int aNumber); /** * Gets the variable value. *@param aVariable the variable name. *@return the value of the given variable in this context. */ Object get(final String aVariable); /** * Gets the input multiset. *@return input multiset. For transitions, this input multiset is * a union of all input arc expressions multiset. */ Multiset getMultiset(); } // Context//////////////////// end of file ////////////////////
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -