Uses of Class
tesl.Clock

Packages that use Clock

modhelxs.abstractsemantics
modhelxs.mocs.de
modhelxs.mocs.sdf
modhelxs.mocs.tfsm
modhelxs.simulation
modhelxs.state_management
tesl
tesl.tests

Uses of Clock in modhelxs.abstractsemantics

Fields in modhelxs.abstractsemantics declared as Clock

private Clock<java.lang.Integer>	Engine.snapshot_clock_ The clock that triggers the snapshots of the root model.
private Clock<Unit>	Engine.stop_clock_ A clock used to tell the engine to stop.

Methods in modhelxs.abstractsemantics that return Clock

abstract Clock<T>	ModelOfComputation.getClock() Get the observation clock of this MoC.
Clock<java.lang.Integer>	Engine.getSnapshotClock() Get the "snapshot" clock of this execution engine.
Clock<Unit>	Engine.getStopClock() Get the "stop" clock of this execution engine.

Uses of Clock in modhelxs.mocs.de

Fields in modhelxs.mocs.de declared as Clock

protected Clock<java.lang.Double>

AbstractDEMoC.de_clock_ The observation clock of this MoC.

Methods in modhelxs.mocs.de that return Clock

Clock<java.lang.Double>

AbstractDEMoC.getClock()

Uses of Clock in modhelxs.mocs.sdf

Fields in modhelxs.mocs.sdf declared as Clock

private Clock<Unit>

SDFMoC.sdf_clock_ The observation clock of SDF.

Methods in modhelxs.mocs.sdf that return Clock

Clock<Unit>

SDFMoC.getClock()

Uses of Clock in modhelxs.mocs.tfsm

Fields in modhelxs.mocs.tfsm declared as Clock

protected Clock<java.lang.Double>

TFSMMoC.tfsm_clock_ The observation request clock of this MoC.

Methods in modhelxs.mocs.tfsm that return Clock

Clock<java.lang.Double>

TFSMMoC.getClock()

Uses of Clock in modhelxs.simulation

Subclasses of Clock in modhelxs.simulation

class	ASAPClock An ASAPClock is a kind of driving clock that always has a tick as soon as possible
class	DrivingClock<T extends Comparable<T>> A DrivingClock is a clock used for driving a simulation.
class	EventFeederClock An EventFeederClock is a driving clock that ticks when an external event should be fed to the simulation.
class	PeriodicRTClock A driving clock that ticks periodically on real time.
class	SwingButtonClock A SwingButtonClock is an event feeder clock that ticks when a Swing button is pressed.
class	SynchronizingRTClock A driving clock that ticks on real time.

Uses of Clock in modhelxs.state_management

Fields in modhelxs.state_management declared as Clock

private Clock<T>	TimedManagedInterfaceBlock.my_clock_ The observation clock of the block.
private Clock<T>	TimedManagedBlock.my_clock_ The observation clock of the block.
private Clock<I>	TimedManagedInterfaceBlock.my_internal_clock_ The observation clock of the internal model.

Methods in modhelxs.state_management that return Clock

Clock<I>	TimedManagedInterfaceBlock.internalObservationClock() Return the observation clock of the block.
Clock<T>	TimedManagedInterfaceBlock.observationClock() Return the observation clock of the block.
Clock<T>	TimedManagedBlock.observationClock() Return the observation clock of the block.

Uses of Clock in tesl

Fields in tesl declared as Clock

private Clock<T>	ClockOperation.clock_
private Clock<U>	TagRelation.from_
private Clock<?>[]	ImplicationRelation.masters_
private Clock<T>	Tick.myclock_
private Clock<?>	ImplicationRelation.slave_
private Clock<V>	TagRelation.to_

Fields in tesl with type parameters of type Clock

private java.util.List<Clock<?>>	ClockSet.clocks_
private java.util.Map<Clock<?>,java.util.List<ImplicationRelation>>	ClockSet.masters_
private java.util.Map<Clock<?>,java.util.List<ImplicationRelation>>	ClockSet.slaves_
private java.util.Map<Clock<? extends java.lang.Comparable<?>>,java.util.Set<Clock<? extends java.lang.Comparable<?>>>>	ClockSet.time_islands_
private java.util.Map<Clock<? extends java.lang.Comparable<?>>,java.util.Set<Clock<? extends java.lang.Comparable<?>>>>	ClockSet.time_islands_

Methods in tesl that return Clock

<T extends java.lang.Comparable<? super T>> Clock<T>	ClockSet.addClock(Clock<T> c)
Clock<U>	TagRelation.fromClock()
Clock<T>	ClockOperation.getClock()
Clock<?>	DelayedImplication.getCountingClock() Return the counter clock, for the DelayedFor constraint
Clock<M1>	SustainedImplication.getMasterClock() Return the master clock, or reference clock, for the sustained implication
Clock<M>	Implication.getMasterClock() Return the master clock for the subClock constraint
Clock<M>	FilteredImplication.getMasterClock() Return the master clock for the FilteredBy constraint
Clock<?>[]	ImplicationRelation.getMasterClocks()
Clock<?>	DelayedImplication.getReferenceClock() Return the reference clock, for the DelayedFor constraint
Clock<?>	ImplicationRelation.getSlaveClock()
Clock<M2>	SustainedImplication.getStartClock() Return the start clock, for the sustained implication
Clock<M3>	SustainedImplication.getStopClock() Return the stop clock, for the sustained implication
Clock<V>	TagRelation.toClock()

Methods in tesl that return types with arguments of type Clock

java.lang.Iterable<Clock<?>>	ClockSet.getClocks()
private java.util.Map<Clock<? extends java.lang.Comparable<?>>,Tag<? extends java.lang.Comparable<?>>>	ClockSet.tagClosure(Clock<? extends java.lang.Comparable<?>> clock, Tag<? extends java.lang.Comparable<?>> tag)

Methods in tesl with parameters of type Clock

<T extends java.lang.Comparable<? super T>> Clock<T>	ClockSet.addClock(Clock<T> c)
AffineTags<T>	Clock.affineTags(Clock<T> clock, T coeff, T offset)
protected <T extends java.lang.Comparable<? super T>> boolean	ClockSet.checkFirstTick(Clock<T> clk)
<U extends java.lang.Comparable<U>> Implication<T,U>	Clock.createMasterImplication(Clock<U> slave) Deprecated.
<U extends java.lang.Comparable<U>> Implication<U,T>	Clock.createSlaveImplication(Clock<U> master)
<S extends java.lang.Comparable<S>> FilteredImplication<T,S>	Clock.filteredImplies(Clock<S> slave, int skip, int keep, int repSkip, int repKeep)
private static <T extends java.lang.Comparable<? super T>> Tick<T>	ClockSet.getTickWithTag(Clock<T> clk, Tag<? extends java.lang.Comparable<?>> tag)
<S extends java.lang.Comparable<? super S>> Implication<T,S>	Clock.implies(Clock<S> slave)
<S extends java.lang.Comparable<S>> FilteredImplication<T,S>	Clock.impliesThroughFilter(Clock<S> slave, int skip, int count, int repskip, int repcount)
<S extends java.lang.Comparable<S>,C extends java.lang.Comparable<C>> DelayedImplication<T,C,S>	Clock.impliesWithDelay(Clock<S> slave, Clock<C> counting, int delay)
<S extends java.lang.Comparable<S>,C extends java.lang.Comparable<C>> DelayedImplication<T,C,S>	Clock.impliesWithDelay(Clock<S> slave, Clock<C> counting, int delay)
<S extends java.lang.Comparable<S>,C extends java.lang.Comparable<C>> DelayedImplication<T,C,S>	Clock.impliesWithDelay(Clock<S> slave, Clock<C> counting, int delay, boolean immediate)
<S extends java.lang.Comparable<S>,C extends java.lang.Comparable<C>> DelayedImplication<T,C,S>	Clock.impliesWithDelay(Clock<S> slave, Clock<C> counting, int delay, boolean immediate)
private <T extends java.lang.Comparable<? super T>> void	ClockSet.mergeNullTick(Clock<T> clock)
private static <T extends java.lang.Comparable<? super T>> void	ClockSet.removeTick(Clock<T> clk, Tick<? extends java.lang.Comparable<?>> tick)
SameTags<T>	Clock.sameTags(Clock<T> clock)
<M2 extends java.lang.Comparable<M2>,M3 extends java.lang.Comparable<M3>,S extends java.lang.Comparable<S>> SustainedImplication<T,M2,M3,S>	Clock.sustains(Clock<S> slave, Clock<M2> start, Clock<M3> stop)
<M2 extends java.lang.Comparable<M2>,M3 extends java.lang.Comparable<M3>,S extends java.lang.Comparable<S>> SustainedImplication<T,M2,M3,S>	Clock.sustains(Clock<S> slave, Clock<M2> start, Clock<M3> stop)
<M2 extends java.lang.Comparable<M2>,M3 extends java.lang.Comparable<M3>,S extends java.lang.Comparable<S>> SustainedImplication<T,M2,M3,S>	Clock.sustains(Clock<S> slave, Clock<M2> start, Clock<M3> stop)
<M2 extends java.lang.Comparable<M2>,M3 extends java.lang.Comparable<M3>,S extends java.lang.Comparable<S>> SustainedImplication<T,M2,M3,S>	Clock.sustains(Clock<S> slave, Clock<M2> start, Clock<M3> stop, Occurrence immediate, Preemption weak) Make this clock sustain clock slave between occurrences of start and stop.
<M2 extends java.lang.Comparable<M2>,M3 extends java.lang.Comparable<M3>,S extends java.lang.Comparable<S>> SustainedImplication<T,M2,M3,S>	Clock.sustains(Clock<S> slave, Clock<M2> start, Clock<M3> stop, Occurrence immediate, Preemption weak) Make this clock sustain clock slave between occurrences of start and stop.
<M2 extends java.lang.Comparable<M2>,M3 extends java.lang.Comparable<M3>,S extends java.lang.Comparable<S>> SustainedImplication<T,M2,M3,S>	Clock.sustains(Clock<S> slave, Clock<M2> start, Clock<M3> stop, Occurrence immediate, Preemption weak) Make this clock sustain clock slave between occurrences of start and stop.
private java.util.Map<Clock<? extends java.lang.Comparable<?>>,Tag<? extends java.lang.Comparable<?>>>	ClockSet.tagClosure(Clock<? extends java.lang.Comparable<?>> clock, Tag<? extends java.lang.Comparable<?>> tag)

Constructors in tesl with parameters of type Clock

AffineTags(Clock<T> from, Clock<T> to, T a, T b)

AffineTags(Clock<T> from, Clock<T> to, T a, T b)

ClockOperation(Clock<T> clock)

DelayedImplication(Clock<M1> reference, Clock<M2> counting, Clock<S> slave, int n)
Get slave by delaying reference (not immediately) by n on counting

DelayedImplication(Clock<M1> reference, Clock<M2> counting, Clock<S> slave, int n)
Get slave by delaying reference (not immediately) by n on counting

DelayedImplication(Clock<M1> reference, Clock<M2> counting, Clock<S> slave, int n)
Get slave by delaying reference (not immediately) by n on counting

DelayedImplication(Clock<M1> reference, Clock<M2> counting, Clock<S> slave, int n, boolean immediate)
Get slave by delaying reference (immediately or not) by n on counting

DelayedImplication(Clock<M1> reference, Clock<M2> counting, Clock<S> slave, int n, boolean immediate)
Get slave by delaying reference (immediately or not) by n on counting

DelayedImplication(Clock<M1> reference, Clock<M2> counting, Clock<S> slave, int n, boolean immediate)
Get slave by delaying reference (immediately or not) by n on counting

FilteredImplication(Clock<M> master, Clock<S> slave, int skip, int keep, int repSkip, int repKeep)
Get subClock by filtering master according to the pattern: - skip "skip" ticks - keep the next "keep" ticks - then, repeatedly skip repSkip ticks and keep repKeep ticks For instance, FilteredBy(m, s, 5, 1, 3, 2) will skip the first 5 ticks of "m", then keep its next tick for "s", then skip 3 ticks, keep 2 ticks, skip 3 ticks, keep 2 ticks and so on.

FilteredImplication(Clock<M> master, Clock<S> slave, int skip, int keep, int repSkip, int repKeep)
Get subClock by filtering master according to the pattern: - skip "skip" ticks - keep the next "keep" ticks - then, repeatedly skip repSkip ticks and keep repKeep ticks For instance, FilteredBy(m, s, 5, 1, 3, 2) will skip the first 5 ticks of "m", then keep its next tick for "s", then skip 3 ticks, keep 2 ticks, skip 3 ticks, keep 2 ticks and so on.

Implication(Clock<M> master, Clock<S> slave)
Constructor

Implication(Clock<M> master, Clock<S> slave)
Constructor

ImplicationRelation(Clock<?> slave, Clock<?>... masters)

ImplicationRelation(Clock<?> slave, Clock<?>... masters)

SameTags(Clock<T> from, Clock<T> to)

SameTags(Clock<T> from, Clock<T> to)

SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave)
Constructor for a not immediate and not weak sustained implication

SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave)
Constructor for a not immediate and not weak sustained implication

SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave)
Constructor for a not immediate and not weak sustained implication

SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave)
Constructor for a not immediate and not weak sustained implication

SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave, Occurrence immediate, Preemption weak)
Constructor

SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave, Occurrence immediate, Preemption weak)
Constructor

SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave, Occurrence immediate, Preemption weak)
Constructor

SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave, Occurrence immediate, Preemption weak)
Constructor

TagRelation(Clock<U> from, Clock<V> to)

TagRelation(Clock<U> from, Clock<V> to)

Tick(Clock<T> clock)

Tick(Clock<T> clock, T tag)

Tick(Clock<T> clock, Tag<T> tag)

TickCreation(Clock<T> clock, T tag)

TickDeletion(Clock<T> clock, T tag)

Uses of Clock in tesl.tests

Fields in tesl.tests declared as Clock

(package private) Clock<java.lang.Double>	ImplicationTest.c3
(package private) Clock<Unit>	DelayedImplicationTest.counting
(package private) Clock<Unit>	SustainedImplicationTest.master
(package private) Clock<Unit>	FilteredImplicationTest.master
(package private) Clock<Unit>	DelayedImplicationTest.master
(package private) Clock<Unit>	SustainedImplicationTest.slave
(package private) Clock<Unit>	FilteredImplicationTest.slave
(package private) Clock<Unit>	DelayedImplicationTest.slave
(package private) Clock<Unit>	SustainedImplicationTest.start
(package private) Clock<Unit>	SustainedImplicationTest.stop