Package org.proforma.variability.transfer

Class VarSpecLeafRange

java.lang.Object

org.proforma.variability.transfer.VarSpecNode

org.proforma.variability.transfer.VarSpecLeaf

org.proforma.variability.transfer.VarSpecLeafRange

All Implemented Interfaces:

Serializable

public class VarSpecLeafRange
extends VarSpecLeaf

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
VarSpecLeafRange()
VarSpecLeafRange(VarSpecLeafRange other)

Method Summary

Modifier and Type	Method	Description
VarSpecLeafRange	clone()
protected org.proforma.variability.transfer.VarSpecNode.DefRefCollector	collectDefRefs()	Can be called only when all children are present.
int	dim()
Long	getCount()
CVp	getEffectiveCVp()
Vis	getFirst()
Vis	getLast()
protected void	prettyPrint(PrintStream out, String prefix)
protected void	pushInheritedCVpToChildren(CVp inheritedCVp)
void	setCount(Long count)
void	setFirst(Vis first)
void	setLast(Vis last)
void	setParent(VarSpecNode parent)
long	sizeLowerBound()
protected void	validateNewChild(VarSpecNode child)

Methods inherited from class org.proforma.variability.transfer.VarSpecLeaf

getChildren, getCVp, setChildren, setCVp

Methods inherited from class org.proforma.variability.transfer.VarSpecNode

afterUnmarshal, collect, collectAndValidateAllDefsAndRefs, collectGroup, combine, combineGroup, define, deriveCollect, deriveVal, endBuild, endBuildTable, endCollectGroup, endCombineGroup, endDefine, findDef, getDebugId, getEffectiveVp, getEffectiveVpIndex, getLastChild, getNonDefineChildren, getParent, getRoot, numNonDefineChildren, prettyPrint, prettyPrint, range, range, range, ref, toString, val

Methods inherited from class java.lang.Object

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

Constructor Details

VarSpecLeafRange

public VarSpecLeafRange()

VarSpecLeafRange

public VarSpecLeafRange(VarSpecLeafRange other)

Method Details

clone

public VarSpecLeafRange clone()

Specified by:

clone in class VarSpecNode

getFirst

public Vis getFirst()

setFirst

public void setFirst(Vis first)

getLast

public Vis getLast()

setLast

public void setLast(Vis last)

getCount

public Long getCount()

setCount

public void setCount(Long count)

collectDefRefs

protected org.proforma.variability.transfer.VarSpecNode.DefRefCollector collectDefRefs()

Can be called only when all children are present.

Overrides:

collectDefRefs in class VarSpecNode

pushInheritedCVpToChildren

protected void pushInheritedCVpToChildren(CVp inheritedCVp)

Specified by:

pushInheritedCVpToChildren in class VarSpecNode

sizeLowerBound

public long sizeLowerBound()

Specified by:

sizeLowerBound in class VarSpecNode

Returns:

the number of tuples in this set.

dim

public int dim()

Specified by:

dim in class VarSpecNode

getEffectiveCVp

public CVp getEffectiveCVp()

Specified by:

getEffectiveCVp in class VarSpecNode

setParent

public void setParent(VarSpecNode parent)

Overrides:

setParent in class VarSpecNode

Parameters:

parent - parent node (or null for the root)

validateNewChild

protected void validateNewChild(VarSpecNode child)
                         throws IllegalArgumentException

Specified by:

validateNewChild in class VarSpecNode

Throws:

IllegalArgumentException

prettyPrint

protected void prettyPrint(PrintStream out,
 String prefix)

Specified by:

prettyPrint in class VarSpecNode