it
.
unibo
.
scafi
.
distrib
PlatformSettings
Related Doc:
package distrib
trait
PlatformSettings
extends
AnyRef
Self Type
Subcomponent
Linear Supertypes
AnyRef
,
Any
Known Subclasses
Platform
,
Platform
,
Platform
,
Platform
,
SpatialPlatform
Ordering
Alphabetic
By Inheritance
Inherited
PlatformSettings
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
case class
AggregateApplicationSettings
(
name:
String
=
"untitled"
,
program: () ⇒
Option
[
Platform.ProgramContract
] =
() => None
)
extends
Product
with
Serializable
sealed
trait
AsyncExecStrategy
extends
Platform.ExecStrategy
trait
ConfigurableSettings
[
S
]
extends
AnyRef
case class
DelayedDeviceExecStrategy
(
initial:
Option
[
FiniteDuration
] =
None
,
delay:
FiniteDuration
=
1 second
)
extends
Platform.DeviceExecStrategy
with
Product
with
Serializable
case class
DeploymentSettings
(
host:
String
=
"127.0.0.1"
,
port:
Int
=
9000
)
extends
Product
with
Serializable
case class
DeviceConfigurationSettings
(
ids:
Set
[
Platform.UID
] =
Set()
,
nbs:
Map
[
Platform.UID
,
Set
[
Platform.UID
]] =
Map()
)
extends
Product
with
Serializable
case class
DeviceDelegated
(
strategy:
Platform.DeviceExecStrategy
)
extends
Platform.ExecScope
with
Product
with
Serializable
sealed
trait
DeviceExecStrategy
extends
AnyRef
case class
EmptyProfileSettings
()
extends
Platform.ConfigurableSettings
[
Platform.EmptyProfileSettings
] with
Product
with
Serializable
sealed
trait
ExecScope
extends
AnyRef
sealed
trait
ExecStrategy
extends
AnyRef
case class
ExecutionSettings
(
scope:
Platform.ExecScope
=
...
)
extends
Product
with
Serializable
case class
Global
(
strategy:
Platform.ExecStrategy
)
extends
Platform.ExecScope
with
Product
with
Serializable
case class
OrderedExecStrategy
(
nextToRun: () ⇒
Option
[
Platform.UID
]
)
extends
Platform.AsyncExecStrategy
with
Product
with
Serializable
case class
PeriodicDeviceExecStrategy
(
initial:
Option
[
FiniteDuration
] =
None
,
interval:
FiniteDuration
=
1 second
)
extends
Platform.DeviceExecStrategy
with
Product
with
Serializable
case class
PlatformSettings
(
subsystemDeployment:
Platform.DeploymentSettings
=
DeploymentSettings()
,
otherSubsystems:
Set
[
Platform.SubsystemSettings
] =
Set()
,
loglevel:
String
=
LogLevels.Debug
,
codeMobilitySupport:
Boolean
=
true
)
extends
Product
with
Serializable
abstract
type
ProfileSettings
<:
Platform.ConfigurableSettings
[
Platform.ProfileSettings
]
case class
RandomExecStrategy
(
seed:
Int
)
extends
Platform.AsyncExecStrategy
with
Product
with
Serializable
class
ScafiCmdLineParser
extends
OptionParser
[
Platform.Settings
]
case class
Settings
(
aggregate:
Platform.AggregateApplicationSettings
=
AggregateApplicationSettings()
,
platform:
Platform.PlatformSettings
=
PlatformSettings()
,
profile:
Platform.ProfileSettings
=
...
,
deviceConfig:
Platform.DeviceConfigurationSettings
=
DeviceConfigurationSettings()
,
execution:
Platform.ExecutionSettings
=
ExecutionSettings()
,
start:
Boolean
=
true
)
extends
Product
with
Serializable
trait
SettingsFactory
extends
Serializable
case class
SubsystemDelegated
(
strategy:
Platform.ExecStrategy
)
extends
Platform.ExecScope
with
Product
with
Serializable
case class
SubsystemSettings
(
subsystemDeployment:
Platform.DeploymentSettings
=
DeploymentSettings()
,
ids:
Set
[
Platform.UID
] =
Set()
)
extends
Product
with
Serializable
Abstract Value Members
abstract
val
settingsFactory
:
Platform.SettingsFactory
Concrete Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
object
AggregateApplicationSettings
extends
Serializable
object
DeviceConfigurationSettings
extends
Serializable
object
ExecutionSettings
extends
Serializable
object
LogLevels
extends
Serializable
object
PlatformSettings
extends
Serializable
object
ReactiveDeviceExecStrategy
extends
Platform.DeviceExecStrategy
object
RoundRobinStrategy
extends
Platform.AsyncExecStrategy
with
Product
with
Serializable
object
Settings
extends
Serializable
object
SubsystemSettings
extends
Serializable
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
cmdLineParser
:
OptionParser
[
Platform.Settings
]
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
extendParser
(
p:
OptionParser
[
Platform.Settings
]
)
:
Unit
Template method for extending the parser in specialized platform components.
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
AnyRef
Inherited from
Any
Ungrouped