A B C D E F G H I K L M N O P R S T U V W _

A

actualArguments() - Method in class mChaRM.multichannel.mChaRMMethodCall

returns the actual arguments used in the trapped call.

add(binnode) - Method in class time_constraint.constr_eval.bintree

Adds the node n1 to the binary tree.

addArg(int, Object) - Method in class mChaRM.multichannel.mChaRMArgs

addNewConstructor(OJMethod) - Method in class mChaRM.PremChaRM.OJSubClass

This method add Constructor to the class

addNewFields(OJField) - Method in class mChaRM.PremChaRM.OJSubClass

This method add field to the class

addNewFields(Vector) - Method in class mChaRM.PremChaRM.OJSubClass

This method add fields to the class

addNewMethods(OJMethod) - Method in class mChaRM.PremChaRM.OJSubClass

Add method to the class

addNewMethods(Vector) - Method in class mChaRM.PremChaRM.OJSubClass

Add methods to the class

afterReceiverSideMetaBehavior(mChaRMMethodCall) - Method in class mChaRM.multichannel.receiverStub

it is called after the true invocation and performs meta-computation on the return value in the target locus.

afterReceiverSideMetaBehavior(mChaRMMethodCall) - Method in class mChaRM.mChaRMCollection.verboseReceiverStub

it is called after the true invocation of the trapped method and prints a message regarding the return value.

afterSenderSideMetaBehavior(mChaRMMethodCall) - Method in class mChaRM.multichannel.senderStub

This method performs the sender side meta-behavior.

afterSenderSideMetaBehavior(mChaRMMethodCall) - Method in class mChaRM.mChaRMCollection.verboseSenderStub

This method performs the sender side meta-behavior for a multi-channel of kind verbose.

args() - Method in class mChaRM.multichannel.mChaRMArgs

array2Vector(Object[]) - Static method in class mChaRM.PremChaRM.PreUtils

This utility get a Vector object from an array one.

attachingStub(String, String, String) - Method in interface mChaRM.multichannel.reflectiveReceiverInterface

B

beforeReceiverSideMetaBehavior(mChaRMMethodCall) - Method in class mChaRM.multichannel.receiverStub

it is called before the true invocation and performs meta-computation on the message in the target locus.

beforeReceiverSideMetaBehavior(mChaRMMethodCall) - Method in class mChaRM.mChaRMCollection.RMPReceiverStub

It is called before invoking the method and permits to perform the last meta-computation on the receiver

beforeReceiverSideMetaBehavior(mChaRMMethodCall) - Method in class mChaRM.mChaRMCollection.verboseReceiverStub

it is called before the true invocation of the trapped method and permits to prints a message regarding the trapped message.

beforeSenderSideMetaBehavior(mChaRMMethodCall) - Method in class mChaRM.multichannel.senderStub

This method performs part of the sender side meta-behavior.

beforeSenderSideMetaBehavior(mChaRMMethodCall) - Method in class mChaRM.mChaRMCollection.verboseSenderStub

This method performs the sender side meta-behavior for a multi-channel of kind verbose.

binnode - class time_constraint.constr_eval.binnode.

The binnode class rapresents a node of the tree representing the constraint.

binnode(request, int) - Constructor for class time_constraint.constr_eval.binnode

Initializes the binnode.

bintree - class time_constraint.constr_eval.bintree.

The bintree class implements the tree that represents the constraint.

bintree() - Constructor for class time_constraint.constr_eval.bintree

Initializes the binary tree.

buildtree(StringTokenizer, Vector) - Method in class time_constraint.constr_eval.bintree

Constructs the binary tree from the string st.

C

channelCore - class mChaRM.multichannel.channelCore.

This class defines how multi-channels behave (by default) in the abstract locus.

channelCore(String, String[], String, String) - Constructor for class mChaRM.multichannel.channelCore

constructor of multi-channels.

channelInterface - interface mChaRM.multichannel.channelInterface.

constructors - Variable in class mChaRM.PremChaRM.OJSubClass

This field contains the constructors.

Contains(elhistory) - Method in class time_constraint.constr_eval.partialhistory

Checks if el is contained in the partialhistory.

coreMetaBehavior(mChaRMMethodCall) - Method in interface mChaRM.multichannel.channelInterface

coreMetaBehavior(mChaRMMethodCall) - Method in class mChaRM.multichannel.channelCore

This method embodies the reflective behaviour realized by the multi-channel.

coreMetaBehavior(mChaRMMethodCall) - Method in class mChaRM.mChaRMCollection.RMPChannel

This method embodies the reflective behaviour realized by the RMP-multi-channel.

coreMetaBehavior(mChaRMMethodCall) - Method in class mChaRM.mChaRMCollection.validationChannel

This method embodies the reflective behaviour realized by the multi-channel.

coreMetaBehavior(mChaRMMethodCall) - Method in class mChaRM.mChaRMCollection.verboseChannel

This method embodies the reflective behaviour realized by the multi-channel.

CoreNotFoundException - exception mChaRM.multichannel.CoreNotFoundException.

CoreNotFoundException() - Constructor for class mChaRM.multichannel.CoreNotFoundException

CoreNotFoundException(String) - Constructor for class mChaRM.multichannel.CoreNotFoundException

createdom(String) - Method in class time_constraint.constr_eval.vardom

Initializes a vardom using the informations contained in st_var.

D

DangerousFields() - Method in class mChaRM.PremChaRM.PreGraph

This method checks if fields are dangerous, in other words it control if a fields is used by more than one class.

dbgAllocation - Static variable in class mChaRM.PremChaRM.PreUtils

Constant value for debugging.

dbgGraphField - Static variable in class mChaRM.PremChaRM.PreUtils

Constant value for debugging.

dbgGraphMethod - Static variable in class mChaRM.PremChaRM.PreUtils

Constant value for debugging.

dbgMethodCall - Static variable in class mChaRM.PremChaRM.PreUtils

Constant value for debugging.

dbgOpenClasses - Static variable in class mChaRM.PremChaRM.PreUtils

Constant value for debugging.

dbgPrepClasses - Static variable in class mChaRM.PremChaRM.PreUtils

Constant value for debugging.

dbgPrintClasses - Static variable in class mChaRM.PremChaRM.PreUtils

Constant value for debugging.

dbgPrintExpression - Static variable in class mChaRM.PremChaRM.PreUtils

Constant value for debugging.

dbgSyntax - Static variable in class mChaRM.PremChaRM.PreUtils

Constant value for debugging.

dbgUtils - Static variable in class mChaRM.PremChaRM.PreUtils

Constant value for debugging.

debugLevel - Static variable in class mChaRM.PremChaRM.PreUtils

Boolean array determining which debug levels have to be considered.

deepClone(DeepClone) - Method in class mChaRM.multichannel.mChaRMMethodCall

deepClone(DeepClone) - Method in class mChaRM.multichannel.mChaRMArgs

deepCloneReferences(DeepClone) - Method in class mChaRM.multichannel.mChaRMMethodCall

Clone all references to other objects.

deepCloneReferences(DeepClone) - Method in class mChaRM.multichannel.mChaRMArgs

Clone all references to other objects.

DeleteFields(OJField) - Method in class mChaRM.PremChaRM.OJSubClass

This method delete field to the class

DeleteFields(Vector) - Method in class mChaRM.PremChaRM.OJSubClass

This method delete fields to the class

DeleteMethods(OJMethod) - Method in class mChaRM.PremChaRM.OJSubClass

Delete method to the class

DeleteMethods(Vector) - Method in class mChaRM.PremChaRM.OJSubClass

Delete methods to the class

dom - Variable in class time_constraint.constr_eval.vardom

Represents the variable domain.

E

elhistory - class time_constraint.constr_eval.elhistory.

The elhistory class implements an element of the history.

elhistory(request, int) - Constructor for class time_constraint.constr_eval.elhistory

Creates a new elhistory and initializes request and time.

emptyTree() - Method in class time_constraint.constr_eval.bintree

Checks if the binary tree is empty.

equal(elhistory) - Method in class time_constraint.constr_eval.elhistory

Checks if the elhistory is equal to el.

equalsParameterType(OJMethod, OJMethod) - Static method in class mChaRM.PremChaRM.PreUtils

This method tests if two OJMethod objects have the same parameter types.

equalsParameterType(String[], String[]) - Static method in class mChaRM.PremChaRM.PreUtils

This method tests if two arrays of String have the same values.

eval(bintree, int, Vector, int) - Method in class mChaRM.mChaRMCollection.validationChannel

Evaluate the tree representation of the constraint to decide whether the method called by the client can be executed or not.

expandAllocation(Environment, AllocationExpression) - Method in class mChaRM.PremChaRM.PremChaRM

This method is invoked on every AllocationExpression instance of start class.

expandMethodCall(Environment, MethodCall) - Method in class mChaRM.PremChaRM.PremChaRM

This method is invoked on every MethodCall instance of start class not tested yet.

expandTypeName(Environment, TypeName) - Method in class mChaRM.PremChaRM.PremChaRM

This method is invoked on every TypeName instance of start class.

expandVariableDeclaration(Environment, VariableDeclaration) - Method in class mChaRM.PremChaRM.PremChaRM

This method is invoked on every VariableDeclaration instance of start class.

F

fieldAt(int) - Method in class mChaRM.PremChaRM.PreGraph

This method return the OJField object specified by index.

FieldDoesNotExistException - exception mChaRM.multichannel.FieldDoesNotExistException.

FieldDoesNotExistException() - Constructor for class mChaRM.multichannel.FieldDoesNotExistException

FieldDoesNotExistException(String) - Constructor for class mChaRM.multichannel.FieldDoesNotExistException

fieldHandling(StatementList, Vector, Vector) - Static method in class mChaRM.PremChaRM.PreUtils

This method returns all fields accessed by the given statements.

fieldUsedBy(int) - Method in class mChaRM.PremChaRM.PreGraph

This method return an array that rapresent in which classes the field is used.

fieldUsedBy(int, int) - Method in class mChaRM.PremChaRM.PreGraph

This method check if a field is used in a class.

finalize() - Method in class mChaRM.PremChaRM.OJSubClass

fstLineConstr - Variable in class mChaRM.PremChaRM.OJSubClass

This field contains, if present, the invocation of costructor in first line of constructor.

funz - Variable in class time_constraint.constr_eval.vardom

Represents the identifier of the existential or universal operator.

G

getArg(int) - Method in class mChaRM.multichannel.mChaRMArgs

getCalledMethods(OJMethod, Vector, Vector) - Static method in class mChaRM.PremChaRM.PreUtils

This method returns all MethodCall expressions present in the given OJMethod object's body.

getDeclSuffixRule(String) - Static method in class mChaRM.PremChaRM.PremChaRM

Function predefined in OJClass, is used to get a parse tree of added syntax.

getDeclSuffixRule(String) - Static method in class mChaRM.MOP.mChaRM_MOP

getInterfacesStr() - Method in class mChaRM.PremChaRM.OJSubClass

This method return name of inmpleted interface.

getMethodName() - Method in class mChaRM.multichannel.mChaRMMethodCall

returns the name of the method called.

getName() - Method in class mChaRM.PremChaRM.OJSubClass

This method return name of this class.

getReturnValue() - Method in class mChaRM.multichannel.mChaRMMethodCall

gets the return value of the related method call.

getSuperClass() - Method in class mChaRM.PremChaRM.OJSubClass

This method return the superclass of this class.

H

HandleFirstTime(String) - Method in class mChaRM.PremChaRM.PremChaRM

This method takes the info in OJMI file of sterting class.

hasArgs() - Method in class mChaRM.multichannel.mChaRMMethodCall

wonders about wheather the embodied call has or not arguments.

history - Variable in class time_constraint.constr_eval.partialhistory

Represents a Vector of elhistory.

howManyReceivers() - Method in class mChaRM.multichannel.channelCore

returns the number of receivers bound to this multi-channel.

howManySenders() - Method in class mChaRM.multichannel.channelCore

returns the number of senders bound to this multi-channel, at the moment of the call.

I

insertArgument(int, Object) - Method in class mChaRM.multichannel.mChaRMMethodCall

inserts a new argument at the specified position in the call.

insertFields(OJField, int[]) - Method in class mChaRM.PremChaRM.PreGraph

Put a field in the graph.

insertMethod(OJMethod, int) - Method in class mChaRM.PremChaRM.PreGraph

Put a method in the graph.

inspectArgument(int) - Method in class mChaRM.multichannel.mChaRMMethodCall

returns the actual value of a specified argument.

interface_time - interface time_constraint.time.interface_time.

The interface_time interface should be implemented by classes who want to manage the abstract data type Time.

invoke(mChaRMMethodCall) - Method in class mChaRM.multichannel.receiverStub

it performs the meta-computation on the receiver side -- calling the method receiverSideMetaBehavior --, then really invoke the method reified by the meta-computationi -- invoking the tInvoke method.

invoke(mChaRMMethodCall) - Method in interface mChaRM.multichannel.receiverStubInterface

isRegisteredKeyword(String) - Static method in class mChaRM.PremChaRM.PremChaRM

Function predefined in OJClass, is used to check if the keyword present in added syntax regard current OJClass

isRegisteredKeyword(String) - Static method in class mChaRM.MOP.mChaRM_MOP

K

killArg(int) - Method in class mChaRM.multichannel.mChaRMArgs

kind() - Method in class mChaRM.multichannel.channelCore

returns the kind of the multi-channel.

L

left - Variable in class time_constraint.constr_eval.bintree

Represents the left tree of the binary tree.

M

m - Variable in class time_constraint.constr_eval.request

represents the service requested.

main(String[]) - Static method in class time_constraint.time.Time

Establishes which is its security server and which security policy it has to respect; rebinds the name to the new time object.

marshal(MarshalStream) - Method in class mChaRM.multichannel.mChaRMMethodCall

Called directly by uka.transport.MarshalStream

marshal(MarshalStream) - Method in class mChaRM.multichannel.mChaRMArgs

Called directly by uka.transport.MarshalStream

marshalPrimitives(byte[], int) - Method in class mChaRM.multichannel.mChaRMMethodCall

marshalPrimitives(byte[], int) - Method in class mChaRM.multichannel.mChaRMArgs

marshalReferences(MarshalStream) - Method in class mChaRM.multichannel.mChaRMMethodCall

marshalReferences(MarshalStream) - Method in class mChaRM.multichannel.mChaRMArgs

mChaRM_MOP - class mChaRM.MOP.mChaRM_MOP.

mChaRM_MOP(Class, MetaInfo) - Constructor for class mChaRM.MOP.mChaRM_MOP

mChaRM_MOP(Environment, OJClass, ClassDeclaration) - Constructor for class mChaRM.MOP.mChaRM_MOP

mChaRM.mChaRMCollection - package mChaRM.mChaRMCollection

mChaRM.MOP - package mChaRM.MOP

mChaRM.multichannel - package mChaRM.multichannel

mChaRM.PremChaRM - package mChaRM.PremChaRM

mChaRMArgs - class mChaRM.multichannel.mChaRMArgs.

mChaRMArgs(Object[]) - Constructor for class mChaRM.multichannel.mChaRMArgs

mChaRMArgs(UnmarshalStream) - Constructor for class mChaRM.multichannel.mChaRMArgs

Used by uka.transport.UnmarshalStream to unmarshal the object

mChaRMArgs(UnmarshalStream, int) - Constructor for class mChaRM.multichannel.mChaRMArgs

mChaRMMethodCall - class mChaRM.multichannel.mChaRMMethodCall.

mChaRMMethodCall(String, String[], String, Object) - Constructor for class mChaRM.multichannel.mChaRMMethodCall

mChaRMMethodCall(String, String[], String, Object[]) - Constructor for class mChaRM.multichannel.mChaRMMethodCall

mChaRMMethodCall(UnmarshalStream) - Constructor for class mChaRM.multichannel.mChaRMMethodCall

Used by uka.transport.UnmarshalStream to unmarshal the object

mChaRMMethodCall(UnmarshalStream, int) - Constructor for class mChaRM.multichannel.mChaRMMethodCall

mergehistory(partialhistory) - Method in class time_constraint.constr_eval.partialhistory

Merges the parthialhistory with ph1.

methodAt(int) - Method in class mChaRM.PremChaRM.PreGraph

This method return OJMethod specified by given index.

methodCall2OJMethod(MethodCall, Environment) - Method in class mChaRM.PremChaRM.PremChaRM

This method perform the translation of MethodCall into OJMethod.

MethodDoesNotExistException - exception mChaRM.multichannel.MethodDoesNotExistException.

MethodDoesNotExistException() - Constructor for class mChaRM.multichannel.MethodDoesNotExistException

MethodDoesNotExistException(String) - Constructor for class mChaRM.multichannel.MethodDoesNotExistException

methodUsedBy(int) - Method in class mChaRM.PremChaRM.PreGraph

This method return an array that rapresent in which classes a method is called.

methodUsedBy(int, int) - Method in class mChaRM.PremChaRM.PreGraph

This method check if a method is used by a class.

modifyArgument(int, Object) - Method in class mChaRM.multichannel.mChaRMMethodCall

changes the value of a specified argument and returns the original value of such an argument.

N

n - Variable in class time_constraint.constr_eval.bintree

Represents a node of the binary tree.

nACK(int, String) - Method in class mChaRM.mChaRMCollection.RMPChannel

Sends the message n to the receiver that has requested it

nACK(int, String) - Method in interface mChaRM.mChaRMCollection.RMPChannelInterface

This method is remotely invoked by receiverStubs to request the retransmission of a message.

normalChannel - class mChaRM.mChaRMCollection.normalChannel.

realizes a multi-channel of kind normal.

normalChannel(String[]) - Constructor for class mChaRM.mChaRMCollection.normalChannel

constructor of multi-channels of kind normal.

numberOfArgs() - Method in class mChaRM.multichannel.mChaRMArgs

numberOfFields() - Method in class mChaRM.PremChaRM.PreGraph

This method return the number of fields stored.

numberOfMethods() - Method in class mChaRM.PremChaRM.PreGraph

This method return the number of methods stored.

O

o1 - Variable in class time_constraint.constr_eval.request

represents the client of the request.

o2 - Variable in class time_constraint.constr_eval.request

represents the intended server to satisfy the request.

OJSubClass - class mChaRM.PremChaRM.OJSubClass.

This class represents the structure of a class and allow to write to disk the code it contains.

OJSubClass(String, String, String[]) - Constructor for class mChaRM.PremChaRM.OJSubClass

This constructor have to be used if class have no interfaces.

OJSubClass(String, String, String[], String[]) - Constructor for class mChaRM.PremChaRM.OJSubClass

This constructor have to be used if class have some interfaces.

op - Variable in class time_constraint.constr_eval.binnode

Represents the operator identifier.

openClasses() - Method in class mChaRM.PremChaRM.PremChaRM

This method create the output class.

overriddenMethod(OJMethod, OJMethod) - Static method in class mChaRM.PremChaRM.PreUtils

Check if two given OJMethod objects are overridden.

P

p - Variable in class time_constraint.constr_eval.request

represents the parameter of the method m.

pACK(int) - Method in class mChaRM.mChaRMCollection.RMPReceiverStub

It adds an Ack for the message n.

pACK(int) - Method in interface mChaRM.mChaRMCollection.RMPReceiverStubInterface

This method is remotely invoked by a receiverStub to let other receiverStubs know that he received a message

parent - Variable in class time_constraint.constr_eval.bintree

Represents the binary tree whose son is n.

parseConstr(String) - Method in class mChaRM.PremChaRM.PremChaRM

parseConstr(StringTokenizer, char) - Method in class mChaRM.PremChaRM.PremChaRM

partialhistory - class time_constraint.constr_eval.partialhistory.

The partialhistory class implements the set of accepted service requests between the sender and the receiver.

partialhistory() - Constructor for class time_constraint.constr_eval.partialhistory

Creates a new partialhistory object.

PreGraph - class mChaRM.PremChaRM.PreGraph.

This class representing the structure of fields and methods used to resolve the problem of sharing out.

PreGraph() - Constructor for class mChaRM.PremChaRM.PreGraph

PremChaRM - class mChaRM.PremChaRM.PremChaRM.

This class represents the OpenJava Preprocessor for a class containing the mChaRM mechanism.

PremChaRM(Class, MetaInfo) - Constructor for class mChaRM.PremChaRM.PremChaRM

PremChaRM(Environment, OJClass, ClassDeclaration) - Constructor for class mChaRM.PremChaRM.PremChaRM

PreUtils - class mChaRM.PremChaRM.PreUtils.

This class contains lots of utilities for PremChaRM class.

PreUtils() - Constructor for class mChaRM.PremChaRM.PreUtils

print_el() - Method in class time_constraint.constr_eval.elhistory

Write an elhistory to standard output.

printAllFields() - Method in class mChaRM.PremChaRM.OJSubClass

This method print all fields calling printField method for each field.

printAllMethods() - Method in class mChaRM.PremChaRM.OJSubClass

This method print all methods to the output file calling printMethod method for each OJMethod.

printConstructor() - Method in class mChaRM.PremChaRM.OJSubClass

This method print the constructor of the class to the output file (with the exception it throws).

printDebug(String, int, int) - Static method in class mChaRM.PremChaRM.PreUtils

Print on standard output the given string if the cell of debugLevel[] specified by type is true.

printExceptionText(String, Throwable) - Static method in class mChaRM.PremChaRM.PreUtils

Print on standard error the given string followed by the stack trace of the given expression.

printField(OJField) - Method in class mChaRM.PremChaRM.OJSubClass

This method print the specified field (whith its modifiers and type) to the output file.

printHeader() - Method in class mChaRM.PremChaRM.OJSubClass

This method print the initial part of the class.

printhistory() - Method in class time_constraint.constr_eval.partialhistory

Prints the partialhistory to standard output.

printImports() - Method in class mChaRM.PremChaRM.OJSubClass

This method print all imports int the output file.

printmChaRMArgs() - Method in class mChaRM.multichannel.mChaRMArgs

printmChaRMMethodCall() - Method in class mChaRM.multichannel.mChaRMMethodCall

prints the embodied method call.

printMethod(OJMethod) - Method in class mChaRM.PremChaRM.OJSubClass

This method print the specified method to the output file.

printOutputClass() - Method in class mChaRM.PremChaRM.OJSubClass

This method print the whole class.

R

readfile(String) - Method in class time_constraint.constr_eval.RFile

Converts the name file into a String.

receiverName(int) - Method in class mChaRM.multichannel.channelCore

returns the name of the receiver whose position is specified by indx.

receivers() - Method in class mChaRM.multichannel.mChaRMMethodCall

returns an array containing the name of the reecivers involved in the call.

receiverStub - class mChaRM.multichannel.receiverStub.

Instances of this class are used as stubs of the multi-channel on the receiver site.

receiverStub(Object, String, String) - Constructor for class mChaRM.multichannel.receiverStub

receiverStub constructor.

receiverStub(String) - Method in class mChaRM.multichannel.channelCore

receiverStubByPosition(int) - Method in class mChaRM.multichannel.channelCore

ReceiverStubCannotBeRegisteredAsAServerException - exception mChaRM.multichannel.ReceiverStubCannotBeRegisteredAsAServerException.

ReceiverStubCannotBeRegisteredAsAServerException() - Constructor for class mChaRM.multichannel.ReceiverStubCannotBeRegisteredAsAServerException

ReceiverStubCannotBeRegisteredAsAServerException(String) - Constructor for class mChaRM.multichannel.ReceiverStubCannotBeRegisteredAsAServerException

receiverStubClassName() - Method in class mChaRM.multichannel.channelCore

receiverStubInterface - interface mChaRM.multichannel.receiverStubInterface.

ReceiverStubNotFoundException - exception mChaRM.multichannel.ReceiverStubNotFoundException.

ReceiverStubNotFoundException() - Constructor for class mChaRM.multichannel.ReceiverStubNotFoundException

ReceiverStubNotFoundException(String) - Constructor for class mChaRM.multichannel.ReceiverStubNotFoundException

ReferenceToNonExistentArgumentException - exception mChaRM.multichannel.ReferenceToNonExistentArgumentException.

ReferenceToNonExistentArgumentException() - Constructor for class mChaRM.multichannel.ReferenceToNonExistentArgumentException

ReferenceToNonExistentArgumentException(String) - Constructor for class mChaRM.multichannel.ReferenceToNonExistentArgumentException

referent() - Method in class mChaRM.multichannel.stub

accessor to the referent of the stub.

reflectiveReceiverInterface - interface mChaRM.multichannel.reflectiveReceiverInterface.

removeArgument(int) - Method in class mChaRM.multichannel.mChaRMMethodCall

removes the specified argument from the embodied call.

request - class time_constraint.constr_eval.request.

The request class represents the request of a service.
A request is [client, server, method, parameter].

An example of request:

[A; T; x; 5].

request(char, char, char, int) - Constructor for class time_constraint.constr_eval.request

Initializes a new request.

retrieveconstraint(mChaRMMethodCall, Vector) - Method in class mChaRM.mChaRMCollection.validationChannel

Looks in the constraint file for the constraint associated to the request and retrieve it.

retrieveField(String) - Method in class mChaRM.multichannel.stub

queries for the contents of a specified field of the referent.

retrieveField(String) - Method in interface mChaRM.multichannel.stubInterface

retrievehistory() - Method in class mChaRM.mChaRMCollection.validationChannel

Supply to another channel the history of the current channel.

retrievehistory() - Method in interface mChaRM.mChaRMCollection.validationChannelInterface

Finds the history of a channel.

retrieveReceiverFieldValue(String, String) - Method in class mChaRM.multichannel.channelCore

retrieves the content of a field of the specified receiver.

retrieveSenderFieldValue(String, String) - Method in class mChaRM.multichannel.channelCore

retrieves the content of a field of the specified sender.

RFile - class time_constraint.constr_eval.RFile.

The RFile class represents the constraints file.

RFile() - Constructor for class time_constraint.constr_eval.RFile

right - Variable in class time_constraint.constr_eval.bintree

Represents the right tree of the binary tree.

RMPChannel - class mChaRM.mChaRMCollection.RMPChannel.

Realizes a multi-channel of kind RMP.

RMPChannel(String[]) - Constructor for class mChaRM.mChaRMCollection.RMPChannel

Constructor of RMP-multi-channels.

RMPChannelInterface - interface mChaRM.mChaRMCollection.RMPChannelInterface.

Interface for class RMPChannel

RMPReceiverStub - class mChaRM.mChaRMCollection.RMPReceiverStub.

Instances of this class are used as stubs of the multi-channel on the receiver site.

RMPReceiverStub(Object, String, String) - Constructor for class mChaRM.mChaRMCollection.RMPReceiverStub

RMPReceiverStub constructor.

RMPReceiverStubInterface - interface mChaRM.mChaRMCollection.RMPReceiverStubInterface.

Interface for class RMPReceiverStub

S

sender() - Method in class mChaRM.multichannel.mChaRMMethodCall

returns the name of the sender of the message.

senderName(int) - Method in class mChaRM.multichannel.channelCore

returns the name of the sender whose position is specified by indx.

senderStub - class mChaRM.multichannel.senderStub.

Instances of this class are used as stubs of the multi-channel on the sender side.

senderStub(Object, String, String) - Constructor for class mChaRM.multichannel.senderStub

senderStub constructor.

senderStub(String) - Method in class mChaRM.multichannel.channelCore

senderStubByPosition(int) - Method in class mChaRM.multichannel.channelCore

SenderStubCannotBeRegisteredAsAServerException - exception mChaRM.multichannel.SenderStubCannotBeRegisteredAsAServerException.

SenderStubCannotBeRegisteredAsAServerException() - Constructor for class mChaRM.multichannel.SenderStubCannotBeRegisteredAsAServerException

SenderStubCannotBeRegisteredAsAServerException(String) - Constructor for class mChaRM.multichannel.SenderStubCannotBeRegisteredAsAServerException

senderStubClassName() - Method in class mChaRM.multichannel.channelCore

senderStubHasBeenCreated(String) - Method in interface mChaRM.multichannel.channelInterface

senderStubHasBeenCreated(String) - Method in class mChaRM.multichannel.channelCore

the invocation of this method allows to connect the multi-channel to the new stub.

senderStubInterface - interface mChaRM.multichannel.senderStubInterface.

SenderStubNotFoundException - exception mChaRM.multichannel.SenderStubNotFoundException.

SenderStubNotFoundException() - Constructor for class mChaRM.multichannel.SenderStubNotFoundException

SenderStubNotFoundException(String) - Constructor for class mChaRM.multichannel.SenderStubNotFoundException

setArg(int, Object) - Method in class mChaRM.multichannel.mChaRMArgs

setImports(String[]) - Method in class mChaRM.PremChaRM.OJSubClass

This method set the imports of this class.

setKind(String) - Method in class mChaRM.multichannel.channelCore

sets the kind of the multi-channel to the passed value k.

setMethodName(String) - Method in class mChaRM.multichannel.mChaRMMethodCall

changes the name of the method called.

setName(String) - Static method in class mChaRM.PremChaRM.PreUtils

This method allow to change the name of the class instanciating PremChaRM class.

setReceiverName(int, String) - Method in class mChaRM.multichannel.channelCore

inserts the name of a receiver at the position specified by indx.

setReceiverStub(String, receiverStubInterface) - Method in class mChaRM.multichannel.channelCore

setReceiverStubClassName(String) - Method in class mChaRM.multichannel.channelCore

setReferent(Object) - Method in class mChaRM.multichannel.stub

sets the referent of this stub.

setReturnValue(Object) - Method in class mChaRM.multichannel.mChaRMMethodCall

substitutes the return value of a method call.

setRsName(String[]) - Method in class mChaRM.multichannel.channelCore

uses the array of strings specified by name as the set of names of the receivers of the multi-channel.

setSenderName(int, String) - Method in class mChaRM.multichannel.channelCore

inserts the name of a sender at the position specified by indx.

setSenderStub(String, senderStubInterface) - Method in class mChaRM.multichannel.channelCore

setSenderStubClassName(String) - Method in class mChaRM.multichannel.channelCore

setWhoIsMyCore(String) - Method in class mChaRM.multichannel.stub

links the stub to the core of the multi-channel which it is part of.

stub - class mChaRM.multichannel.stub.

This class represents the common root for both sender and receiver stub classes.

stub() - Constructor for class mChaRM.multichannel.stub

stubBehavior(mChaRMMethodCall) - Method in class mChaRM.multichannel.senderStub

This method embodies the reflective behaviour performed on the source locus, and also forwards the trapped request to the abstract locus.

stubInterface - interface mChaRM.multichannel.stubInterface.

StubNotFoundException - exception mChaRM.multichannel.StubNotFoundException.

StubNotFoundException() - Constructor for class mChaRM.multichannel.StubNotFoundException

StubNotFoundException(String) - Constructor for class mChaRM.multichannel.StubNotFoundException

supplyASenderStub() - Method in interface mChaRM.multichannel.channelInterface

supplyASenderStub() - Method in class mChaRM.multichannel.channelCore

on request, it supplies the class name of its senderStub to the requiring client.

T

time - Variable in class time_constraint.constr_eval.elhistory

Represents the time at which the request was made.

Time - class time_constraint.time.Time.

The Time class rapresents the time.

time_constraint.constr_eval - package time_constraint.constr_eval

time_constraint.time - package time_constraint.time

Time() - Constructor for class time_constraint.time.Time

Creates and initializes a new Time object.

tInvoke(mChaRMMethodCall) - Method in class mChaRM.multichannel.receiverStub

it invokes a method with the actual arguments on the receiver side.

translateDefinition() - Method in class mChaRM.PremChaRM.PremChaRM

This is the starting point of pre-compiling.

translateDefinition() - Method in class mChaRM.MOP.mChaRM_MOP

U

unmarshalReferences(UnmarshalStream) - Method in class mChaRM.multichannel.mChaRMMethodCall

Method of interface Transportable, it must be declared public.

unmarshalReferences(UnmarshalStream) - Method in class mChaRM.multichannel.mChaRMArgs

Method of interface Transportable, it must be declared public.

updatehistory(elhistory) - Method in class mChaRM.mChaRMCollection.validationChannel

Adds the just satisfied request el, timestamped with the current time, to the history.

updatetime() - Method in class time_constraint.time.Time

Increases the time adding 1.

updatetime() - Method in interface time_constraint.time.interface_time

Updates the time.

V

validationChannel - class mChaRM.mChaRMCollection.validationChannel.

The validationChannel realizes a multi-channel of kind validation.

The channel meta-behavior is based on the knolwledge of the receivers.

validationChannel(String[], String) - Constructor for class mChaRM.mChaRMCollection.validationChannel

Creates a multi-channels of kind validation.

validationChannel(String, String[], String, String, String) - Constructor for class mChaRM.mChaRMCollection.validationChannel

Creates a multi-channels of kind validation.

validationChannelInterface - interface mChaRM.mChaRMCollection.validationChannelInterface.

The validationChannelInterface should be implemented to comunicate between channels.

var - Variable in class time_constraint.constr_eval.vardom

Represents the variable name.

vardom - class time_constraint.constr_eval.vardom.

The vardom class represents variables and domains of existential and universal quantifier.

vardom() - Constructor for class time_constraint.constr_eval.vardom

Creates a vardom object.

verboseChannel - class mChaRM.mChaRMCollection.verboseChannel.

realizes a multi-channel of kind verbose.

verboseChannel(String[]) - Constructor for class mChaRM.mChaRMCollection.verboseChannel

constructor of multi-channels of kind verbose.

verboseChannel(String, String[], String, String) - Constructor for class mChaRM.mChaRMCollection.verboseChannel

verboseReceiverStub - class mChaRM.mChaRMCollection.verboseReceiverStub.

realizes the receiver stubs of a multi-channel of kind verbose.

verboseReceiverStub(Object, String, String) - Constructor for class mChaRM.mChaRMCollection.verboseReceiverStub

constructor for the stubs.

verboseSenderStub - class mChaRM.mChaRMCollection.verboseSenderStub.

realizes the sender stubs of a multi-channel of kind verbose.

verboseSenderStub(Object, String, String) - Constructor for class mChaRM.mChaRMCollection.verboseSenderStub

constructor for the stubs.

W

WhoIsMyCore() - Method in class mChaRM.multichannel.stub

It supplies a pointer to the core of the multi-channel.

writetree() - Method in class time_constraint.constr_eval.bintree

Writes the tree to standard output.

_

_SIZE - Static variable in class mChaRM.multichannel.mChaRMMethodCall

_SIZE - Static variable in class mChaRM.multichannel.mChaRMArgs

A B C D E F G H I K L M N O P R S T U V W _