Class IndexAccessPathElement
java.lang.Object
net.ssehub.easy.varModel.confModel.paths.IndexAccessPathElement
- All Implemented Interfaces:
IResolutionPathElement
An index access path element, e.g., for collections or as fallback.
- Author:
- Holger Eichelberger
-
Field Summary
Fields -
Constructor Summary
ConstructorsConstructorDescriptionIndexAccessPathElement(IResolutionPathElement parent, int index) Creates an index access path element. -
Method Summary
-
Field Details
-
parent
-
index
private int index
-
-
Constructor Details
-
IndexAccessPathElement
Creates an index access path element.- Parameters:
parent- the parent pathindex- the index representing the access
-
-
Method Details
-
resolve
Description copied from interface:IResolutionPathElementResolves this path forconfig.- Specified by:
resolvein interfaceIResolutionPathElement- Parameters:
config- the configuration to resolve on- Returns:
- the resolved decision variable (may be null if resolution fails)
-