Class RangeDefinitionBuilder
- java.lang.Object
-
- cern.accsoft.steering.jmad.tools.modeldefs.creating.lang.RangeDefinitionBuilder
-
public class RangeDefinitionBuilder extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description RangeDefinitionBuilder(java.lang.String rangeName, SequenceDefinition sequenceDefinition)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddCorrectorInvertFilter(NameFilter filter)voidaddMonitorInvertFilter(NameFilter filter)voidaddPostUseFile(ModelFile modelFile)RangeDefinitionbuild()java.lang.StringgetEndElementName()java.lang.StringgetRangeName()java.lang.StringgetRotateStartElementName()java.lang.StringgetStartElementName()TwissInitialConditionsImplgetTwissInitialConditions()voidsetEndElementName(java.lang.String endElementName)voidsetRotateStartElementName(java.lang.String elementName)voidsetStartElementName(java.lang.String startElementName)voidsetTwissInitialConditions(TwissInitialConditionsImpl twissInitialConditions)
-
-
-
Constructor Detail
-
RangeDefinitionBuilder
public RangeDefinitionBuilder(java.lang.String rangeName, SequenceDefinition sequenceDefinition)
-
-
Method Detail
-
build
public RangeDefinition build()
-
getTwissInitialConditions
public TwissInitialConditionsImpl getTwissInitialConditions()
-
setTwissInitialConditions
public void setTwissInitialConditions(TwissInitialConditionsImpl twissInitialConditions)
-
getStartElementName
public java.lang.String getStartElementName()
-
setStartElementName
public void setStartElementName(java.lang.String startElementName)
-
getEndElementName
public java.lang.String getEndElementName()
-
setEndElementName
public void setEndElementName(java.lang.String endElementName)
-
getRangeName
public java.lang.String getRangeName()
-
addMonitorInvertFilter
public void addMonitorInvertFilter(NameFilter filter)
-
addCorrectorInvertFilter
public void addCorrectorInvertFilter(NameFilter filter)
-
addPostUseFile
public void addPostUseFile(ModelFile modelFile)
-
setRotateStartElementName
public void setRotateStartElementName(java.lang.String elementName)
-
getRotateStartElementName
public java.lang.String getRotateStartElementName()
-
-