Module dev.civl.mc

Package dev.civl.mc.state.IF

Class States

java.lang.Object

dev.civl.mc.state.IF.States

public class States
extends Object

Entry point for the state module: provides a static method to get a new state factory. The usual way to get a state factory is to first create a modelFactory and then invoke States.newStateFactory(modelFactory).

Constructor Summary

Constructors

Constructor	Description
States()

Method Summary

Modifier and Type	Method	Description
static MemoryUnitFactory	newImmutableMemoryUnitFactory(dev.civl.sarl.IF.SymbolicUniverse universe)
static StateFactory	newImmutableStateFactory(ModelFactory modelFactory, MemoryUnitFactory memFactory, CIVLConfiguration config)	Returns a new immutable state factory based on the given model factory.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

States

public States()

Method Details

newImmutableStateFactory

public static StateFactory newImmutableStateFactory(ModelFactory modelFactory,
 MemoryUnitFactory memFactory,
 CIVLConfiguration config)

Returns a new immutable state factory based on the given model factory. This implementation of StateFactory uses the Immutable Pattern: all states (and components) are immutable.

Parameters:

modelFactory - a model factory

Returns:

a new immutable state factory

newImmutableMemoryUnitFactory

public static MemoryUnitFactory newImmutableMemoryUnitFactory(dev.civl.sarl.IF.SymbolicUniverse universe)