case class DummyComposition(name: String, i: String, o: String, n: String) extends CompositeProcess with Product with Serializable
- Alphabetic
- By Inheritance
- DummyComposition
- Serializable
- Serializable
- Product
- Equals
- CompositeProcess
- PiProcess
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Instance Constructors
- new DummyComposition(name: String, i: String, o: String, n: String)
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
+(other: String): String
- Implicit
- This member is added by an implicit conversion from DummyComposition to any2stringadd[DummyComposition] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
-
def
->[B](y: B): (DummyComposition, B)
- Implicit
- This member is added by an implicit conversion from DummyComposition to ArrowAssoc[DummyComposition] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
-
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
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
val
body: Input
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
- DummyComposition → 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
-
def
channels: Seq[String]
- Definition Classes
- PiProcess
-
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[PiProcess]
- Definition Classes
- DummyComposition → PiProcess
-
def
ensuring(cond: (DummyComposition) ⇒ Boolean, msg: ⇒ Any): DummyComposition
- Implicit
- This member is added by an implicit conversion from DummyComposition to Ensuring[DummyComposition] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: (DummyComposition) ⇒ Boolean): DummyComposition
- Implicit
- This member is added by an implicit conversion from DummyComposition to Ensuring[DummyComposition] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: Boolean, msg: ⇒ Any): DummyComposition
- Implicit
- This member is added by an implicit conversion from DummyComposition to Ensuring[DummyComposition] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: Boolean): DummyComposition
- Implicit
- This member is added by an implicit conversion from DummyComposition to Ensuring[DummyComposition] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
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
- Implicit
- This member is added by an implicit conversion from DummyComposition to StringFormat[DummyComposition] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- val i: String
-
def
iname: String
- Definition Classes
- PiProcess
-
def
inputFrees(): Seq[Seq[Chan]]
- Definition Classes
- PiProcess
-
val
inputs: Seq[(Chan, String)]
- Definition Classes
- DummyComposition → PiProcess
-
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 n: String
-
val
name: String
- Definition Classes
- DummyComposition → PiProcess
-
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 o: String
-
val
output: (Chan, String)
- Definition Classes
- DummyComposition → PiProcess
-
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): (DummyComposition, B)
- Implicit
- This member is added by an implicit conversion from DummyComposition to ArrowAssoc[DummyComposition] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc