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

S

sameTags(Clock<T>) - Method in class tesl.Clock

SameTags<T extends java.lang.Comparable<? super T>> - Class in tesl

SameTags(Clock<T>, Clock<T>) - Constructor for class tesl.SameTags

sanityCheck() - Method in class modhelxs.abstractsemantics.Block

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

Perform sanity check before setup.

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

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

Perform sanity check before setup.

scale - Variable in class demos.atomicblocks.SDFScale

scenario_ - Variable in class demos.atomicblocks.DEScenario

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

Choose a block to be updated.

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

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

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

schedule_ - Variable in class modhelxs.mocs.sdf.SDFMoC

scheduled_blocks_ - Variable in class modhelxs.mocs.sdf.SDFMoC

Schedule of the blocks (sorted in topological order and appearing as many times as they must be updated).

sdf_clock_ - Variable in class modhelxs.mocs.sdf.SDFMoC

The observation clock of SDF.

SDFAdder - Class in demos.atomicblocks

An SDFAdder is an SDF block which computes the sum of the tokens on all its input pins and puts the result on all its output pins.

SDFAdder(String) - Constructor for class demos.atomicblocks.SDFAdder

SDFConst - Class in demos.atomicblocks

An SDFConst is an SDF Block which produces the same value on all its Pins at each update.

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

SDFIntegrator - Class in demos.atomicblocks

An SDFIntegrator sums adds all the values received on its inputs to its internal state and produced this state on all its outputs.

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

SDFLimitedIntegrator - Class in demos.atomicblocks

An SDFLimitedIntegrator is an integrator whose output is maintained between a lower_limit and an upper_limit (set by properties).

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

SDFLimiter - Class in demos.atomicblocks

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

SDFMoC - Class in modhelxs.mocs.sdf

SDFMoC(String) - Constructor for class modhelxs.mocs.sdf.SDFMoC

SDFMoC.RelationState - Class in modhelxs.mocs.sdf

SDFMoC.RelationState(Relation) - Constructor for class modhelxs.mocs.sdf.SDFMoC.RelationState

SDFRamp - Class in demos.atomicblocks

A Ramp is a Block which produces an increasing value on all its Pins at each update.

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

SDFSampleDelay - Class in demos.atomicblocks

An SDFSampleDelay is an SDF block which delays its input by one sample.

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

SDFScale - Class in demos.atomicblocks

An SDFScale is an SDF block which scales its input.

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

SDFTest - Class in demos

Test a simple model with SDF.

SDFTest() - Constructor for class demos.SDFTest

SDFTextDisplay - Class in demos.atomicblocks

A TextDisplay is a Block which displays the value of all the tokens on each of its pins at each update.

SDFTextDisplay(String) - Constructor for class demos.atomicblocks.SDFTextDisplay

serialVersionUID - Static variable in class demos.powerwindow.gui.WindowGUI.WindowGUIComponent

serialVersionUID - Static variable in exception modhelxs.mocs.tfsm.parser.EvaluationException

setClockSet(ClockSet) - Method in class tesl.Clock

setCurrentState(Block) - Method in class modhelxs.mocs.tfsm.TFSMMoC

setEngine(Engine) - Method in class modhelxs.abstractsemantics.Model

setFeeder(EventFeeder) - Method in class demos.powerwindow.gui.WindowGUI

setGreedy(boolean) - Method in class tesl.Clock

setInitialState(FSMState) - Method in class modhelxs.mocs.tfsm.TFSMMoC

setListener(Engine) - Method in class modhelxs.simulation.DrivingClock

Set the execution engine which is driven by this clock.

setLoggingLevel(String, Level) - Static method in class modhelxs.util.Logging

Set the logging level of logger name to level l.

setMark(ClockSetMark) - Method in class tesl.ClockSet

setModel(Model<?>) - Method in class modhelxs.abstractsemantics.BlockStructure

Set the model this structure belongs to.

setName(String) - Method in class modhelxs.abstractsemantics.NamedEntity

setName(String) - Method in interface modhelxs.ecore.NamedEntity

Set the name of this entity.

setNextInternalObservationTime(I) - Method in class modhelxs.state_management.TimedManagedInterfaceBlock

Set the next observation date of the block.

setNextObservationTime(T) - Method in class modhelxs.state_management.TimedManagedBlock

Set the next observation date of the block.

setNextObservationTime(T) - Method in class modhelxs.state_management.TimedManagedInterfaceBlock

Set the next observation date of the block.

setNotInstantaneouslyDependent(Pin) - Static method in class modhelxs.mocs.de.AbstractDEMoC

Set pin p as not instantaneously dependent.

setNow(Tick<T>, boolean) - Method in class tesl.Clock

setNow(boolean) - Method in class tesl.Tick

setNumberOfInitialTokens(Pin, int) - Static method in class modhelxs.mocs.sdf.SDFMoC

Set number of initial tokens on pin p.

setObstacle(boolean) - Method in class demos.powerwindow.gui.WindowGUI.WindowGUIComponent

setOwner(ObservableEntity) - Method in class modhelxs.abstractsemantics.Pin

Set the owner of this pin.

setParent(BlockStructure) - Method in class modhelxs.abstractsemantics.Block

Set the BlockStructure this block belongs to.

setParent(InterfaceBlock) - Method in class modhelxs.abstractsemantics.Model

Set the interface block that contains this model.

setPinRate(Pin, int) - Static method in class modhelxs.mocs.sdf.SDFMoC

Set production/consumption rate for pin p.

setPos(double) - Method in class demos.powerwindow.gui.WindowGUI.WindowGUIComponent

setProperties(Object...) - Method in class modhelxs.abstractsemantics.NamedEntity

Set properties of the entity using a String/value list.

setProperty(String, T) - Method in class modhelxs.abstractsemantics.NamedEntity

Set property name of the entity to value.

setSource(ObservableEntity) - Method in interface demos.atomicblocks.Probe.PinListener

setSource(ObservableEntity) - Method in class demos.powerwindow.gui.WindowGUI

setTag(Tick<T>, Tag<T>) - Method in class tesl.Clock

setTag(Tick<T>, Tag<? extends Comparable<?>>) - Static method in class tesl.ClockSet

setTag(Tag<T>) - Method in class tesl.Tick

setTagValue(Tick<T>, T) - Method in class tesl.Clock

setTagValue(T) - Method in class tesl.Tick

setTinted(boolean) - Method in class demos.powerwindow.gui.WindowGUI.WindowGUIComponent

setTokenValue(Token, Object) - Method in class modhelxs.abstractsemantics.ModelOfComputation

Set the value associated to a token by this MoC.

setTokenValue(Token, Object) - Method in class modhelxs.abstractsemantics.ModelOfComputationImpl

setup() - Method in class demos.atomicblocks.DEPlotter.PlotterWindow.PlotInfo

setup(NamedEntity, Collection<Pin>) - Method in class demos.atomicblocks.DEPlotter.PlotterWindow.Plotter

setup(NamedEntity, Collection<Pin>) - Method in class demos.atomicblocks.DEPlotter.PlotterWindow

setup() - Method in interface demos.atomicblocks.Probe.PinListener

setup() - Method in class demos.atomicblocks.SDFSampleDelay

setup() - Method in class demos.powerwindow.gui.WindowGUI

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

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

Setup the structure for a simulation.

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

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

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

Setup for simulation.

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

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

Prepare for the simulation.

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

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

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

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

The setup behavior of the ManagedBlock, which manages the state values and calls doSetup().

setup() - Method in class modhelxs.state_management.ManagedInterfaceBlock

The setup behavior of the ManagedInterfaceBlock, which manages the state values and calls doSetup().

setValid(boolean) - Method in class modhelxs.mocs.tfsm.parser.Expression

setValue(Object) - Method in class modhelxs.abstractsemantics.Token

Set the value which is associated to this token.

setValue(T) - Method in class modhelxs.state_management.Attribute

Set the transient value of the attribute.

setValue(Value<T>) - Method in class modhelxs.state_management.Attribute

Set the transient value of the attribute.

setValue(T) - Method in class modhelxs.state_management.Value

Set the value stored in this storage.

setValue(Value<T>) - Method in class modhelxs.state_management.Value

Set the value stored in this storage.

shouldUpdateModel() - Method in class demos.semantic_adaptation.DE_SDF_DumbInterfaceBlock

shouldUpdateModel() - Method in class demos.semantic_adaptation.DE_TFSM_InterfaceBlock

shouldUpdateModel() - Method in class modhelxs.state_management.ManagedInterfaceBlock

Should the internal model be updated.

shouldUpdateModel() - Method in class modhelxs.state_management.PlainManagedInterfaceBlock

shouldUpdateModel() - Method in class modhelxs.state_management.TimedManagedInterfaceBlock

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

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

Get the number of blocks in this structure.

size() - Method in class modhelxs.state_management.ListAttribute

Get the length of this list.

skip_ - Variable in class tesl.FilteredImplication

slave - Variable in class tesl.tests.DelayedImplicationTest

slave - Variable in class tesl.tests.FilteredImplicationTest

slave - Variable in class tesl.tests.SustainedImplicationTest

slave_ - Variable in class tesl.ImplicationRelation

slaves_ - Variable in class tesl.ClockSet

snap_statevalues_ - Variable in class modhelxs.state_management.State

snap_values_ - Variable in class demos.atomicblocks.EventFeeder

snapshot_clock_ - Variable in class modhelxs.abstractsemantics.Engine

The clock that triggers the snapshots of the root model.

SnapshotAttribute - Annotation Type in modhelxs.state_management

An annotation to specify that a state value is to be reverted at start of snapshot instead of reset time.

solve() - Method in class tesl.ClockSet

solve(Tick<T>) - Method in class tesl.ClockSet

solver - Variable in class tesl.tests.DelayedImplicationTest

solver - Variable in class tesl.tests.FilteredImplicationTest

solver - Variable in class tesl.tests.SustainedImplicationTest

solver_ - Variable in class modhelxs.abstractsemantics.Engine

The clock solver used by this engine.

solveTags() - Method in class tesl.ClockSet

solveTicks() - Method in class tesl.ClockSet

sorted_blocks_ - Variable in class modhelxs.mocs.de.DEMoC

A list of the blocks of the structure is topological order.

start - Variable in class tesl.tests.SustainedImplicationTest

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

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

Start a new snapshot.

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

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

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

Start the computation of a new snapshot on structure s.

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

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

Start a new snapshot (observation round).

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

startOfSnapshot() - Method in class modhelxs.state_management.ManagedInterfaceBlock

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

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

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

Called at the beginning of an update of an inner block (get partial inputs from the upper model).

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

Start a partial update (get partial inputs from the outer model).

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

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

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

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

startOfUpdate() - Method in class modhelxs.state_management.ManagedInterfaceBlock

startSolving() - Method in class tesl.ImplicationRelation

State - Class in modhelxs.state_management

A State manages the state of a NamedEntity, which is composed of its field of type StateValue.

State(NamedEntity) - Constructor for class modhelxs.state_management.State

Create a State for handling the state values of e.

state_ - Variable in class demos.atomicblocks.SDFIntegrator

state_ - Variable in class demos.atomicblocks.SDFLimitedIntegrator

state_machine_ - Variable in class modhelxs.mocs.tfsm.TFSMMoC

StateValue - Interface in modhelxs.state_management

statevalues_ - Variable in class modhelxs.state_management.State

A name->attribute map of the state values of the owner.

step_pattern - Static variable in class demos.atomicblocks.DEScenario

stop - Variable in class tesl.tests.SustainedImplicationTest

stop_clock_ - Variable in class modhelxs.abstractsemantics.Engine

A clock used to tell the engine to stop.

stopAfter(int) - Method in class modhelxs.abstractsemantics.Engine

Stop simulation after n snapshots.

structure_ - Variable in class modhelxs.abstractsemantics.Block

The BlockStructure this block belongs to.

structure_ - Variable in class modhelxs.abstractsemantics.Model

The structure that holds the blocks of this model.

structure_ - Variable in class modhelxs.util.BlockStructureNavHelper

The structure in which we navigate.

subtract(Integer, Integer) - Method in class tesl.IntegerCalc

subtract(Long, Long) - Method in class tesl.LongCalc

subtract(Double, Double) - Method in class tesl.RoundDouble

subtract(T, T) - Method in interface tesl.TagCalculus

subtract(Unit, Unit) - Method in class tesl.UnitCalc

successors_ - Variable in class modhelxs.abstractsemantics.Pin

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

sum_ - Variable in class demos.atomicblocks.SDFAdder

SustainedImplication<M1 extends java.lang.Comparable<? super M1>,M2 extends java.lang.Comparable<? super M2>,M3 extends java.lang.Comparable<? super M3>,S extends java.lang.Comparable<? super S>> - Class in tesl

A clock implication which creates ticks on the slave at each tick of the master between a tick of start and a tick of stop.

SustainedImplication(Clock<M1>, Clock<M2>, Clock<M3>, Clock<S>, Occurrence, Preemption) - Constructor for class tesl.SustainedImplication

Constructor

SustainedImplication(Clock<M1>, Clock<M2>, Clock<M3>, Clock<S>) - Constructor for class tesl.SustainedImplication

Constructor for a not immediate and not weak sustained implication

SustainedImplication.SustainedImplicationBackup - Class in tesl

SustainedImplication.SustainedImplicationBackup() - Constructor for class tesl.SustainedImplication.SustainedImplicationBackup

SustainedImplicationTest - Class in tesl.tests

SustainedImplicationTest() - Constructor for class tesl.tests.SustainedImplicationTest

sustains(Clock<S>, Clock<M2>, Clock<M3>, Occurrence, Preemption) - Method in class tesl.Clock

Make this clock sustain clock slave between occurrences of start and stop.

sustains(Clock<S>, Clock<M2>, Clock<M3>) - Method in class tesl.Clock

SwingButtonClock - Class in modhelxs.simulation

A SwingButtonClock is an event feeder clock that ticks when a Swing button is pressed.

SwingButtonClock(String, String) - Constructor for class modhelxs.simulation.SwingButtonClock

Build a new SwingButton clock

SynchronizingRTClock - Class in modhelxs.simulation

A driving clock that ticks on real time.

SynchronizingRTClock(String) - Constructor for class modhelxs.simulation.SynchronizingRTClock

SynchronizingRTClock.ClockBackup - Class in modhelxs.simulation

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

SynchronizingRTClock.SynchronizingRTThread - Class in modhelxs.simulation

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

SynchronizingRTClock.SynchronizingRTThread() - Constructor for class modhelxs.simulation.SynchronizingRTClock.SynchronizingRTThread