Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## modhelxs.abstractsemantics
Class Token

    java.lang.Object
      modhelxs.abstractsemantics.Token

    public class Token

extends java.lang.Object

A Token is a piece of information that can be put on a pin to be communicated between blocks. A value is associated to a token by its model of computation.

Author:
  boulange

Field Summary
`private ModelOfComputation<?>` | `owner_` The model of computation that knows the value of this token.

Constructor Summary
`Token(ModelOfComputation<?> owner)` Build a new token, valid in a model of computation.

Method Summary
`ModelOfComputation<?>` | `getOwner()` Get the model of computation in which this token is valid.
`java.lang.Object` | `getValue()` Get the value which is assoviated to this token.
`Token` | `setValue(java.lang.Object o)` Set the value which is associated to this token.

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

Field Detail

### owner_

    private ModelOfComputation<?> owner_

  The model of computation that knows the value of this token.

Constructor Detail

### Token

    public Token(ModelOfComputation<?> owner)

  Build a new token, valid in a model of computation.

Method Detail

### getOwner

    public ModelOfComputation<?> getOwner()

  Get the model of computation in which this token is valid.

### getValue

    public java.lang.Object getValue()

  Get the value which is assoviated to this token.

### setValue

    public Token setValue(java.lang.Object o)

  Set the value which is associated to this token.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD