A B C D E F G H I K L M N O P R S T U V W X Y

P

paintComponent(Graphics) - Method in class demos.atomicblocks.DEPlotter.PlotterWindow.Plotter

paintComponent(Graphics) - Method in class demos.powerwindow.gui.WindowGUI.WindowGUIComponent

Parameter<T> - Class in modhelxs.state_management

A Parameter is a read-only storage.

Parameter(Class<T>, boolean) - Constructor for class modhelxs.state_management.Parameter

Parameter(Class<T>) - Constructor for class modhelxs.state_management.Parameter

parent_ - Variable in class modhelxs.abstractsemantics.Model

The interface block this model belongs to (if any, null otherwise).

parse(String, List<String>) - Static method in class modhelxs.mocs.tfsm.parser.Expression

perform() - Method in class tesl.ClockOperation

perform() - Method in class tesl.TickCreation

perform() - Method in class tesl.TickDeletion

period - Variable in class demos.atomicblocks.DERamp

period_ - Variable in class demos.atomicblocks.DEConst

The period with which the value is produced.

period_ - Variable in class modhelxs.simulation.PeriodicRTClock

The period of the clock, in milliseconds.

PeriodicRTClock - Class in modhelxs.simulation

A driving clock that ticks periodically on real time.

PeriodicRTClock(String, long, long) - Constructor for class modhelxs.simulation.PeriodicRTClock

PeriodicRTClock.ClockBackup - Class in modhelxs.simulation

PeriodicRTClock.ClockBackup() - Constructor for class modhelxs.simulation.PeriodicRTClock.ClockBackup

PeriodicRTClock.PeriodicRTThread - Class in modhelxs.simulation

The thread used to notify the execution engine when a tick is produced on the clock.

PeriodicRTClock.PeriodicRTThread() - Constructor for class modhelxs.simulation.PeriodicRTClock.PeriodicRTThread

phase_ - Variable in class tesl.FilteredImplication

pin - Variable in class demos.atomicblocks.DEScenario.Step

Pin - Class in modhelxs.abstractsemantics

An implementation of Pin for the abstract semantics of ModHel'X.

Pin(String, Object...) - Constructor for class modhelxs.abstractsemantics.Pin

Build a new pin named name.

Pin - Interface in modhelxs.ecore

A pin is a basic named entity which is part of the interface of an observable entity.

pin_ - Variable in class modhelxs.mocs.de.DEMoC.DEEvent

The destination pin of this event.

pin_predecessors_ - Variable in class modhelxs.util.BlockStructureNavHelper

Map from pins to their predecessors.

pin_successors_ - Variable in class modhelxs.util.BlockStructureNavHelper

Map from pins to their successors.

pinChanged(Pin) - Method in interface demos.atomicblocks.Probe.PinListener

pinChanged(Pin) - Method in class demos.powerwindow.gui.WindowGUI

PINRATE_PROPERTY - Static variable in class modhelxs.mocs.sdf.SDFMoC

pins_ - Variable in class modhelxs.abstractsemantics.ObservableEntity

Association between names and pins for this entity.

PlainManagedBlock - Class in modhelxs.state_management

A ManagedBlock with no timed behavior.

PlainManagedBlock(String, Object...) - Constructor for class modhelxs.state_management.PlainManagedBlock

PlainManagedInterfaceBlock - Class in modhelxs.state_management

An implementation of the ManagedInterfaceBlock for untimed IB.

PlainManagedInterfaceBlock(String, Model<?>, Object...) - Constructor for class modhelxs.state_management.PlainManagedInterfaceBlock

plotinfo_ - Variable in class demos.atomicblocks.DEPlotter.PlotterWindow

plots_ - Variable in class demos.atomicblocks.DEPlotter.PlotterWindow.Plotter

plotter_ - Variable in class demos.atomicblocks.DEPlotter.PlotterWindow

pos_ - Variable in class demos.powerwindow.gui.WindowGUI.WindowGUIComponent

positionPin_ - Variable in class demos.powerwindow.gui.WindowGUI

PowerWindow - Class in demos.powerwindow

A text only demo of the power window.

PowerWindow() - Constructor for class demos.powerwindow.PowerWindow

PowerWindowDisplay - Class in demos.powerwindow

A demo of the power window with a graphical display of the user command, end stops and position of the window.

PowerWindowDisplay() - Constructor for class demos.powerwindow.PowerWindowDisplay

PowerWindowWithGUI - Class in demos.powerwindow

A demo of the power window with a graphical user interface showing the window, and with buttons to drive it and display the operation of the motor.

PowerWindowWithGUI() - Constructor for class demos.powerwindow.PowerWindowWithGUI

precedence(char) - Static method in class modhelxs.mocs.tfsm.parser.Expression

predecessors_ - Variable in class modhelxs.abstractsemantics.Pin

The list of pins which are the origin of a relation which has this pin as target.

Preemption - Enum in tesl

Different kinds of preemption.

Preemption() - Constructor for enum tesl.Preemption

prep() - Method in class modhelxs.abstractsemantics.AtomicBlock

prep() - Method in class modhelxs.abstractsemantics.BlockStructure

Initialize the behavior of the structure.

prep() - Method in class modhelxs.abstractsemantics.InterfaceBlock

prep() - Method in class modhelxs.abstractsemantics.Model

prep(BlockStructure) - Method in class modhelxs.abstractsemantics.ModelOfComputation

Prepare for simulation.

prep(BlockStructure) - Method in class modhelxs.abstractsemantics.ModelOfComputationImpl

prep() - Method in class modhelxs.abstractsemantics.ObservableEntity

Initialize the entity.

prep() - Method in class modhelxs.state_management.ManagedBlock

prepareUpdate() - Method in class modhelxs.mocs.de.DEMoC.DEEvent

prepareUpdate() - Method in class modhelxs.util.UpdateTrigger

Prepare the update of the entity (MoC dependent).

printClocks(Level, String) - Method in class tesl.ClockSet

Probe - Class in demos.atomicblocks

A Probe is a block that notifies a PinListener each time one of its input pins has tokens at the end of the snapshot.

Probe(String, Probe.PinListener, Object...) - Constructor for class demos.atomicblocks.Probe

Probe.PinListener - Interface in demos.atomicblocks

processConversion(TagRelation<U, V>, Tag<?>) - Static method in class tesl.ClockSet

processRevConversion(TagRelation<U, V>, Tag<?>) - Static method in class tesl.ClockSet

prod_rate - Variable in class modhelxs.mocs.sdf.SDFMoC.RelationState

propagate(BlockStructure) - Method in class modhelxs.abstractsemantics.ModelOfComputation

Propagate new information produced by the update of a block.

propagate(BlockStructure) - Method in class modhelxs.mocs.de.DEMoC

propagate(BlockStructure) - Method in class modhelxs.mocs.sdf.SDFMoC

propagate(BlockStructure) - Method in class modhelxs.mocs.tfsm.TFSMMoC

propagateFromPin(Pin) - Static method in class modhelxs.mocs.sdf.SDFMoC

properties_ - Variable in class modhelxs.abstractsemantics.NamedEntity

Properties of the entity.

pushOperator(Stack<Expression>, char, List<String>) - Static method in class modhelxs.mocs.tfsm.parser.Expression

pushVariable(Stack<Expression>, String) - Static method in class modhelxs.mocs.tfsm.parser.Expression

put(K, V) - Method in class modhelxs.state_management.MapAttribute

Set the transient value associated to a key.

putValue(T) - Method in class modhelxs.abstractsemantics.Pin

Add a token with a given value on this pin.

putValue(Value<T>) - Method in class modhelxs.abstractsemantics.Pin

Add a token with a given value on this pin.