org.ginsim.service.tool.modelreduction

Class ListOfReductionConfigs

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.ArrayList<T>

org.ginsim.core.utils.data.NamedList<ReductionConfig>

org.ginsim.service.tool.modelreduction.ListOfReductionConfigs

All Implemented Interfaces:

Serializable, Cloneable, Iterable<ReductionConfig>, Collection<ReductionConfig>, List<ReductionConfig>, RandomAccess, GraphListener<RegulatoryGraph>, UserSupporter

public class ListOfReductionConfigs
extends NamedList<ReductionConfig>
implements GraphListener<RegulatoryGraph>, UserSupporter

store all simplification parameters and offer a mean to access them. Also deals with updating them when the graph is changed

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

Constructors

Constructor and Description
ListOfReductionConfigs(RegulatoryGraph graph)

Method Summary

Modifier and Type	Method and Description
int	create()
protected ReductionConfig	doCreate(String name, int pos)
Collection<String>	getFixedPropagationUsers()
List<RegulatoryNode>	getNodeOrder()
Collection<String>	getOutputStrippingUsers()
ReductionConfig	getUsedReduction(String key)
GraphEventCascade	graphChanged(RegulatoryGraph g, GraphChangeType type, Object data)
boolean	isPropagatingFixed(String key)
boolean	isStrippingOutput(String key)
void	setPropagateFixed(String key, boolean use)
void	setStrippingOutput(String key, boolean use)
void	update(String oldID, String newID) A user was updated, make sure to clean related data.
void	useReduction(String key, ReductionConfig reduction)

Methods inherited from class org.ginsim.core.utils.data.NamedList

findUniqueName, getByName, isNameValid, rename

Methods inherited from class java.util.ArrayList

add, add, addAll, addAll, clear, clone, contains, ensureCapacity, forEach, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSize

Methods inherited from class java.util.AbstractList

equals, hashCode

Methods inherited from class java.util.AbstractCollection

containsAll, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.List

containsAll, equals, hashCode

Methods inherited from interface java.util.Collection

parallelStream, stream

Constructor Detail

ListOfReductionConfigs

public ListOfReductionConfigs(RegulatoryGraph graph)

Method Detail

doCreate

protected ReductionConfig doCreate(String name,
                                   int pos)

graphChanged

public GraphEventCascade graphChanged(RegulatoryGraph g,
                                      GraphChangeType type,
                                      Object data)

Specified by:

graphChanged in interface GraphListener<RegulatoryGraph>

setStrippingOutput

public void setStrippingOutput(String key,
                               boolean use)

setPropagateFixed

public void setPropagateFixed(String key,
                              boolean use)

isStrippingOutput

public boolean isStrippingOutput(String key)

isPropagatingFixed

public boolean isPropagatingFixed(String key)

useReduction

public void useReduction(String key,
                         ReductionConfig reduction)

getUsedReduction

public ReductionConfig getUsedReduction(String key)

getOutputStrippingUsers

public Collection<String> getOutputStrippingUsers()

getFixedPropagationUsers

public Collection<String> getFixedPropagationUsers()

update

public void update(String oldID,
                   String newID)

Description copied from interface: UserSupporter

A user was updated, make sure to clean related data.

Specified by:

update in interface UserSupporter

Parameters:

oldID - ID under which this user was previously known

newID - new ID, or null if it was removed

getNodeOrder

public List<RegulatoryNode> getNodeOrder()

create

public int create()