Class VarSpecNodeDef
java.lang.Object
org.proforma.variability.transfer.VarSpecNode
org.proforma.variability.transfer.VarSpecInnerNode
org.proforma.variability.transfer.VarSpecReorderingNode
org.proforma.variability.transfer.VarSpecNodeDef
- All Implemented Interfaces:
Serializable
- See Also:
-
Constructor Summary
ConstructorsConstructorDescriptionVarSpecNodeDef(String id, String... keys) VarSpecNodeDef(VarSpecNodeDef other) -
Method Summary
Modifier and TypeMethodDescriptionclone()intdim()getId()protected voidprettyPrint(PrintStream out, String prefix) protected voidpushInheritedCVpToChildren(CVp dummy) voidsetChildren(List<VarSpecNode> children) voidlongprotected voidvalidateNewChild(VarSpecNode child) Methods inherited from class org.proforma.variability.transfer.VarSpecReorderingNode
completeOwnVpsFromParentMethods inherited from class org.proforma.variability.transfer.VarSpecInnerNode
getChildren, getCVp, getFirstNonDefineChild, setCVpMethods inherited from class org.proforma.variability.transfer.VarSpecNode
afterUnmarshal, collect, collectAndValidateAllDefsAndRefs, collectDefRefs, collectGroup, combine, combineGroup, define, deriveCollect, deriveVal, endBuild, endBuildTable, endCollectGroup, endCombineGroup, findDef, getDebugId, getEffectiveVp, getEffectiveVpIndex, getLastChild, getNonDefineChildren, getParent, getRoot, numNonDefineChildren, prettyPrint, prettyPrint, range, range, range, ref, setParent, toString, val
-
Constructor Details
-
VarSpecNodeDef
public VarSpecNodeDef() -
VarSpecNodeDef
-
VarSpecNodeDef
-
-
Method Details
-
clone
- Specified by:
clonein classVarSpecNode
-
getId
-
setId
-
setChildren
- Overrides:
setChildrenin classVarSpecInnerNode- Parameters:
children- list of child nodes
-
pushInheritedCVpToChildren
- Specified by:
pushInheritedCVpToChildrenin classVarSpecNode
-
sizeLowerBound
public long sizeLowerBound()- Specified by:
sizeLowerBoundin classVarSpecNode- Returns:
- the number of tuples in this set.
-
dim
public int dim()- Specified by:
dimin classVarSpecNode
-
getEffectiveCVp
- Specified by:
getEffectiveCVpin classVarSpecNode
-
getDefinedNode
-
endDefine
- Overrides:
endDefinein classVarSpecNode
-
validateNewChild
- Specified by:
validateNewChildin classVarSpecNode- Throws:
IllegalArgumentException
-
prettyPrint
- Specified by:
prettyPrintin classVarSpecNode
-