Uses of Class
modhelxs.abstractsemantics.Token

Packages that use Token

modhelxs.abstractsemantics
modhelxs.mocs.de

Uses of Token in modhelxs.abstractsemantics

Fields in modhelxs.abstractsemantics with type parameters of type Token

private java.util.List<Token>	Pin.tokens_ The tokens present on this pin.
(package private) java.util.Map<Token,java.lang.Object>	ModelOfComputationImpl.tokenValues_ Association of values to tokens.

Methods in modhelxs.abstractsemantics that return Token

Token	ModelOfComputationImpl.createToken(java.lang.Object val)
abstract Token	ModelOfComputation.createToken(java.lang.Object val) Create a new token for this MoC.
Token	ModelOfComputationImpl.duplicateToken(Token tok)
abstract Token	ModelOfComputation.duplicateToken(Token t) Duplicate a token (return a new, different token, associated to the same value.
Token	Pin.getToken(boolean remove) Get a token from this pin, and remove it if remove is true.
Token	Token.setValue(java.lang.Object o) Set the value which is associated to this token.

Methods in modhelxs.abstractsemantics that return types with arguments of type Token

java.util.Collection<Token>

Pin.getTokens() Get the tokens that are on this pin.

Methods in modhelxs.abstractsemantics with parameters of type Token

Pin	Pin.addToken(Token token) Add a token to this pin.
Token	ModelOfComputationImpl.duplicateToken(Token tok)
abstract Token	ModelOfComputation.duplicateToken(Token t) Duplicate a token (return a new, different token, associated to the same value.
java.lang.Object	ModelOfComputationImpl.getTokenValue(Token t)
abstract java.lang.Object	ModelOfComputation.getTokenValue(Token t) Get the value associated to a token by this MoC.
void	ModelOfComputationImpl.setTokenValue(Token t, java.lang.Object val)
abstract void	ModelOfComputation.setTokenValue(Token t, java.lang.Object val) Set the value associated to a token by this MoC.

Uses of Token in modhelxs.mocs.de

Fields in modhelxs.mocs.de declared as Token

private Token

DEMoC.DEEvent.token_ The token for the value of this event.

Constructors in modhelxs.mocs.de with parameters of type Token

DEMoC.DEEvent(Block e, Token t, Pin p)
Build a new DE event.