csp for java (jcsp) 1_0-rc7 api specification.mht

来自「这是英国Kent大学开发的进程代数的JAVA库,对付多线程和并发系统变得很容易,」· MHT 代码 · 共 1,530 行 · 第 1/5 页

jcsp/awt/Display.html"=20
      target=3DclassFrame><I>Display</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/DisplayList.html"=20
      target=3DclassFrame>DisplayList</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/DynamicDelta.html"=20
      target=3DclassFrame>DynamicDelta</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/DynamicDeltaInt.html"=20
      target=3DclassFrame>DynamicDeltaInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Fibonacci.html"=20
      target=3DclassFrame>Fibonacci</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/FibonacciInt.html"=20
      target=3DclassFrame>FibonacciInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/FixedDelay.html"=20
      target=3DclassFrame>FixedDelay</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/FixedDelayInt.html"=20
      target=3DclassFrame>FixedDelayInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/FramedButton.html"=20
      target=3DclassFrame>FramedButton</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/FramedButtonArray.html"=20
      target=3DclassFrame>FramedButtonArray</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/FramedButtonGrid.html"=20
      target=3DclassFrame>FramedButtonGrid</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/FramedScrollbar.html"=20
      target=3DclassFrame>FramedScrollbar</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Generate.html"=20
      target=3DclassFrame>Generate</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/GenerateInt.html"=20
      target=3DclassFrame>GenerateInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.html"=20
      target=3DclassFrame>GraphicsCommand</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.ClearRect.html"=20
      target=3DclassFrame>GraphicsCommand.ClearRect</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.ClipRect.html"=20
      target=3DclassFrame>GraphicsCommand.ClipRect</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.CopyArea.html"=20
      target=3DclassFrame>GraphicsCommand.CopyArea</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.Draw3DRect.html"=20
      target=3DclassFrame>GraphicsCommand.Draw3DRect</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.DrawArc.html"=20
      target=3DclassFrame>GraphicsCommand.DrawArc</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.DrawBytes.html"=20
      target=3DclassFrame>GraphicsCommand.DrawBytes</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.DrawChars.html"=20
      target=3DclassFrame>GraphicsCommand.DrawChars</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.DrawImage.html"=20
      target=3DclassFrame>GraphicsCommand.DrawImage</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.DrawLine.html"=20
      target=3DclassFrame>GraphicsCommand.DrawLine</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.DrawOval.html"=20
      target=3DclassFrame>GraphicsCommand.DrawOval</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.DrawPolygon.html"=20
      target=3DclassFrame>GraphicsCommand.DrawPolygon</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.DrawPolyline.html"=20
      target=3DclassFrame>GraphicsCommand.DrawPolyline</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.DrawRect.html"=20
      target=3DclassFrame>GraphicsCommand.DrawRect</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.DrawRoundRect.html"=20
      target=3DclassFrame>GraphicsCommand.DrawRoundRect</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.DrawString.html"=20
      target=3DclassFrame>GraphicsCommand.DrawString</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.Fill3DRect.html"=20
      target=3DclassFrame>GraphicsCommand.Fill3DRect</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.FillArc.html"=20
      target=3DclassFrame>GraphicsCommand.FillArc</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.FillOval.html"=20
      target=3DclassFrame>GraphicsCommand.FillOval</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.FillPolygon.html"=20
      target=3DclassFrame>GraphicsCommand.FillPolygon</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.FillRect.html"=20
      target=3DclassFrame>GraphicsCommand.FillRect</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.FillRoundRect.html"=20
      target=3DclassFrame>GraphicsCommand.FillRoundRect</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.General.html"=20
      target=3DclassFrame>GraphicsCommand.General</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.Graphic.html"=20
      target=3DclassFrame><I>GraphicsCommand.Graphic</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.SetClip.html"=20
      target=3DclassFrame>GraphicsCommand.SetClip</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.SetColor.html"=20
      target=3DclassFrame>GraphicsCommand.SetColor</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.SetFont.html"=20
      target=3DclassFrame>GraphicsCommand.SetFont</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.SetXORMode.html"=20
      target=3DclassFrame>GraphicsCommand.SetXORMode</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsCommand.Translate.html"=20
      target=3DclassFrame>GraphicsCommand.Translate</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsProtocol.html"=20
      target=3DclassFrame>GraphicsProtocol</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsProtocol.Configure.html"=20
      target=3DclassFrame><I>GraphicsProtocol.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsProtocol.General.html"=20
      target=3DclassFrame>GraphicsProtocol.General</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsProtocol.MakeMISImage.html"=20
      target=3DclassFrame>GraphicsProtocol.MakeMISImage</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsProtocol.SetBackground.html"=20
      target=3DclassFrame>GraphicsProtocol.SetBackground</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/GraphicsProtocol.SetPaintable.html"=20
      target=3DclassFrame>GraphicsProtocol.SetPaintable</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Guard.html"=20
      target=3DclassFrame>Guard</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Identity.html"=20
      target=3DclassFrame>Identity</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/IdentityInt.html"=20
      target=3DclassFrame>IdentityInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/InfiniteBuffer.html"=20
      target=3DclassFrame>InfiniteBuffer</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/ints/InfiniteBufferInt.html"=20
      target=3DclassFrame>InfiniteBufferInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Integrate.html"=20
      target=3DclassFrame>Integrate</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/IntegrateInt.html"=20
      target=3DclassFrame>IntegrateInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/JCSP_InternalError.html"=20
      target=3DclassFrame>JCSP_InternalError</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Merge.html"=20
      target=3DclassFrame>Merge</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Merge2.html"=20
      target=3DclassFrame>Merge2</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/Merge2Int.html"=20
      target=3DclassFrame>Merge2Int</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/MergeInt.html"=20
      target=3DclassFrame>MergeInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Mult.html"=20
      target=3DclassFrame>Mult</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/MultInt.html"=20
      target=3DclassFrame>MultInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Multiplex.html"=20
      target=3DclassFrame>Multiplex</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/MultiplexInt.html"=20
      target=3DclassFrame>MultiplexInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Nand.html"=20
      target=3DclassFrame>Nand</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/NandInt.html"=20
      target=3DclassFrame>NandInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Nor.html"=20
      target=3DclassFrame>Nor</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/NorInt.html"=20
      target=3DclassFrame>NorInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Numbers.html"=20
      target=3DclassFrame>Numbers</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/NumbersInt.html"=20
      target=3DclassFrame>NumbersInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/One2AnyCallChannel.html"=20
      target=3DclassFrame>One2AnyCallChannel</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/One2AnyChannel.html"=20
      target=3DclassFrame>One2AnyChannel</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/One2AnyChannelInt.html"=20
      target=3DclassFrame>One2AnyChannelInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/One2OneCallChannel.html"=20
      target=3DclassFrame>One2OneCallChannel</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/One2OneChannel.html"=20
      target=3DclassFrame>One2OneChannel</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/One2OneChannelInt.html"=20
      target=3DclassFrame>One2OneChannelInt</A> <BR><A=20