public override void Encode (Goedel.ASN1.Buffer Buffer) {
int Position = Buffer.Encode__Sequence_Start ();
if (CrlEntryExtensions == null || CrlEntryExtensions.Count == 0) {
Buffer.Encode__Object (null, 6, -1);
}
else {
int XPosition = Buffer.Encode__Sequence_Start();
foreach (Goedel.Cryptography.PKIX.Extension _Index in CrlEntryExtensions) {
Buffer.Encode__Object (_Index, 0, 0);
}
Buffer.Encode__Sequence_End(XPosition, 6, -1);
}
Buffer.Debug ("CrlEntryExtensions");
Buffer.Encode__Time (RevocationDate, 0, -1);
Buffer.Debug ("RevocationDate");
Buffer.Encode__BigInteger (UserCertificate, 0, -1);
Buffer.Debug ("UserCertificate");
Buffer.Encode__Sequence_End (Position);
}