class GetSki extends CompositeProcess
- Alphabetic
- By Inheritance
- GetSki
- CompositeProcess
- PiProcess
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Instance Constructors
- new GetSki(cM2Inch: CM2Inch, selectLength: SelectLength, selectModel: SelectModel, selectSki: SelectSki, uSD2NOK: USD2NOK)
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- def ->[B](y: B): (GetSki, B)
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
lazy val
actualChannels: Seq[Chan]
- Attributes
- protected
- Definition Classes
- PiProcess
-
lazy val
allDependencies: Seq[PiProcess]
- Definition Classes
- PiProcess
- def apply(heightCM: HeightCM, priceLimit: PriceLimit, skillLevel: SkillLevel, weightKG: WeightKG)(implicit executor: ProcessExecutor[_]): Future[Either[PriceNOK, Exception]]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
val
body: PiCut
The body of the composition as a pi-calculus term constructed via proof.
The body of the composition as a pi-calculus term constructed via proof.
- Definition Classes
- GetSki → CompositeProcess
-
def
call(args: Chan*): Term
- Definition Classes
- CompositeProcess
-
def
call(m: ChanMap): Term
Calling function that instantiates the body with a given set of channel arguments.
Calling function that instantiates the body with a given set of channel arguments.
- Definition Classes
- CompositeProcess
- val channels: Seq[String]
-
implicit
def
chansFromStringSeq(s: Seq[String]): Seq[Chan]
- Definition Classes
- PiProcess
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- val dependencies: Seq[AtomicProcess]
- def ensuring(cond: (GetSki) ⇒ Boolean, msg: ⇒ Any): GetSki
- def ensuring(cond: (GetSki) ⇒ Boolean): GetSki
- def ensuring(cond: Boolean, msg: ⇒ Any): GetSki
- def ensuring(cond: Boolean): GetSki
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
execState(args: Seq[PiObject]): PiState
Initializes a PiState that executes this process with a given list of PiObject arguments.
Initializes a PiState that executes this process with a given list of PiObject arguments. Generates an Output term from each PiObject in args so that they can be fed to the process. Also generates an Input that consumes the output of the process when it is done. Adds all dependencies to the state and then runs a PiCall directly.
- Definition Classes
- PiProcess
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
- def formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
iname: String
- Definition Classes
- PiProcess
-
def
inputFrees(): Seq[Seq[Chan]]
- Definition Classes
- PiProcess
- val inputs: Seq[(Chan, String)]
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
mapArgs(args: Chan*): ChanMap
Used when a process is called to map argument channels to the given values.
Used when a process is called to map argument channels to the given values.
- Definition Classes
- PiProcess
-
def
mapFreshArgs(i: Int, args: Chan*): ChanMap
- Definition Classes
- PiProcess
- val name: String
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- val output: (PiOpt, String)
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toEntry: (String, PiProcess)
Shortcut to create entries in name->PiProcess maps
Shortcut to create entries in name->PiProcess maps
- Definition Classes
- PiProcess
-
def
toIEntry: (String, PiProcess)
* Shortcut to create entries in name->PiProcess maps using the instance name
* Shortcut to create entries in name->PiProcess maps using the instance name
- Definition Classes
- PiProcess
-
def
toString(): String
- Definition Classes
- PiProcess → 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( ... ) @native()
- def →[B](y: B): (GetSki, B)