- call(Invocation) - Method in interface edu.ucdavis.rj.Op
-
Invoke this operation synchronously.
- call() - Method in interface edu.ucdavis.rj.Op
-
Invoke this operation synchronously.
- call(Invocation) - Method in class edu.ucdavis.rj.OpImpl
-
Invoke this operation synchronously.
- call() - Method in class edu.ucdavis.rj.OpImpl
-
Invoke this operation synchronously.
- call(Invocation) - Method in class edu.ucdavis.rj.OpProxy
-
- call() - Method in class edu.ucdavis.rj.OpProxy
-
- canAppearInInni() - Method in interface edu.ucdavis.rj.Op
-
Can this operation be serviced by an inni?
Only an OpInni
can.
- canAppearInInni() - Method in class edu.ucdavis.rj.OpInni
-
- canAppearInInni() - Method in class edu.ucdavis.rj.OpMethod
-
- canAppearInInni() - Method in class edu.ucdavis.rj.OpProxy
-
- checkOps() - Method in class edu.ucdavis.rj.InniArm.OpArray
-
- checkQuantifiers() - Method in class edu.ucdavis.rj.InniArm.OpArray
-
- clone() - Method in class edu.ucdavis.rj.Invocation
-
Clone this Invocation.
- clone() - Method in class edu.ucdavis.rj.RemoteRefs
-
Clones this object.
- Co - Class in edu.ucdavis.rj
-
Like JR's co statement.
- Co(CoArm, CoArm...) - Constructor for class edu.ucdavis.rj.Co
-
Create a new instance of an Co.
- CoArm - Class in edu.ucdavis.rj
-
Represents a possibly quantified arm on a co.
- CoArm(OpProxy, Invocation, ArmCode, CoArm.CoKind) - Constructor for class edu.ucdavis.rj.CoArm
-
- CoArm(OpProxy, Invocation, ArmCode) - Constructor for class edu.ucdavis.rj.CoArm
-
- CoArm(OpProxy, Invocation, CoArm.CoKind) - Constructor for class edu.ucdavis.rj.CoArm
-
- CoArm(OpProxy, Invocation) - Constructor for class edu.ucdavis.rj.CoArm
-
- CoArm(OpImpl, Invocation, ArmCode, CoArm.CoKind) - Constructor for class edu.ucdavis.rj.CoArm
-
- CoArm(OpImpl, Invocation, ArmCode) - Constructor for class edu.ucdavis.rj.CoArm
-
- CoArm(OpImpl, Invocation, CoArm.CoKind) - Constructor for class edu.ucdavis.rj.CoArm
-
- CoArm(OpImpl, Invocation) - Constructor for class edu.ucdavis.rj.CoArm
-
- CoArm(CoArm.OpArray, ArmCode, CoArm.CoKind) - Constructor for class edu.ucdavis.rj.CoArm
-
- CoArm(CoArm.OpArray, ArmCode) - Constructor for class edu.ucdavis.rj.CoArm
-
- CoArm(CoArm.OpArray, CoArm.CoKind) - Constructor for class edu.ucdavis.rj.CoArm
-
- CoArm(CoArm.OpArray) - Constructor for class edu.ucdavis.rj.CoArm
-
- CoArm.CoKind - Enum in edu.ucdavis.rj
-
Represents the kind of concurrent invocation.
- CoArm.OpArray - Class in edu.ucdavis.rj
-
An array of operations for this CoArm
and (typically) the associated quantifier values.
- CoArm.OpArray(Quantifiers[], OpProxy[], Invocation[]) - Constructor for class edu.ucdavis.rj.CoArm.OpArray
-
- CoArm.OpArray(ArrayList<Quantifiers>, ArrayList<OpProxy>, ArrayList<Invocation>) - Constructor for class edu.ucdavis.rj.CoArm.OpArray
-
- CoArm.OpArray(Quantifiers[], OpImpl[], Invocation[]) - Constructor for class edu.ucdavis.rj.CoArm.OpArray
-
- CoArm.OpArray(ArrayList<Quantifiers>, ArrayList<OpImpl>, ArrayList<Invocation>, CoArm.OpArray.Dummy...) - Constructor for class edu.ucdavis.rj.CoArm.OpArray
-
- CoArm.OpArray(OpProxy[], Invocation[]) - Constructor for class edu.ucdavis.rj.CoArm.OpArray
-
- CoArm.OpArray(ArrayList<OpProxy>, ArrayList<Invocation>) - Constructor for class edu.ucdavis.rj.CoArm.OpArray
-
- CoArm.OpArray(OpImpl[], Invocation[]) - Constructor for class edu.ucdavis.rj.CoArm.OpArray
-
- CoArm.OpArray(ArrayList<OpImpl>, ArrayList<Invocation>, CoArm.OpArray.Dummy...) - Constructor for class edu.ucdavis.rj.CoArm.OpArray
-
- CoArm.OpArray.Dummy - Class in edu.ucdavis.rj
-
- CoArm.OpArray.Dummy() - Constructor for class edu.ucdavis.rj.CoArm.OpArray.Dummy
-
- codeBlock(Invocation) - Method in class edu.ucdavis.rj.ArmCode
-
Override this method with the body of code for the invocation.
- codeBlock() - Method in class edu.ucdavis.rj.InniArmElseCode
-
Override this method with the body of code for the else arm
of an Inni.
- codeBlock(Invocation) - Method in class edu.ucdavis.rj.OpMethod
-
Override this method
with the actual code for the operation.
- Common - Class in edu.ucdavis.rj
-
Contains common, useful classes for use with inni's by clause.
- Common(int) - Constructor for class edu.ucdavis.rj.Common
-
- Common.Largest - Class in edu.ucdavis.rj
-
Do invocation selection on the exprPos
'th parameter
in largest order first.
- Common.Largest(int) - Constructor for class edu.ucdavis.rj.Common.Largest
-
- Common.Smallest - Class in edu.ucdavis.rj
-
Do invocation selection on the exprPos
'th parameter
in smallest order first.
- Common.Smallest(int) - Constructor for class edu.ucdavis.rj.Common.Smallest
-
- compareTo(Comparable, Comparable) - Method in class edu.ucdavis.rj.Common.Largest
-
- compareTo(Comparable, Comparable) - Method in class edu.ucdavis.rj.Common.Smallest
-
- compareTo(Comparable, Comparable) - Method in class edu.ucdavis.rj.InniArm.By
-
Comparison method used to compare two invocations'
ranks.
- Create - Class in edu.ucdavis.rj
-
Methods for creating RJ virtual machines and RJ remote objects.
- createInstance(String, Object...) - Static method in class edu.ucdavis.rj.Create
-
A common case of remote object creation:
create a new remote object on the same host.
- createInstance(VM, String, Object...) - Static method in class edu.ucdavis.rj.Create
-
The general case of VM creation:
create a new VM on the specified host.
- createVM() - Static method in class edu.ucdavis.rj.Create
-
A common case of VM creation: create a new VM on the same host.
- createVM(String) - Static method in class edu.ucdavis.rj.Create
-
The general case of VM creation:
create a new VM on the specified host.
- get(String) - Method in class edu.ucdavis.rj.RemoteRefs
-
Returns the OpProxy
within this RemoteRefs
for the named operation.
- getControl() - Method in class edu.ucdavis.rj.BaseArmCode
-
Get control flow for this ArmCode.
- getFirstTime() - Method in interface edu.ucdavis.rj.Op
-
Get the timestamp of the first (oldest)
pending invocation of this operation.
- getFirstTime() - Method in class edu.ucdavis.rj.OpInni
-
Return timestamp (non-negative) of first invocation in this queue,
if there are any invocations; otherwise, return -1.
- getFirstTime() - Method in class edu.ucdavis.rj.OpMethod
-
- getFirstTime() - Method in class edu.ucdavis.rj.OpProxy
-
- getId() - Method in interface edu.ucdavis.rj.Op
-
Returns unique identifier for this operation.
- getId() - Method in class edu.ucdavis.rj.OpImpl
-
- getId() - Method in class edu.ucdavis.rj.OpProxy
-
- getLock() - Method in interface edu.ucdavis.rj.Op
-
Get the equivalence class lock for this operation.
- getLock() - Method in class edu.ucdavis.rj.OpInni
-
- getLock() - Method in class edu.ucdavis.rj.OpMethod
-
- getLock() - Method in class edu.ucdavis.rj.OpProxy
-
- getOpProxy() - Method in class edu.ucdavis.rj.InniArm
-
- getOpRemote() - Method in class edu.ucdavis.rj.OpProxy
-
Access method to return proxy's implementation.
- getParam(int) - Method in class edu.ucdavis.rj.Invocation
-
Return a parameter of the invocation.
- getQuantifier(int) - Method in class edu.ucdavis.rj.Quantifiers
-
Return an item in this instance of a Quantifier
.
- getReplyOp() - Method in class edu.ucdavis.rj.Invocation
-
Get the reply operation for the invocation.
- getReturnValue() - Method in class edu.ucdavis.rj.Invocation
-
Get the return value for the invocation.
- getThisRemoteRefs(Object) - Static method in class edu.ucdavis.rj.RemoteRefs
-
Equivalent to JR's this.remote.
- getThisVM() - Static method in class edu.ucdavis.rj.Create
-
Equivalent to JR's vm.thisvm.
- getVersion() - Method in class edu.ucdavis.rj.Version
-
- getVersionDate() - Method in class edu.ucdavis.rj.Version
-
- getVersionInfo() - Method in class edu.ucdavis.rj.Version
-
- getVersionNumber() - Method in class edu.ucdavis.rj.Version
-
- go() - Method in class edu.ucdavis.rj.Co
-
Execute this co.
- Inni - Class in edu.ucdavis.rj
-
An Inni services on invocation from a specified group of InniOps.
- Inni(InniArmElse, InniArm, InniArm...) - Constructor for class edu.ucdavis.rj.Inni
-
Create a new instance of an Inni.
- Inni(InniArmElseafter, InniArm, InniArm...) - Constructor for class edu.ucdavis.rj.Inni
-
Create a new instance of an Inni.
- Inni(InniArm, InniArm...) - Constructor for class edu.ucdavis.rj.Inni
-
Create a new instance of an Inni.
- InniArm - Class in edu.ucdavis.rj
-
Represents a possibly quantified arm on an inni.
- InniArm(OpInni, InniArm.SuchThat, InniArm.By, ArmCode) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(OpInni, InniArm.SuchThat, InniArm.By) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(OpInni, InniArm.SuchThat, ArmCode) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(OpInni, InniArm.SuchThat) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(OpInni, InniArm.By, ArmCode) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(OpInni, InniArm.By) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(OpInni, ArmCode) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(OpInni) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(OpProxy, InniArm.SuchThat, InniArm.By, ArmCode) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(OpProxy, InniArm.SuchThat, InniArm.By) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(OpProxy, InniArm.SuchThat, ArmCode) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(OpProxy, InniArm.SuchThat) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(OpProxy, InniArm.By, ArmCode) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(OpProxy, InniArm.By) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(OpProxy, ArmCode) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(OpProxy) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(InniArm.OpArray, InniArm.SuchThat, InniArm.By, ArmCode) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(InniArm.OpArray, InniArm.SuchThat, InniArm.By) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(InniArm.OpArray, InniArm.SuchThat, ArmCode) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(InniArm.OpArray, InniArm.SuchThat) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(InniArm.OpArray, InniArm.By, ArmCode) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(InniArm.OpArray, InniArm.By) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(InniArm.OpArray, ArmCode) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm(InniArm.OpArray) - Constructor for class edu.ucdavis.rj.InniArm
-
- InniArm.By - Class in edu.ucdavis.rj
-
A `by clause' specifies the order in which invocations are serviced.
- InniArm.By() - Constructor for class edu.ucdavis.rj.InniArm.By
-
- InniArm.OpArray - Class in edu.ucdavis.rj
-
An array of operations for this InniArm
and (typically) the associated quantifier values.
- InniArm.OpArray(Quantifiers[], OpImpl[]) - Constructor for class edu.ucdavis.rj.InniArm.OpArray
-
- InniArm.OpArray(ArrayList<Quantifiers>, ArrayList<OpImpl>) - Constructor for class edu.ucdavis.rj.InniArm.OpArray
-
- InniArm.OpArray(OpImpl[]) - Constructor for class edu.ucdavis.rj.InniArm.OpArray
-
- InniArm.OpArray(ArrayList<OpImpl>, InniArm.OpArray.Dummy...) - Constructor for class edu.ucdavis.rj.InniArm.OpArray
-
- InniArm.OpArray(Quantifiers[], OpProxy[]) - Constructor for class edu.ucdavis.rj.InniArm.OpArray
-
- InniArm.OpArray(ArrayList<Quantifiers>, ArrayList<OpProxy>, InniArm.OpArray.Dummy...) - Constructor for class edu.ucdavis.rj.InniArm.OpArray
-
- InniArm.OpArray(OpProxy[]) - Constructor for class edu.ucdavis.rj.InniArm.OpArray
-
- InniArm.OpArray(ArrayList<OpProxy>) - Constructor for class edu.ucdavis.rj.InniArm.OpArray
-
- InniArm.OpArray.Dummy - Class in edu.ucdavis.rj
-
used to workaround Java's "same type erasure"
for constructors for OpImpl and similars one for OpProxy.
- InniArm.OpArray.Dummy() - Constructor for class edu.ucdavis.rj.InniArm.OpArray.Dummy
-
- InniArm.SuchThat - Class in edu.ucdavis.rj
-
A `such that clause' specifies which invocations
are eligible to be serviced.
- InniArm.SuchThat() - Constructor for class edu.ucdavis.rj.InniArm.SuchThat
-
- InniArmElse - Class in edu.ucdavis.rj
-
Represents the else arm on an inni.
- InniArmElse(InniArmElseCode) - Constructor for class edu.ucdavis.rj.InniArmElse
-
If no suitable invocation is present,
then execute the code in this arm and terminate the inni.
- InniArmElseafter - Class in edu.ucdavis.rj
-
Represents the elseafter arm on an inni.
- InniArmElseafter(long, int, InniArmElseCode) - Constructor for class edu.ucdavis.rj.InniArmElseafter
-
If no suitable invocation is present
or arrives within the specified time,
then execute the code in this arm and terminate the inni.
- InniArmElseafter(long, InniArmElseCode) - Constructor for class edu.ucdavis.rj.InniArmElseafter
-
The common case specifies only milliseconds.
- InniArmElseCode - Class in edu.ucdavis.rj
-
Represents the code on an inni's else arm.
- InniArmElseCode() - Constructor for class edu.ucdavis.rj.InniArmElseCode
-
- Invocation - Class in edu.ucdavis.rj
-
Basic invocation abstraction.
- Invocation(Object...) - Constructor for class edu.ucdavis.rj.Invocation
-
Create an invocation with the given parameters.
- InvocationEnumeration - Interface in edu.ucdavis.rj
-
Corresponds to JR's inter-entry selection.
- isNoop() - Method in interface edu.ucdavis.rj.Op
-
Determines whether this operation is a noop
.
- isNoop() - Method in class edu.ucdavis.rj.OpImpl
-
Since have one noop per VM, need to know whether an OpImpl is a noop.
- isNoop() - Method in class edu.ucdavis.rj.OpProxy
-
- isRemote(String) - Method in interface edu.ucdavis.rj.Op
-
Is this operation on a remote VM or on the current VM?
(Not allowed on an
OpMethod
.)
- isRemote(String) - Method in class edu.ucdavis.rj.OpInni
-
- isRemote(String) - Method in class edu.ucdavis.rj.OpMethod
-
- isRemote(String) - Method in class edu.ucdavis.rj.OpProxy
-