ca.uqac.lif.ecp.statechart

Class StatechartVariableAtom<T extends Event,U>

java.lang.Object

ca.uqac.lif.ecp.ltl.ConcreteValue<T,U>

ca.uqac.lif.ecp.statechart.StatechartVariableAtom<T,U>

Type Parameters:

T - The type of the events in the statechart

U - The type of the value of the variable

public class StatechartVariableAtom<T extends Event,U>
extends ConcreteValue<T,U>

Placeholder in an expression that refers to the value of a state variable of some statechart.

Author:

Sylvain Hallé

Field Summary

Fields

Modifier and Type	Field and Description
protected Statechart<T>	m_statechart The statechart in which to fetch the value
protected java.lang.String	m_variableName The name of the statechart variable

Constructor Summary

Constructors

Constructor and Description
StatechartVariableAtom(java.lang.String var_name, Statechart<T> statechart) Creates a new statechart variable atom

Method Summary

Modifier and Type	Method and Description
U	getValue(T structure) Fetches the value on this structure
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

m_variableName

protected java.lang.String m_variableName

The name of the statechart variable

m_statechart

protected Statechart<T extends Event> m_statechart

The statechart in which to fetch the value

Constructor Detail

StatechartVariableAtom

public StatechartVariableAtom(java.lang.String var_name,
                              Statechart<T> statechart)

Creates a new statechart variable atom

Parameters:

var_name - The name of the statechart variable

statechart - The statechart in which to fetch the value

Method Detail

getValue

public U getValue(T structure)

Description copied from class: ConcreteValue

Fetches the value on this structure

Specified by:

getValue in class ConcreteValue<T extends Event,U>

Parameters:

structure - The structure

Returns:

The value

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object