org.sbml.jsbml.ext.arrays.util

Class ArraysMath

java.lang.Object

org.sbml.jsbml.ext.arrays.util.ArraysMath

public class ArraysMath
extends java.lang.Object

Since:

1.0

Version:

$Rev: 1944 $

Author:

Leandro Watanabe

Constructor Summary

Constructors

Constructor and Description
ArraysMath()

Method Summary

Methods

Modifier and Type	Method and Description
private static boolean	checkSizeRecursive(Model model, java.util.Map<java.lang.Integer,java.lang.Integer> sizeByLevel, ASTNode node, int level) This is used to check if the array is regular.
static boolean	checkVectorAssignment(Model model, MathContainer mathContainer)
static boolean	checkVectorMath(Model model, MathContainer mathContainer)
static boolean	evaluateBounds(java.util.Map<java.lang.String,java.lang.Double> dimensionSizes, ASTNode math, double size) This method is used to check if the math does not evaluate to a negative number or to a value greater or equal to a given size value.
static boolean	evaluateIndexBounds(Model model, Index index) This method is used to check if the index math does not go out of bounds.
static boolean	evaluateIndexBounds(Model model, SBase reference, int arrayDim, ASTNode math, java.util.Map<java.lang.String,java.lang.Double> dimSizes) This method checks if adding an Index object to a parent SBase object for referencing another SBase object does not cause out-of-bounds issues.
static boolean	evaluateIndexBounds(Model model, SBase parent, java.lang.String refAttribute, ASTNode math, int arrayDim) This method checks if adding an Index object to a parent SBase object for referencing another SBase object does not cause out-of-bounds issues.
static boolean	evaluateSelectorBounds(Model model, MathContainer mathContainer) This is used to check if the arguments of a selector function does not go out of bounds.
static java.util.Map<java.lang.String,java.lang.Double>	getDimensionSizes(Model model, ArraysSBasePlugin arraysSBasePlugin) This method maps a dimension id to the size of the dimension object.
static java.util.Map<java.lang.String,java.lang.Double>	getLowerBound(java.util.Map<java.lang.String,java.lang.Double> dimSizes) This method is used to get the lower bound index from a collection of Dimension objects.
static int	getSize(Model model, Dimension dimension) Gets the size of a Dimension object.
private static void	getSizeRecursive(java.util.Map<java.lang.Integer,java.lang.Integer> sizeByLevel, Model model, ASTNode node, int level) This is used to determine how many levels deep the array is and what is the corresponding size of each level.
static java.util.Map<java.lang.String,java.lang.Double>	getUpperBound(java.util.Map<java.lang.String,java.lang.Double> dimSizes) This method is used to get the upper bound index from a collection of Dimension objects.
static java.util.Map<java.lang.Integer,java.lang.Integer>	getVectorDimensionSizes(Model model, ASTNode math) This is used to obtain a map containing a pair of array depth level and its size.
static boolean	isStaticallyComputable(Model model, ASTNode math, java.lang.String... constantIds) This method is used to determine whether a MathContainer object is statically computable given a list of ids that can appear in the math.
static boolean	isStaticallyComputable(Model model, MathContainer mathContainer) This method is used to determine whether a MathContainer object is statically computable.
static boolean	isStaticallyComputable(Model model, MathContainer mathContainer, java.lang.String... constantIds) This method is used to determine whether a MathContainer object is statically computable given a list of ids that can appear in the math.
static boolean	isVectorBalanced(Model model, MathContainer mathContainer)
static boolean	isVectorOperation(ASTNode math)

Methods inherited from class java.lang.Object

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

Constructor Detail

ArraysMath

public ArraysMath()

Method Detail

evaluateBounds

public static boolean evaluateBounds(java.util.Map<java.lang.String,java.lang.Double> dimensionSizes,
                     ASTNode math,
                     double size)

This method is used to check if the math does not evaluate to a negative number or to a value greater or equal to a given size value.

Parameters:

dimensionSizes -

math -

size -

Returns:

evaluateIndexBounds

public static boolean evaluateIndexBounds(Model model,
                          Index index)

This method is used to check if the index math does not go out of bounds.

Parameters:

model -

index -

Returns:

evaluateIndexBounds

public static boolean evaluateIndexBounds(Model model,
                          SBase reference,
                          int arrayDim,
                          ASTNode math,
                          java.util.Map<java.lang.String,java.lang.Double> dimSizes)

This method checks if adding an Index object to a parent SBase object for referencing another SBase object does not cause out-of-bounds issues.

Parameters:

model -

parent -

reference -

math -

arrayDim -

Returns:

evaluateIndexBounds

public static boolean evaluateIndexBounds(Model model,
                          SBase parent,
                          java.lang.String refAttribute,
                          ASTNode math,
                          int arrayDim)

This method checks if adding an Index object to a parent SBase object for referencing another SBase object does not cause out-of-bounds issues.

Parameters:

model -

parent -

reference -

math -

arrayDim -

Returns:

evaluateSelectorBounds

public static boolean evaluateSelectorBounds(Model model,
                             MathContainer mathContainer)

This is used to check if the arguments of a selector function does not go out of bounds.

Parameters:

model -

mathContainer -

Returns:

getSize

public static int getSize(Model model,
          Dimension dimension)

Gets the size of a Dimension object.

Parameters:

model -

dimension -

Returns:

getDimensionSizes

public static java.util.Map<java.lang.String,java.lang.Double> getDimensionSizes(Model model,
                                                                 ArraysSBasePlugin arraysSBasePlugin)

This method maps a dimension id to the size of the dimension object.

Parameters:

model -

arraysSBasePlugin -

Returns:

getLowerBound

public static java.util.Map<java.lang.String,java.lang.Double> getLowerBound(java.util.Map<java.lang.String,java.lang.Double> dimSizes)

This method is used to get the lower bound index from a collection of Dimension objects.

Parameters:

dimSizes -

Returns:

getUpperBound

public static java.util.Map<java.lang.String,java.lang.Double> getUpperBound(java.util.Map<java.lang.String,java.lang.Double> dimSizes)

This method is used to get the upper bound index from a collection of Dimension objects.

Parameters:

dimSizes -

Returns:

isStaticallyComputable

public static boolean isStaticallyComputable(Model model,
                             MathContainer mathContainer)

This method is used to determine whether a MathContainer object is statically computable.

Parameters:

model -

mathContainer -

Returns:

isStaticallyComputable

public static boolean isStaticallyComputable(Model model,
                             MathContainer mathContainer,
                             java.lang.String... constantIds)

This method is used to determine whether a MathContainer object is statically computable given a list of ids that can appear in the math.

Parameters:

model -

mathContainer -

Returns:

isStaticallyComputable

public static boolean isStaticallyComputable(Model model,
                             ASTNode math,
                             java.lang.String... constantIds)

This method is used to determine whether a MathContainer object is statically computable given a list of ids that can appear in the math.

Parameters:

model -

mathContainer -

Returns:

isVectorOperation

public static boolean isVectorOperation(ASTNode math)

checkVectorMath

public static boolean checkVectorMath(Model model,
                      MathContainer mathContainer)

Parameters:

model -

mathContainer -

Returns:

checkVectorAssignment

public static boolean checkVectorAssignment(Model model,
                            MathContainer mathContainer)

Parameters:

model -

mathContainer -

Returns:

getVectorDimensionSizes

public static java.util.Map<java.lang.Integer,java.lang.Integer> getVectorDimensionSizes(Model model,
                                                                         ASTNode math)

This is used to obtain a map containing a pair of array depth level and its size.

Parameters:

math -

Returns:

getSizeRecursive

private static void getSizeRecursive(java.util.Map<java.lang.Integer,java.lang.Integer> sizeByLevel,
                    Model model,
                    ASTNode node,
                    int level)

This is used to determine how many levels deep the array is and what is the corresponding size of each level.

Parameters:

sizeByLevel -

node -

level -

isVectorBalanced

public static boolean isVectorBalanced(Model model,
                       MathContainer mathContainer)

checkSizeRecursive

private static boolean checkSizeRecursive(Model model,
                         java.util.Map<java.lang.Integer,java.lang.Integer> sizeByLevel,
                         ASTNode node,
                         int level)

This is used to check if the array is regular.

Parameters:

sizeByLevel -

node -

level -

Returns: