tests/location/location_gnss/src/android/location/cts/gnss/asn1/supl2/ver2_ulp_components/RTD.java - platform/cts - Git at Google

 /*
  * Copyright (C) 2017 The Android Open Source Project
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
  * You may obtain a copy of the License at
  *
  *      http://www.apache.org/licenses/LICENSE-2.0
  *
  * Unless required by applicable law or agreed to in writing, software
  * distributed under the License is distributed on an "AS IS" BASIS,
  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  * See the License for the specific language governing permissions and
  * limitations under the License.
  */

 package android.location.cts.asn1.supl2.ver2_ulp_components;

 /*
  */


 //
 //
 import android.location.cts.asn1.base.Asn1Integer;
 import android.location.cts.asn1.base.Asn1Null;
 import android.location.cts.asn1.base.Asn1Object;
 import android.location.cts.asn1.base.Asn1Sequence;
 import android.location.cts.asn1.base.Asn1Tag;
 import android.location.cts.asn1.base.BitStream;
 import android.location.cts.asn1.base.BitStreamReader;
 import android.location.cts.asn1.base.SequenceComponent;
 import com.google.common.collect.ImmutableList;
 import java.util.Collection;
 import javax.annotation.Nullable;


 /**
 */
 public  class RTD extends Asn1Sequence {
   //

   private static final Asn1Tag TAG_RTD
       = Asn1Tag.fromClassAndNumber(-1, -1);

   public RTD() {
     super();
   }

   @Override
   @Nullable
   protected Asn1Tag getTag() {
     return TAG_RTD;
   }

   @Override
   protected boolean isTagImplicit() {
     return true;
   }

   public static Collection<Asn1Tag> getPossibleFirstTags() {
     if (TAG_RTD != null) {
       return ImmutableList.of(TAG_RTD);
     } else {
       return Asn1Sequence.getPossibleFirstTags();
     }
   }

   /**
    * Creates a new RTD from encoded stream.
    */
   public static RTD fromPerUnaligned(byte[] encodedBytes) {
     RTD result = new RTD();
     result.decodePerUnaligned(new BitStreamReader(encodedBytes));
     return result;
   }

   /**
    * Creates a new RTD from encoded stream.
    */
   public static RTD fromPerAligned(byte[] encodedBytes) {
     RTD result = new RTD();
     result.decodePerAligned(new BitStreamReader(encodedBytes));
     return result;
   }


   @Override protected boolean isExtensible() {
     return true;
   }

   @Override public boolean containsExtensionValues() {
     for (SequenceComponent extensionComponent : getExtensionComponents()) {
       if (extensionComponent.isExplicitlySet()) return true;
     }
     return false;
   }


   private RTD.rTDValueType rTDValue_;
   public RTD.rTDValueType getRTDValue() {
     return rTDValue_;
   }
   /**
    * @throws ClassCastException if value is not a RTD.rTDValueType
    */
   public void setRTDValue(Asn1Object value) {
     this.rTDValue_ = (RTD.rTDValueType) value;
   }
   public RTD.rTDValueType setRTDValueToNewInstance() {
     rTDValue_ = new RTD.rTDValueType();
     return rTDValue_;
   }

   private RTDUnits rTDUnits_;
   public RTDUnits getRTDUnits() {
     return rTDUnits_;
   }
   /**
    * @throws ClassCastException if value is not a RTDUnits
    */
   public void setRTDUnits(Asn1Object value) {
     this.rTDUnits_ = (RTDUnits) value;
   }
   public RTDUnits setRTDUnitsToNewInstance() {
     rTDUnits_ = new RTDUnits();
     return rTDUnits_;
   }

   private RTD.rTDAccuracyType rTDAccuracy_;
   public RTD.rTDAccuracyType getRTDAccuracy() {
     return rTDAccuracy_;
   }
   /**
    * @throws ClassCastException if value is not a RTD.rTDAccuracyType
    */
   public void setRTDAccuracy(Asn1Object value) {
     this.rTDAccuracy_ = (RTD.rTDAccuracyType) value;
   }
   public RTD.rTDAccuracyType setRTDAccuracyToNewInstance() {
     rTDAccuracy_ = new RTD.rTDAccuracyType();
     return rTDAccuracy_;
   }


   @Override public Iterable<? extends SequenceComponent> getComponents() {
     ImmutableList.Builder<SequenceComponent> builder = ImmutableList.builder();

     builder.add(new SequenceComponent() {
           Asn1Tag tag = Asn1Tag.fromClassAndNumber(2, 0);

           @Override public boolean isExplicitlySet() {
             return getRTDValue() != null;
           }

           @Override public boolean hasDefaultValue() {
             return false;
           }

           @Override public boolean isOptional() {
             return false;
           }

           @Override public Asn1Object getComponentValue() {
             return getRTDValue();
           }

           @Override public void setToNewInstance() {
             setRTDValueToNewInstance();
           }

           @Override public Collection<Asn1Tag> getPossibleFirstTags() {
             return tag == null ? RTD.rTDValueType.getPossibleFirstTags() : ImmutableList.of(tag);
           }

           @Override
           public Asn1Tag getTag() {
             return tag;
           }

           @Override
           public boolean isImplicitTagging() {
             return true;
           }

           @Override public String toIndentedString(String indent) {
                 return "rTDValue : "
                     + getRTDValue().toIndentedString(indent);
               }
         });

     builder.add(new SequenceComponent() {
           Asn1Tag tag = Asn1Tag.fromClassAndNumber(2, 1);

           @Override public boolean isExplicitlySet() {
             return getRTDUnits() != null;
           }

           @Override public boolean hasDefaultValue() {
             return false;
           }

           @Override public boolean isOptional() {
             return false;
           }

           @Override public Asn1Object getComponentValue() {
             return getRTDUnits();
           }

           @Override public void setToNewInstance() {
             setRTDUnitsToNewInstance();
           }

           @Override public Collection<Asn1Tag> getPossibleFirstTags() {
             return tag == null ? RTDUnits.getPossibleFirstTags() : ImmutableList.of(tag);
           }

           @Override
           public Asn1Tag getTag() {
             return tag;
           }

           @Override
           public boolean isImplicitTagging() {
             return true;
           }

           @Override public String toIndentedString(String indent) {
                 return "rTDUnits : "
                     + getRTDUnits().toIndentedString(indent);
               }
         });

     builder.add(new SequenceComponent() {
           Asn1Tag tag = Asn1Tag.fromClassAndNumber(2, 2);

           @Override public boolean isExplicitlySet() {
             return getRTDAccuracy() != null;
           }

           @Override public boolean hasDefaultValue() {
             return false;
           }

           @Override public boolean isOptional() {
             return true;
           }

           @Override public Asn1Object getComponentValue() {
             return getRTDAccuracy();
           }

           @Override public void setToNewInstance() {
             setRTDAccuracyToNewInstance();
           }

           @Override public Collection<Asn1Tag> getPossibleFirstTags() {
             return tag == null ? RTD.rTDAccuracyType.getPossibleFirstTags() : ImmutableList.of(tag);
           }

           @Override
           public Asn1Tag getTag() {
             return tag;
           }

           @Override
           public boolean isImplicitTagging() {
             return true;
           }

           @Override public String toIndentedString(String indent) {
                 return "rTDAccuracy : "
                     + getRTDAccuracy().toIndentedString(indent);
               }
         });

     return builder.build();
   }

   @Override public Iterable<? extends SequenceComponent>
                                                     getExtensionComponents() {
     ImmutableList.Builder<SequenceComponent> builder = ImmutableList.builder();

       return builder.build();
     }


 /*
  */


 //

 /**
  */
 public static class rTDValueType extends Asn1Integer {
   //

   private static final Asn1Tag TAG_rTDValueType
       = Asn1Tag.fromClassAndNumber(-1, -1);

   public rTDValueType() {
     super();
     setValueRange("0", "16777216");

   }

   @Override
   @Nullable
   protected Asn1Tag getTag() {
     return TAG_rTDValueType;
   }

   @Override
   protected boolean isTagImplicit() {
     return true;
   }

   public static Collection<Asn1Tag> getPossibleFirstTags() {
     if (TAG_rTDValueType != null) {
       return ImmutableList.of(TAG_rTDValueType);
     } else {
       return Asn1Integer.getPossibleFirstTags();
     }
   }

   /**
    * Creates a new rTDValueType from encoded stream.
    */
   public static rTDValueType fromPerUnaligned(byte[] encodedBytes) {
     rTDValueType result = new rTDValueType();
     result.decodePerUnaligned(new BitStreamReader(encodedBytes));
     return result;
   }

   /**
    * Creates a new rTDValueType from encoded stream.
    */
   public static rTDValueType fromPerAligned(byte[] encodedBytes) {
     rTDValueType result = new rTDValueType();
     result.decodePerAligned(new BitStreamReader(encodedBytes));
     return result;
   }

   @Override public Iterable<BitStream> encodePerUnaligned() {
     return super.encodePerUnaligned();
   }

   @Override public Iterable<BitStream> encodePerAligned() {
     return super.encodePerAligned();
   }

   @Override public void decodePerUnaligned(BitStreamReader reader) {
     super.decodePerUnaligned(reader);
   }

   @Override public void decodePerAligned(BitStreamReader reader) {
     super.decodePerAligned(reader);
   }

   @Override public String toString() {
     return toIndentedString("");
   }

   public String toIndentedString(String indent) {
     return "rTDValueType = " + getInteger() + ";\n";
   }
 }


 /*
  */


 //

 /**
  */
 public static class rTDAccuracyType extends Asn1Integer {
   //

   private static final Asn1Tag TAG_rTDAccuracyType
       = Asn1Tag.fromClassAndNumber(-1, -1);

   public rTDAccuracyType() {
     super();
     setValueRange("0", "255");

   }

   @Override
   @Nullable
   protected Asn1Tag getTag() {
     return TAG_rTDAccuracyType;
   }

   @Override
   protected boolean isTagImplicit() {
     return true;
   }

   public static Collection<Asn1Tag> getPossibleFirstTags() {
     if (TAG_rTDAccuracyType != null) {
       return ImmutableList.of(TAG_rTDAccuracyType);
     } else {
       return Asn1Integer.getPossibleFirstTags();
     }
   }

   /**
    * Creates a new rTDAccuracyType from encoded stream.
    */
   public static rTDAccuracyType fromPerUnaligned(byte[] encodedBytes) {
     rTDAccuracyType result = new rTDAccuracyType();
     result.decodePerUnaligned(new BitStreamReader(encodedBytes));
     return result;
   }

   /**
    * Creates a new rTDAccuracyType from encoded stream.
    */
   public static rTDAccuracyType fromPerAligned(byte[] encodedBytes) {
     rTDAccuracyType result = new rTDAccuracyType();
     result.decodePerAligned(new BitStreamReader(encodedBytes));
     return result;
   }

   @Override public Iterable<BitStream> encodePerUnaligned() {
     return super.encodePerUnaligned();
   }

   @Override public Iterable<BitStream> encodePerAligned() {
     return super.encodePerAligned();
   }

   @Override public void decodePerUnaligned(BitStreamReader reader) {
     super.decodePerUnaligned(reader);
   }

   @Override public void decodePerAligned(BitStreamReader reader) {
     super.decodePerAligned(reader);
   }

   @Override public String toString() {
     return toIndentedString("");
   }

   public String toIndentedString(String indent) {
     return "rTDAccuracyType = " + getInteger() + ";\n";
   }
 }


   @Override public Iterable<BitStream> encodePerUnaligned() {
     return super.encodePerUnaligned();
   }

   @Override public Iterable<BitStream> encodePerAligned() {
     return super.encodePerAligned();
   }

   @Override public void decodePerUnaligned(BitStreamReader reader) {
     super.decodePerUnaligned(reader);
   }

   @Override public void decodePerAligned(BitStreamReader reader) {
     super.decodePerAligned(reader);
   }

   @Override public String toString() {
     return toIndentedString("");
   }

   public String toIndentedString(String indent) {
     StringBuilder builder = new StringBuilder();
     builder.append("RTD = {\n");
     final String internalIndent = indent + "  ";
     for (SequenceComponent component : getComponents()) {
       if (component.isExplicitlySet()) {
         builder.append(internalIndent)
             .append(component.toIndentedString(internalIndent));
       }
     }
     if (isExtensible()) {
       builder.append(internalIndent).append("...\n");
       for (SequenceComponent component : getExtensionComponents()) {
         if (component.isExplicitlySet()) {
           builder.append(internalIndent)
               .append(component.toIndentedString(internalIndent));
         }
       }
     }
     builder.append(indent).append("};\n");
     return builder.toString();
   }
 }
	/*
	* Copyright (C) 2017 The Android Open Source Project
	*
	* Licensed under the Apache License, Version 2.0 (the "License");
	* you may not use this file except in compliance with the License.
	* You may obtain a copy of the License at
	*
	* http://www.apache.org/licenses/LICENSE-2.0
	*
	* Unless required by applicable law or agreed to in writing, software
	* distributed under the License is distributed on an "AS IS" BASIS,
	* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	* See the License for the specific language governing permissions and
	* limitations under the License.
	*/

	package android.location.cts.asn1.supl2.ver2_ulp_components;

	/*
	*/


	//
	//
	import android.location.cts.asn1.base.Asn1Integer;
	import android.location.cts.asn1.base.Asn1Null;
	import android.location.cts.asn1.base.Asn1Object;
	import android.location.cts.asn1.base.Asn1Sequence;
	import android.location.cts.asn1.base.Asn1Tag;
	import android.location.cts.asn1.base.BitStream;
	import android.location.cts.asn1.base.BitStreamReader;
	import android.location.cts.asn1.base.SequenceComponent;
	import com.google.common.collect.ImmutableList;
	import java.util.Collection;
	import javax.annotation.Nullable;


	/**
	*/
	public class RTD extends Asn1Sequence {
	//

	private static final Asn1Tag TAG_RTD
	= Asn1Tag.fromClassAndNumber(-1, -1);

	public RTD() {
	super();
	}

	@Override
	@Nullable
	protected Asn1Tag getTag() {
	return TAG_RTD;
	}

	@Override
	protected boolean isTagImplicit() {
	return true;
	}

	public static Collection<Asn1Tag> getPossibleFirstTags() {
	if (TAG_RTD != null) {
	return ImmutableList.of(TAG_RTD);
	} else {
	return Asn1Sequence.getPossibleFirstTags();
	}
	}

	/**
	* Creates a new RTD from encoded stream.
	*/
	public static RTD fromPerUnaligned(byte[] encodedBytes) {
	RTD result = new RTD();
	result.decodePerUnaligned(new BitStreamReader(encodedBytes));
	return result;
	}

	/**
	* Creates a new RTD from encoded stream.
	*/
	public static RTD fromPerAligned(byte[] encodedBytes) {
	RTD result = new RTD();
	result.decodePerAligned(new BitStreamReader(encodedBytes));
	return result;
	}



	@Override protected boolean isExtensible() {
	return true;
	}

	@Override public boolean containsExtensionValues() {
	for (SequenceComponent extensionComponent : getExtensionComponents()) {
	if (extensionComponent.isExplicitlySet()) return true;
	}
	return false;
	}


	private RTD.rTDValueType rTDValue_;
	public RTD.rTDValueType getRTDValue() {
	return rTDValue_;
	}
	/**
	* @throws ClassCastException if value is not a RTD.rTDValueType
	*/
	public void setRTDValue(Asn1Object value) {
	this.rTDValue_ = (RTD.rTDValueType) value;
	}
	public RTD.rTDValueType setRTDValueToNewInstance() {
	rTDValue_ = new RTD.rTDValueType();
	return rTDValue_;
	}

	private RTDUnits rTDUnits_;
	public RTDUnits getRTDUnits() {
	return rTDUnits_;
	}
	/**
	* @throws ClassCastException if value is not a RTDUnits
	*/
	public void setRTDUnits(Asn1Object value) {
	this.rTDUnits_ = (RTDUnits) value;
	}
	public RTDUnits setRTDUnitsToNewInstance() {
	rTDUnits_ = new RTDUnits();
	return rTDUnits_;
	}

	private RTD.rTDAccuracyType rTDAccuracy_;
	public RTD.rTDAccuracyType getRTDAccuracy() {
	return rTDAccuracy_;
	}
	/**
	* @throws ClassCastException if value is not a RTD.rTDAccuracyType
	*/
	public void setRTDAccuracy(Asn1Object value) {
	this.rTDAccuracy_ = (RTD.rTDAccuracyType) value;
	}
	public RTD.rTDAccuracyType setRTDAccuracyToNewInstance() {
	rTDAccuracy_ = new RTD.rTDAccuracyType();
	return rTDAccuracy_;
	}






	@Override public Iterable<? extends SequenceComponent> getComponents() {
	ImmutableList.Builder<SequenceComponent> builder = ImmutableList.builder();

	builder.add(new SequenceComponent() {
	Asn1Tag tag = Asn1Tag.fromClassAndNumber(2, 0);

	@Override public boolean isExplicitlySet() {
	return getRTDValue() != null;
	}

	@Override public boolean hasDefaultValue() {
	return false;
	}

	@Override public boolean isOptional() {
	return false;
	}

	@Override public Asn1Object getComponentValue() {
	return getRTDValue();
	}

	@Override public void setToNewInstance() {
	setRTDValueToNewInstance();
	}

	@Override public Collection<Asn1Tag> getPossibleFirstTags() {
	return tag == null ? RTD.rTDValueType.getPossibleFirstTags() : ImmutableList.of(tag);
	}

	@Override
	public Asn1Tag getTag() {
	return tag;
	}

	@Override
	public boolean isImplicitTagging() {
	return true;
	}

	@Override public String toIndentedString(String indent) {
	return "rTDValue : "
	+ getRTDValue().toIndentedString(indent);
	}
	});

	builder.add(new SequenceComponent() {
	Asn1Tag tag = Asn1Tag.fromClassAndNumber(2, 1);

	@Override public boolean isExplicitlySet() {
	return getRTDUnits() != null;
	}

	@Override public boolean hasDefaultValue() {
	return false;
	}

	@Override public boolean isOptional() {
	return false;
	}

	@Override public Asn1Object getComponentValue() {
	return getRTDUnits();
	}

	@Override public void setToNewInstance() {
	setRTDUnitsToNewInstance();
	}

	@Override public Collection<Asn1Tag> getPossibleFirstTags() {
	return tag == null ? RTDUnits.getPossibleFirstTags() : ImmutableList.of(tag);
	}

	@Override
	public Asn1Tag getTag() {
	return tag;
	}

	@Override
	public boolean isImplicitTagging() {
	return true;
	}

	@Override public String toIndentedString(String indent) {
	return "rTDUnits : "
	+ getRTDUnits().toIndentedString(indent);
	}
	});

	builder.add(new SequenceComponent() {
	Asn1Tag tag = Asn1Tag.fromClassAndNumber(2, 2);

	@Override public boolean isExplicitlySet() {
	return getRTDAccuracy() != null;
	}

	@Override public boolean hasDefaultValue() {
	return false;
	}

	@Override public boolean isOptional() {
	return true;
	}

	@Override public Asn1Object getComponentValue() {
	return getRTDAccuracy();
	}

	@Override public void setToNewInstance() {
	setRTDAccuracyToNewInstance();
	}

	@Override public Collection<Asn1Tag> getPossibleFirstTags() {
	return tag == null ? RTD.rTDAccuracyType.getPossibleFirstTags() : ImmutableList.of(tag);
	}

	@Override
	public Asn1Tag getTag() {
	return tag;
	}

	@Override
	public boolean isImplicitTagging() {
	return true;
	}

	@Override public String toIndentedString(String indent) {
	return "rTDAccuracy : "
	+ getRTDAccuracy().toIndentedString(indent);
	}
	});

	return builder.build();
	}

	@Override public Iterable<? extends SequenceComponent>
	getExtensionComponents() {
	ImmutableList.Builder<SequenceComponent> builder = ImmutableList.builder();

	return builder.build();
	}


	/*
	*/


	//

	/**
	*/
	public static class rTDValueType extends Asn1Integer {
	//

	private static final Asn1Tag TAG_rTDValueType
	= Asn1Tag.fromClassAndNumber(-1, -1);

	public rTDValueType() {
	super();
	setValueRange("0", "16777216");

	}

	@Override
	@Nullable
	protected Asn1Tag getTag() {
	return TAG_rTDValueType;
	}

	@Override
	protected boolean isTagImplicit() {
	return true;
	}

	public static Collection<Asn1Tag> getPossibleFirstTags() {
	if (TAG_rTDValueType != null) {
	return ImmutableList.of(TAG_rTDValueType);
	} else {
	return Asn1Integer.getPossibleFirstTags();
	}
	}

	/**
	* Creates a new rTDValueType from encoded stream.
	*/
	public static rTDValueType fromPerUnaligned(byte[] encodedBytes) {
	rTDValueType result = new rTDValueType();
	result.decodePerUnaligned(new BitStreamReader(encodedBytes));
	return result;
	}

	/**
	* Creates a new rTDValueType from encoded stream.
	*/
	public static rTDValueType fromPerAligned(byte[] encodedBytes) {
	rTDValueType result = new rTDValueType();
	result.decodePerAligned(new BitStreamReader(encodedBytes));
	return result;
	}

	@Override public Iterable<BitStream> encodePerUnaligned() {
	return super.encodePerUnaligned();
	}

	@Override public Iterable<BitStream> encodePerAligned() {
	return super.encodePerAligned();
	}

	@Override public void decodePerUnaligned(BitStreamReader reader) {
	super.decodePerUnaligned(reader);
	}

	@Override public void decodePerAligned(BitStreamReader reader) {
	super.decodePerAligned(reader);
	}

	@Override public String toString() {
	return toIndentedString("");
	}

	public String toIndentedString(String indent) {
	return "rTDValueType = " + getInteger() + ";\n";
	}
	}




	/*
	*/


	//

	/**
	*/
	public static class rTDAccuracyType extends Asn1Integer {
	//

	private static final Asn1Tag TAG_rTDAccuracyType
	= Asn1Tag.fromClassAndNumber(-1, -1);

	public rTDAccuracyType() {
	super();
	setValueRange("0", "255");

	}

	@Override
	@Nullable
	protected Asn1Tag getTag() {
	return TAG_rTDAccuracyType;
	}

	@Override
	protected boolean isTagImplicit() {
	return true;
	}

	public static Collection<Asn1Tag> getPossibleFirstTags() {
	if (TAG_rTDAccuracyType != null) {
	return ImmutableList.of(TAG_rTDAccuracyType);
	} else {
	return Asn1Integer.getPossibleFirstTags();
	}
	}

	/**
	* Creates a new rTDAccuracyType from encoded stream.
	*/
	public static rTDAccuracyType fromPerUnaligned(byte[] encodedBytes) {
	rTDAccuracyType result = new rTDAccuracyType();
	result.decodePerUnaligned(new BitStreamReader(encodedBytes));
	return result;
	}

	/**
	* Creates a new rTDAccuracyType from encoded stream.
	*/
	public static rTDAccuracyType fromPerAligned(byte[] encodedBytes) {
	rTDAccuracyType result = new rTDAccuracyType();
	result.decodePerAligned(new BitStreamReader(encodedBytes));
	return result;
	}

	@Override public Iterable<BitStream> encodePerUnaligned() {
	return super.encodePerUnaligned();
	}

	@Override public Iterable<BitStream> encodePerAligned() {
	return super.encodePerAligned();
	}

	@Override public void decodePerUnaligned(BitStreamReader reader) {
	super.decodePerUnaligned(reader);
	}

	@Override public void decodePerAligned(BitStreamReader reader) {
	super.decodePerAligned(reader);
	}

	@Override public String toString() {
	return toIndentedString("");
	}

	public String toIndentedString(String indent) {
	return "rTDAccuracyType = " + getInteger() + ";\n";
	}
	}





	@Override public Iterable<BitStream> encodePerUnaligned() {
	return super.encodePerUnaligned();
	}

	@Override public Iterable<BitStream> encodePerAligned() {
	return super.encodePerAligned();
	}

	@Override public void decodePerUnaligned(BitStreamReader reader) {
	super.decodePerUnaligned(reader);
	}

	@Override public void decodePerAligned(BitStreamReader reader) {
	super.decodePerAligned(reader);
	}

	@Override public String toString() {
	return toIndentedString("");
	}

	public String toIndentedString(String indent) {
	StringBuilder builder = new StringBuilder();
	builder.append("RTD = {\n");
	final String internalIndent = indent + " ";
	for (SequenceComponent component : getComponents()) {
	if (component.isExplicitlySet()) {
	builder.append(internalIndent)
	.append(component.toIndentedString(internalIndent));
	}
	}
	if (isExtensible()) {
	builder.append(internalIndent).append("...\n");
	for (SequenceComponent component : getExtensionComponents()) {
	if (component.isExplicitlySet()) {
	builder.append(internalIndent)
	.append(component.toIndentedString(internalIndent));
	}
	}
	}
	builder.append(indent).append("};\n");
	return builder.toString();
	}
	}