sealed trait PiProcess extends AnyRef
A trait corresponding to any process that can be executed within our framework. The specification generally follows the proofs-as-processes format, with PiObject patterns representing CLL types, paired with strings representing the channel names. *
- Alphabetic
- By Inheritance
- PiProcess
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Abstract Value Members
Concrete 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): (PiProcess, B)
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
lazy val
actualChannels: Seq[Chan]
- Attributes
- protected
- lazy val allDependencies: Seq[PiProcess]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- def channels: Seq[String]
- implicit def chansFromStringSeq(s: Seq[String]): Seq[Chan]
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- def ensuring(cond: (PiProcess) ⇒ Boolean, msg: ⇒ Any): PiProcess
- def ensuring(cond: (PiProcess) ⇒ Boolean): PiProcess
- def ensuring(cond: Boolean, msg: ⇒ Any): PiProcess
- def ensuring(cond: Boolean): PiProcess
-
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.
-
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
- def inputFrees(): Seq[Seq[Chan]]
-
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.
- def mapFreshArgs(i: Int, args: Chan*): ChanMap
-
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()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toEntry: (String, PiProcess)
Shortcut to create entries in name->PiProcess maps
-
def
toIEntry: (String, PiProcess)
* Shortcut to create entries in name->PiProcess maps using the instance name
-
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): (PiProcess, B)