WriterProcessInt

java.lang.Object

org.jcsp.test.WriterProcessInt

All Implemented Interfaces:: CSProcess

public class WriterProcessInt extends Object implements CSProcess

A process that writes out a list of values, synchronizing on the corresponding barrier after each.

Field Summary

Fields

Modifier and Type

Field

Description

private AltingBarrier[][]

events

private ChannelOutputInt

out

private int[]

values
Constructor Summary

Constructors

Constructor

Description

WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier event)

WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier[][] events)
Method Summary

Modifier and Type

Method

Description

void

run()

This defines the actions of the process.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details
- out
  
  private ChannelOutputInt out
- values
  
  private int[] values
- events
  
  private AltingBarrier[][] events
Constructor Details
- WriterProcessInt
  
  public WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier[][] events)
- WriterProcessInt
  
  public WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier event)
Method Details
- run
  
  public void run()
  
  Description copied from interface: CSProcess
  
  This defines the actions of the process.
  
  Specified by:
  
  run in interface CSProcess