Package net.ssehub.easy.varModel.cstEvaluation

Class VariableValueCopier.CopySpec

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.VariableValueCopier.CopySpec

Enclosing class:

VariableValueCopier

public static class VariableValueCopier.CopySpec
extends Object

Defines a copy specification.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private VariableValueCopier.IFreezeProvider	freezeProvider
private String	sourceVariableName
private String[]	targetVariableNames
private Compound	type

Constructor Summary

Constructors

Constructor	Description
CopySpec(Compound type, String sourceVariableName, String... targetVariableNames)	Creates a copy specification.
CopySpec(Compound type, String sourceVariableName, VariableValueCopier.IFreezeProvider freezeProvider, String... targetVariableNames)	Creates a copy specification.

Method Summary

Modifier and Type	Method	Description
VariableValueCopier.IFreezeProvider	getFreezeProvider()	The freeze provider.
String	getSourceVariableName()	Returns the source variable name.
String[]	getTargetVariableNames()	Returns the target variable names.
Compound	getType()	Returns the source type.
boolean	isValid()	Returns whether this instance is valid.

Methods inherited from class java.lang.Object

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

Field Details

type

private Compound type

sourceVariableName

private String sourceVariableName

freezeProvider

private VariableValueCopier.IFreezeProvider freezeProvider

targetVariableNames

private String[] targetVariableNames

Constructor Details

CopySpec

public CopySpec(Compound type,
 String sourceVariableName,
 String... targetVariableNames)

Creates a copy specification.

Parameters:

type - the source type (may be null then the spec is ignored)

sourceVariableName - the source variable name, may be given in compound access style for nested variables (may be null then the spec is ignored)

targetVariableNames - the target variable names, may be given in compound access style for nested variables; the first one receives the copy, the other one references to the copy if they are reference variables (may be null then the spec is ignored)

CopySpec

public CopySpec(Compound type,
 String sourceVariableName,
 VariableValueCopier.IFreezeProvider freezeProvider,
 String... targetVariableNames)

Creates a copy specification.

Parameters:

type - the source type (may be null then the spec is ignored)

sourceVariableName - the source variable name, may be given in compound access style for nested variables (may be null then the spec is ignored)

freezeProvider - describes how new variables shall be frozen (may be null for no freezing)

targetVariableNames - the target variable names, may be given in compound access style for nested variables; the first one receives the copy, the other one references to the copy if they are reference variables (may be null then the spec is ignored)

Method Details

getType

public Compound getType()

Returns the source type.

Returns:

the source type

getSourceVariableName

public String getSourceVariableName()

Returns the source variable name.

Returns:

the source variable name, may be given in compound access style for nested variables

getFreezeProvider

public VariableValueCopier.IFreezeProvider getFreezeProvider()

The freeze provider.

Returns:

the freeze provider, may be null for no freezing

getTargetVariableNames

public String[] getTargetVariableNames()

Returns the target variable names.

Returns:

the target variable names, may be given in compound access style for nested variables

isValid

public boolean isValid()

Returns whether this instance is valid.

Returns:

true for valid, false else