org.leialearns.logic.session

Interface Root

public interface Root

Defines the singleton that contains the objects that are at least partially persisted through the ORM framework, but have no owner that is also persistent.

Method Summary

Methods

Modifier and Type	Method and Description
Expectation	createExpectation()
Fraction	createFraction(long index, long numerator, long denominator) Creates a new persistent fraction object.
Fraction	createFraction(long index, long numerator, long denominator, boolean inOracle) Creates a new persistent fraction object.
InteractionContext	createInteractionContext(String interactionContextURI) Creates a new interaction context instance.
InteractionContext	createInteractionContext(String interactionContextURI, String actionsURI, String responsesURI, String structureURI) Creates a new interaction context instance.
Session	createSession(InteractionContext interactionContext) Creates a session that can be used to create and/or obtain Versions of various types of models.
Session	createSession(String interactionContextURI) Creates a session that can be used to create and/or obtain Versions of various types of models.
Fraction	createTransientFraction(long index, long numerator, long denominator) Creates a new transient fraction object.
Alphabet.Iterable	findAlphabets() Returns all alphabets that are available in the data store.
Fraction	findFraction(long index) Returns the fraction object with the given index.
Fraction.Iterable	findFractions() Returns all fraction objects in the data store.
Fraction	findOrCreateFraction(Fraction fraction) Returns a persistent fraction object, creates a new one if necessary.
Fraction	findOrCreateFraction(long index, long numerator, long denominator) Returns a persistent fraction object, creates a new one if necessary.

Method Detail

createInteractionContext

InteractionContext createInteractionContext(String interactionContextURI)

Creates a new interaction context instance. The URIs for the alphabets and the structure are derived from the given URI.

Parameters:

interactionContextURI - The URI that identifies the new interaction context

Returns:

A new interaction context instance

createInteractionContext

InteractionContext createInteractionContext(String interactionContextURI,
                                          String actionsURI,
                                          String responsesURI,
                                          String structureURI)

Creates a new interaction context instance.

Parameters:

interactionContextURI - The URI that identifies the new interaction context

actionsURI - The URI that identifies the alphabet of actions

responsesURI - The URI that identifies the alphabet of actions

structureURI - The URI that identifies the tree of interaction histories

Returns:

A new interaction context instance

createSession

Session createSession(String interactionContextURI)

Creates a session that can be used to create and/or obtain Versions of various types of models.

Parameters:

interactionContextURI - The URI that identifies the interaction context

Returns:

A new session instance

createSession

Session createSession(InteractionContext interactionContext)

Creates a session that can be used to create and/or obtain Versions of various types of models.

Parameters:

interactionContext - The interaction context for the new session

Returns:

A new session instance

findAlphabets

Alphabet.Iterable findAlphabets()

Returns all alphabets that are available in the data store.

Returns:

All alphabets that are available in the data store

createFraction

Fraction createFraction(long index,
                      long numerator,
                      long denominator)

Creates a new persistent fraction object.

Parameters:

index - The index of the new fraction

numerator - The numerator of the new object

denominator - The denominator of the new object

Returns:

The new fraction object

findOrCreateFraction

Fraction findOrCreateFraction(long index,
                            long numerator,
                            long denominator)

Returns a persistent fraction object, creates a new one if necessary.

Parameters:

index - The index of the fraction

numerator - The numerator of the fraction

denominator - The denominator of the fraction

Returns:

The requested fraction object

findOrCreateFraction

Fraction findOrCreateFraction(Fraction fraction)

Returns a persistent fraction object, creates a new one if necessary.

Parameters:

fraction - The (probably transient) fraction to make persistent

Returns:

The requested fraction object

createFraction

Fraction createFraction(long index,
                      long numerator,
                      long denominator,
                      boolean inOracle)

Creates a new persistent fraction object.

Parameters:

index - The index of the new fraction

numerator - The numerator of the new object

denominator - The denominator of the new object

inOracle - Indication of whether the new fraction is part of the oracle or not

Returns:

The new fraction object

findFractions

Fraction.Iterable findFractions()

Returns all fraction objects in the data store.

Returns:

All fraction objects in the data store

findFraction

Fraction findFraction(long index)

Returns the fraction object with the given index.

Parameters:

index - The index of the requested fraction

Returns:

The requested fraction

createTransientFraction

Fraction createTransientFraction(long index,
                               long numerator,
                               long denominator)

Creates a new transient fraction object.

Parameters:

index - The index of the new fraction

numerator - The numerator of the new object

denominator - The denominator of the new object

Returns:

The new fraction object

createExpectation

Expectation createExpectation()