All Packages  Class Hierarchy

Index of all Fields and Methods

A

absencePrinciple(). Method in class inria.meije.rc.sugarcubes.Machine

The basic absence principle method simply returns endOfInstant.

ABSENT. Static variable in interface inria.meije.rc.sugarcubes.EventConsts

action(Machine). Method in class inria.meije.rc.sugarcubes.Atom

action(Machine). Method in class inria.meije.rc.sugarcubes.Generate

action(Machine). Method in class inria.meije.rc.sugarcubes.PrintAtom

Prints the action field.

activ(Machine). Method in class inria.meije.rc.sugarcubes.Instruction

The general activ method activates the instruction in a machine and manages its termination state.

activation(Machine). Method in class inria.meije.rc.sugarcubes.Atom

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.Await

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.Close

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.Control

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.EventDecl

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.InOutDecl

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.InputDecl

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.Instruction

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.Loop

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.Machine

Execution of one instant (does not use the parameter machine).

activation(Machine). Method in class inria.meije.rc.sugarcubes.Merge

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.Nothing

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.OutputDecl

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.Repeat

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.Seq

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.Stop

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.Suspend

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.Until

Specific activation.

activation(Machine). Method in class inria.meije.rc.sugarcubes.When

Specific activation.

activeHandle. Variable in class inria.meije.rc.sugarcubes.Until

add(Instruction). Method in class inria.meije.rc.sugarcubes.Machine

New instructions can be added to the machine.

AndConfig(Config, Config). Constructor for class inria.meije.rc.sugarcubes.AndConfig

Atom(). Constructor for class inria.meije.rc.sugarcubes.Atom

Await(Config). Constructor for class inria.meije.rc.sugarcubes.Await

B

BinaryConfig(). Constructor for class inria.meije.rc.sugarcubes.BinaryConfig

BinaryInstruction(). Constructor for class inria.meije.rc.sugarcubes.BinaryInstruction

binding. Variable in class inria.meije.rc.sugarcubes.IODecl

Is event binding done ?

body. Variable in class inria.meije.rc.sugarcubes.UnaryInstruction

The instruction body.

C

c1. Variable in class inria.meije.rc.sugarcubes.BinaryConfig

The two components which are event configurations.

c2. Variable in class inria.meije.rc.sugarcubes.BinaryConfig

The two components which are event configurations.

clone(). Method in class inria.meije.rc.sugarcubes.BinaryInstruction

Instruction implements cloneable.

clone(). Method in class inria.meije.rc.sugarcubes.Event

Event class implements cloneable.

clone(). Method in class inria.meije.rc.sugarcubes.EventDecl

Instruction implements cloneable.

clone(). Method in class inria.meije.rc.sugarcubes.EventEnv

Clone means a real copy of all the elements in the environment.

clone(). Method in class inria.meije.rc.sugarcubes.Instruction

Instruction implements cloneable.

clone(). Method in class inria.meije.rc.sugarcubes.IODecl

Instruction implements cloneable.

clone(). Method in class inria.meije.rc.sugarcubes.Machine

Clone a machine.

clone(). Method in class inria.meije.rc.sugarcubes.UnaryInstruction

Instruction implements cloneable.

Close(Instruction). Constructor for class inria.meije.rc.sugarcubes.Close

combination(Object, Object). Method in class inria.meije.rc.sugarcubes.IntegerEvent

Abstract combination function.

combination(Object, Object). Method in class inria.meije.rc.sugarcubes.ValuedEvent

Abstract combination function.

confEvaluated. Variable in class inria.meije.rc.sugarcubes.When

config. Variable in class inria.meije.rc.sugarcubes.Await

config. Variable in class inria.meije.rc.sugarcubes.Until

config. Variable in class inria.meije.rc.sugarcubes.When

Config(). Constructor for class inria.meije.rc.sugarcubes.Config

Control(String, Instruction). Constructor for class inria.meije.rc.sugarcubes.Control

counter. Variable in class inria.meije.rc.sugarcubes.Repeat

counter is the number of already done cycles

currentInstant(). Method in class inria.meije.rc.sugarcubes.Machine

Returns the current instant.

E

endOfInstant. Variable in class inria.meije.rc.sugarcubes.Machine

endOfInstant set to true when current instant is over.

endReached. Variable in class inria.meije.rc.sugarcubes.Loop

equals(Config). Method in class inria.meije.rc.sugarcubes.BinaryConfig

equals(Config). Method in class inria.meije.rc.sugarcubes.Config

equals(Config). Method in class inria.meije.rc.sugarcubes.UnaryConfig

equals(Instruction). Method in class inria.meije.rc.sugarcubes.Await

Equality of two instructions implies that they are of the same type.

equals(Instruction). Method in class inria.meije.rc.sugarcubes.BinaryInstruction

Equality of two instructions implies that they are of the same type.

equals(Instruction). Method in class inria.meije.rc.sugarcubes.Control

Equality of two instructions implies that they are of the same type.

equals(Instruction). Method in class inria.meije.rc.sugarcubes.EventDecl

Equality of two instructions implies that they are of the same type.

equals(Instruction). Method in class inria.meije.rc.sugarcubes.Generate

Equality of two instructions implies that they are of the same type.

equals(Instruction). Method in class inria.meije.rc.sugarcubes.Instruction

Equality of two instructions implies that they are of the same type.

equals(Instruction). Method in class inria.meije.rc.sugarcubes.IODecl

Equality of two instructions implies that they are of the same type.

equals(Instruction). Method in class inria.meije.rc.sugarcubes.Repeat

Equality of two instructions implies that they are of the same type.

equals(Instruction). Method in class inria.meije.rc.sugarcubes.UnaryInstruction

Equality of two instructions implies that they are of the same type.

equals(Instruction). Method in class inria.meije.rc.sugarcubes.Until

Equality of two instructions implies that they are of the same type.

equals(Instruction). Method in class inria.meije.rc.sugarcubes.When

Equality of two instructions implies that they are of the same type.

evaluate(Machine). Method in class inria.meije.rc.sugarcubes.AndConfig

Evaluates the configuration.

evaluate(Machine). Method in class inria.meije.rc.sugarcubes.Config

Evaluates the configuration.

evaluate(Machine). Method in class inria.meije.rc.sugarcubes.NegConfig

Evaluation returns true if the event is not generated in the machine.

evaluate(Machine). Method in class inria.meije.rc.sugarcubes.OrConfig

Evaluates the configuration.

evaluate(Machine). Method in class inria.meije.rc.sugarcubes.PosConfig

Evaluation returns true if the event is generated in the machine.

event(Machine). Method in class inria.meije.rc.sugarcubes.PosConfig

Event(String). Constructor for class inria.meije.rc.sugarcubes.Event

EventDecl(String, Instruction). Constructor for class inria.meije.rc.sugarcubes.EventDecl

eventEnv. Variable in class inria.meije.rc.sugarcubes.Machine

The event environment

EventEnv(). Constructor for class inria.meije.rc.sugarcubes.EventEnv

eventName. Variable in class inria.meije.rc.sugarcubes.Control

eventName. Variable in class inria.meije.rc.sugarcubes.Generate

eventName. Variable in class inria.meije.rc.sugarcubes.UnaryConfig

exploration(Machine). Method in class inria.meije.rc.sugarcubes.BinaryInstruction

A hook for analyzing an instruction.

exploration(Machine). Method in class inria.meije.rc.sugarcubes.Instruction

A hook for analyzing an instruction.

exploration(Machine). Method in class inria.meije.rc.sugarcubes.Loop

A hook for analyzing an instruction.

exploration(Machine). Method in class inria.meije.rc.sugarcubes.Seq

A hook for analyzing an instruction.

exploration(Machine). Method in class inria.meije.rc.sugarcubes.Stop

A hook for analyzing an instruction.

exploration(Machine). Method in class inria.meije.rc.sugarcubes.UnaryInstruction

A hook for analyzing an instruction.

explore(Machine). Method in class inria.meije.rc.sugarcubes.Instruction

externalName. Variable in class inria.meije.rc.sugarcubes.IODecl

The external name.

F

filter(byte). Method in class inria.meije.rc.sugarcubes.InOutDecl

To filter events, for automata.

filter(byte). Method in class inria.meije.rc.sugarcubes.InputDecl

To filter events, for automata.

filter(byte). Method in class inria.meije.rc.sugarcubes.IODecl

To filter events, for automata.

filter(byte). Method in class inria.meije.rc.sugarcubes.OutputDecl

To filter events, for automata.

fixed(Machine). Method in class inria.meije.rc.sugarcubes.AndConfig

A conjunction is fixed as soon as one component is fixed and evaluates to false: the other one does not need to be also fixed.

fixed(Machine). Method in class inria.meije.rc.sugarcubes.Config

Returns true if the configuration is fixed, and thus can be evaluated safely.

fixed(Machine). Method in class inria.meije.rc.sugarcubes.OrConfig

A disjunction is fixed as soon as one component is fixed and evaluates to true: the other one does not need to be also fixed.

fixed(Machine). Method in class inria.meije.rc.sugarcubes.UnaryConfig

An unary configuration is fixed when the event fixation returns a final value (different from UNKNOWN).

G

generate(Machine). Method in class inria.meije.rc.sugarcubes.Event

Generate the event in a machine.

generate(Machine, Object). Method in class inria.meije.rc.sugarcubes.ValuedEvent

Generate event with a value in a machine.

Generate(String). Constructor for class inria.meije.rc.sugarcubes.Generate

generate(String). Method in class inria.meije.rc.sugarcubes.Machine

Generates an event.

generated. Variable in class inria.meije.rc.sugarcubes.Event

For generating the event.

getEvent(String). Method in class inria.meije.rc.sugarcubes.EventEnv

To get an event from its name.

getEvent(String). Method in class inria.meije.rc.sugarcubes.Machine

Get an event from the environment.

I

IN_PARAM. Static variable in interface inria.meije.rc.sugarcubes.ParamTypes

INOUT_PARAM. Static variable in interface inria.meije.rc.sugarcubes.ParamTypes

InOutDecl(String, String, Instruction). Constructor for class inria.meije.rc.sugarcubes.InOutDecl

InputDecl(String, String, Instruction). Constructor for class inria.meije.rc.sugarcubes.InputDecl

instant. Variable in class inria.meije.rc.sugarcubes.Machine

The instant number (initially 1).

Instruction(). Constructor for class inria.meije.rc.sugarcubes.Instruction

IntegerEvent(String). Constructor for class inria.meije.rc.sugarcubes.IntegerEvent

internal. Variable in class inria.meije.rc.sugarcubes.EventDecl

internal. Variable in class inria.meije.rc.sugarcubes.IODecl

The local event.

internalName. Variable in class inria.meije.rc.sugarcubes.EventDecl

The local event is stored in internal

internalName. Variable in class inria.meije.rc.sugarcubes.IODecl

The internal name.

IODecl(). Constructor for class inria.meije.rc.sugarcubes.IODecl

isAbsent(Machine). Method in class inria.meije.rc.sugarcubes.Event

Is the event absent in a machine ?

isEndOfInstant(). Method in class inria.meije.rc.sugarcubes.Machine

Is it the end of the current instant.

isGenerated(String). Method in class inria.meije.rc.sugarcubes.Machine

Tests if an event is generated.

isHypothesisMade(Machine). Method in class inria.meije.rc.sugarcubes.Event

Is an hypothesis already made on the event ?

isInput(). Method in class inria.meije.rc.sugarcubes.Event

Is the event an input ? (for automata production).

isOutput(). Method in class inria.meije.rc.sugarcubes.Event

Is the event an output ? (for automata production).

isPresent(Machine). Method in class inria.meije.rc.sugarcubes.Event

Is the event present in a machine ?

isTerminated(). Method in class inria.meije.rc.sugarcubes.Instruction

To test if the instruction is terminated.

K

kind. Variable in class inria.meije.rc.sugarcubes.Event

Kind of parameter (for behaviors).

L

left. Variable in class inria.meije.rc.sugarcubes.BinaryInstruction

The two components, which are instructions.

link. Variable in class inria.meije.rc.sugarcubes.Event

Name of the actual parameter (for behaviors).

LOCAL_PARAM. Static variable in interface inria.meije.rc.sugarcubes.ParamTypes

localize(). Method in class inria.meije.rc.sugarcubes.Event

To localize the event (for automata production).

Loop(Instruction). Constructor for class inria.meije.rc.sugarcubes.Loop

M

Machine(). Constructor for class inria.meije.rc.sugarcubes.Machine

main(String[]). Static method in class inria.meije.rc.sugarcubes.IntegerEvent

makeAbsent(Machine). Method in class inria.meije.rc.sugarcubes.Event

Make the event absent in a machine.

makeHypothesis(Machine). Method in class inria.meije.rc.sugarcubes.Event

Make an hypothesis on the event.

Merge(Instruction, Instruction). Constructor for class inria.meije.rc.sugarcubes.Merge

move. Variable in class inria.meije.rc.sugarcubes.Machine

move set to true when something new appears.

N

name. Variable in class inria.meije.rc.sugarcubes.Event

Event name.

name(). Method in class inria.meije.rc.sugarcubes.UnaryConfig

NegConfig(String). Constructor for class inria.meije.rc.sugarcubes.NegConfig

newInstant(). Method in class inria.meije.rc.sugarcubes.Machine

To set a new instant.

newMove(). Method in class inria.meije.rc.sugarcubes.Machine

There is a new move.

NO_HYPOTHESIS. Static variable in interface inria.meije.rc.sugarcubes.EventConsts

NOT_GENERATED. Static variable in interface inria.meije.rc.sugarcubes.EventConsts

Nothing(). Constructor for class inria.meije.rc.sugarcubes.Nothing

num. Variable in class inria.meije.rc.sugarcubes.Repeat

num is the initial loop number of cycles.

O

OrConfig(Config, Config). Constructor for class inria.meije.rc.sugarcubes.OrConfig

OUT_PARAM. Static variable in interface inria.meije.rc.sugarcubes.ParamTypes

OutputDecl(String, String, Instruction). Constructor for class inria.meije.rc.sugarcubes.OutputDecl

P

PosConfig(String). Constructor for class inria.meije.rc.sugarcubes.PosConfig

presence(Machine). Method in class inria.meije.rc.sugarcubes.Event

The presence method.

PRESENT. Static variable in interface inria.meije.rc.sugarcubes.EventConsts

PrintAtom(String). Constructor for class inria.meije.rc.sugarcubes.PrintAtom

program. Variable in class inria.meije.rc.sugarcubes.Machine

The program is initialy nothing

put(String, Event). Method in class inria.meije.rc.sugarcubes.EventEnv

To put an event in the environment.

putEvent(String, Event). Method in class inria.meije.rc.sugarcubes.Machine

Put an event in the environment.

R

read. Variable in class inria.meije.rc.sugarcubes.ValuedEvent

remain(Machine). Method in class inria.meije.rc.sugarcubes.Control

Specific residual method.

remain(Machine). Method in class inria.meije.rc.sugarcubes.EventDecl

Specific residual method.

remain(Machine). Method in class inria.meije.rc.sugarcubes.InOutDecl

Specific residual method.

remain(Machine). Method in class inria.meije.rc.sugarcubes.InputDecl

Specific residual method.

remain(Machine). Method in class inria.meije.rc.sugarcubes.Instruction

Specific residual method.

remain(Machine). Method in class inria.meije.rc.sugarcubes.Merge

Specific residual method.

remain(Machine). Method in class inria.meije.rc.sugarcubes.OutputDecl

Specific residual method.

remain(Machine). Method in class inria.meije.rc.sugarcubes.Seq

Specific residual method.

remain(Machine). Method in class inria.meije.rc.sugarcubes.Until

Specific residual method.

remain(Machine). Method in class inria.meije.rc.sugarcubes.When

Specific residual method.

Repeat(int, Instruction). Constructor for class inria.meije.rc.sugarcubes.Repeat

reset(). Method in class inria.meije.rc.sugarcubes.BinaryInstruction

To reset the instruction.

reset(). Method in class inria.meije.rc.sugarcubes.EventDecl

To reset the instruction.

reset(). Method in class inria.meije.rc.sugarcubes.Instruction

To reset the instruction.

reset(). Method in class inria.meije.rc.sugarcubes.IODecl

To reset the instruction.

reset(). Method in class inria.meije.rc.sugarcubes.Loop

To reset the instruction.

reset(). Method in class inria.meije.rc.sugarcubes.Merge

To reset the instruction.

reset(). Method in class inria.meije.rc.sugarcubes.Repeat

To reset the instruction.

reset(). Method in class inria.meije.rc.sugarcubes.UnaryInstruction

To reset the instruction.

reset(). Method in class inria.meije.rc.sugarcubes.Until

To reset the instruction.

reset(). Method in class inria.meije.rc.sugarcubes.When

To reset the instruction.

residual(Machine). Method in class inria.meije.rc.sugarcubes.Instruction

The residual of an instruction is nothing if it is terminated, otherwise it is the result of the remain method.

residual(Machine). Method in class inria.meije.rc.sugarcubes.Loop

Redefinition of residual.

residual(Machine). Method in class inria.meije.rc.sugarcubes.Repeat

Redefinition of residual.

residual(Machine). Method in class inria.meije.rc.sugarcubes.UnaryInstruction

The residual of an instruction is nothing if it is terminated, otherwise it is the result of the remain method.

resumeBody. Variable in class inria.meije.rc.sugarcubes.Until

right. Variable in class inria.meije.rc.sugarcubes.BinaryInstruction

The two components, which are instructions.

S

save. Variable in class inria.meije.rc.sugarcubes.IODecl

Auxiliary event for saving.

saved. Variable in class inria.meije.rc.sugarcubes.IODecl

Is the external event saved ?

saveInternal(Machine). Method in class inria.meije.rc.sugarcubes.IODecl

Save intern state and restore its initial value.

Seq(Instruction, Instruction). Constructor for class inria.meije.rc.sugarcubes.Seq

setInternal(Machine). Method in class inria.meije.rc.sugarcubes.IODecl

If intern is not already saved, save it and restore its old value.

setNewProgram(). Method in class inria.meije.rc.sugarcubes.Machine

Sets the new program for next instant.

STOP. Static variable in interface inria.meije.rc.sugarcubes.ReturnCodes

Stop(). Constructor for class inria.meije.rc.sugarcubes.Stop

stopReached(). Method in class inria.meije.rc.sugarcubes.Machine

Called when a stop is executed.

SUSP. Static variable in interface inria.meije.rc.sugarcubes.ReturnCodes

Suspend(). Constructor for class inria.meije.rc.sugarcubes.Suspend

T

table(). Method in class inria.meije.rc.sugarcubes.EventEnv

TERM. Static variable in interface inria.meije.rc.sugarcubes.ReturnCodes

terminate(). Method in class inria.meije.rc.sugarcubes.Instruction

To terminate the instruction.

terminated. Variable in class inria.meije.rc.sugarcubes.Instruction

To indicate that instruction is terminated.

toString(). Method in class inria.meije.rc.sugarcubes.AndConfig

toString(). Method in class inria.meije.rc.sugarcubes.Await

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.Close

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.Control

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.Event

Conversion to String.

toString(). Method in class inria.meije.rc.sugarcubes.EventDecl

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.Generate

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.InOutDecl

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.InputDecl

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.Instruction

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.Loop

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.Merge

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.NegConfig

toString(). Method in class inria.meije.rc.sugarcubes.Nothing

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.OrConfig

toString(). Method in class inria.meije.rc.sugarcubes.OutputDecl

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.PosConfig

toString(). Method in class inria.meije.rc.sugarcubes.PrintAtom

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.Repeat

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.Seq

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.Stop

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.Suspend

Instructions can be converted to strings.

toString(). Method in class inria.meije.rc.sugarcubes.Until

Note: x-destroy events, introduced for object detroying, are transparent.

toString(). Method in class inria.meije.rc.sugarcubes.When

Instructions can be converted to strings.

U

UnaryConfig(). Constructor for class inria.meije.rc.sugarcubes.UnaryConfig

UnaryInstruction(). Constructor for class inria.meije.rc.sugarcubes.UnaryInstruction

UNKNOWN. Static variable in interface inria.meije.rc.sugarcubes.EventConsts

Until(Config, Instruction). Constructor for class inria.meije.rc.sugarcubes.Until

Creation from an event configuration, with Nothing as handler.

Until(Config, Instruction, Instruction). Constructor for class inria.meije.rc.sugarcubes.Until

Creation from an event configuration.

Until(String, Instruction). Constructor for class inria.meije.rc.sugarcubes.Until

Creation from a name, with Nothing as handler.

V

value. Variable in class inria.meije.rc.sugarcubes.When

value(Machine). Method in class inria.meije.rc.sugarcubes.ValuedEvent

Get the value of the valued event.

ValuedEvent(String). Constructor for class inria.meije.rc.sugarcubes.ValuedEvent

W

When(Config, Instruction, Instruction). Constructor for class inria.meije.rc.sugarcubes.When

write. Variable in class inria.meije.rc.sugarcubes.ValuedEvent