Beispiel #1
0
        public override void visitBlob(ATermBlob blob)         // throws VisitFailure
        {
            string txt = blob.getBlobSize().ToString() + "#" + blob.GetHashCode().ToString();

            stream.Write(txt);
            position += txt.Length;
        }
Beispiel #2
0
 public override bool equivalent(SharedObject obj)
 {
     if (base.equivalent(obj))
     {
         ATermBlob peer = (ATermBlob)obj;
         return(peer.getBlobData() == data);
     }
     return(false);
 }
Beispiel #3
0
		public override void visitBlob(ATermBlob blob) // throws VisitFailure 
		{
			string txt = blob.getBlobSize().ToString() + "#" + blob.GetHashCode().ToString();
			stream.Write(txt);
			position += txt.Length;
		}
Beispiel #4
0
		public virtual void visitBlob(ATermBlob arg) // throws VisitFailure 
		{
			visitATerm(arg);
		}
Beispiel #5
0
 public virtual void visitBlob(ATermBlob arg)         // throws VisitFailure
 {
     visitATerm(arg);
 }